SATCHMO: a theorem prover implemented in Prolog R Manthey, F Bry International Conference on Automated Deduction, 415-434, 1988 | 511 | 1988 |
XPath: looking forward D Olteanu, H Meuss, T Furche, F Bry XML-Based Data Management and Multimedia Engineering—EDBT 2002 Workshops …, 2002 | 334 | 2002 |
A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases F Bry, H Decker, R Manthey International Conference on Extending Database Technology, 488-505, 1988 | 233 | 1988 |
Query evaluation in recursive databases: bottom-up and top-down reconciled F Bry Data & Knowledge Engineering 5 (4), 289-312, 1990 | 197 | 1990 |
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 | 170 | 2005 |
Aktuelles schlagwort" complex event processing (cep)" M Eckert, F Bry Informatik-Spektrum, 163-167, 2009 | 153 | 2009 |
Intensional updates: Abduction via deduction F Bry Logic programming, 561-575, 1990 | 142 | 1990 |
Towards a declarative query and transformation language for XML and semistructured data: Simulation unification F Bry, S Schaffert International Conference on Logic Programming, 255-270, 2002 | 129 | 2002 |
Minimal model generation with positive unit hyper-resolution tableaux F Bry, A Yahya International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996 | 129 | 1996 |
Semantic wikis S Schaffert, F Bry, J Baumeister, M Kiesel IEEE software 25 (4), 8-11, 2008 | 125 | 2008 |
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 | 114 | 2006 |
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 | 112 | 1989 |
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 | 111 | 2005 |
Querying the Web Reconsidered: A Practical Introduction to Xcerpt. S Schaffert, F Bry Extreme Markup Languages®, 2004 | 108 | 2004 |
Query answering in information systems with integrity constraints F Bry Working Conference on Integrity and Internal Control in Information Systems …, 1997 | 105 | 1997 |
Checking Consistency of Database Constraints F Bry, R Manthey Morgan Kaufman, 1986 | 103 | 1986 |
A computational biology database digest: data, data analysis, and data management F Bry, P Kröger Distributed and Parallel Databases 13, 7-42, 2003 | 96 | 2003 |
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 | 93 | 2003 |
Positive unit hyperresolution tableaux and their application to minimal model generation F Bry, A Yahya Journal of Automated Reasoning 25, 35-82, 2000 | 91 | 2000 |
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 | 89 | 2006 |