Follow
François Bry
François Bry
Em. Professor of Computer Science, Ludwig-Maximilian University of Munich
Verified email at lmu.de - Homepage
Title
Cited by
Cited by
Year
SATCHMO: a theorem prover implemented in Prolog
R Manthey, F Bry
9th International Conference on Automated Deduction: Argonne, Illinois, USA …, 2005
5072005
XPath: looking forward
D Olteanu, H Meuss, T Furche, F Bry
XML-Based Data Management and Multimedia Engineering—EDBT 2002 Workshops …, 2002
3332002
A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
F Bry, H Decker, R Manthey
Advances in Database Technology—EDBT'88: International Conference on …, 2005
2392005
Query evaluation in recursive databases: bottom-up and top-down reconciled
F Bry
Data & Knowledge Engineering 5 (4), 289-312, 1990
1971990
Web and semantic web query languages: A survey
J Bailey, F Bry, T Furche, S Schaffert
Reasoning Web: First International Summer School 2005, Msida, Malta, July 25 …, 2005
1632005
Aktuelles schlagwort" complex event processing (cep)"
M Eckert, F Bry
Informatik-Spektrum, 163-167, 2009
1552009
Intensional updates: Abduction via deduction
F Bry
Logic programming, 561-575, 1990
1451990
Minimal model generation with positive unit hyper-resolution tableaux
F Bry, A Yahya
Theorem Proving with Analytic Tableaux and Related Methods: 5th …, 1996
1281996
Towards a declarative query and transformation language for XML and semistructured data: Simulation unification
F Bry, S Schaffert
Logic Programming: 18th International Conference, ICLP 2002 Copenhagen …, 2002
1252002
Semantic wikis
S Schaffert, F Bry, J Baumeister, M Kiesel
IEEE software 25 (4), 8-11, 2008
1202008
Logic programming as constructivism: A formalization and its application to databases
F Bry
Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1989
1171989
Reactivity on the Web: Paradigms and applications of the language XChange
F Bry, PL Pǎtrânjan
Proceedings of the 2005 ACM symposium on Applied computing, 1645-1649, 2005
1122005
Querying the Web Reconsidered: A Practical Introduction to Xcerpt.
S Schaffert, F Bry
Extreme Markup Languages®, 2004
1052004
Checking Consistency of Database Constraints
F Bry, R Manthey
Morgan Kaufman, 1986
1051986
Realizing business processes with ECA rules: Benefits, challenges, limits
F Bry, M Eckert, PL Pătrânjan, I Romanenko
Principles and Practice of Semantic Web Reasoning: 4th International …, 2006
1022006
Query answering in information systems with integrity constraints
F Bry
Integrity and Internal Control in Information Systems: Volume 1: Increasing …, 1997
1021997
An evaluation of regular path expressions with qualifiers against XML streams
D Olteanu, T Kiesling, F Bry
Proceedings 19th International Conference on Data Engineering (Cat. No …, 2003
902003
Positive unit hyperresolution tableaux and their application to minimal model generation
F Bry, A Yahya
ResearchGate, 2000
892000
Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics
F Bry, M Eckert
Web Reasoning and Rule Systems: First International Conference, RR 2007 …, 2007
882007
RDF querying: Language constructs and evaluation methods compared
T Furche, B Linse, F Bry, D Plexousakis, G Gottlob
Reasoning Web: Second International Summer School 2006, Lisbon, Portugal …, 2006
882006
The system can't perform the operation now. Try again later.
Articles 1–20