Search results for "Francois Bry"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	François Bry, Tim Furche, Klara A. Weiand	Web Queries: From a Web of Data to a Semantic Web.	WISE	2009	DBLP DOI BibTeX RDF	based query languages, we give a summary of what we perceive as the main contributions of research and development on Web query languages in the past decade, This summary focuses specifically on what sets Web query languages apart from their predecessors for databases
2	François Bry, Tim Furche, Benedikt Linse	The Perfect Match: RPL and RDF Rule Languages.	RR	2009	DBLP DOI BibTeX RDF
2	Simon Brodt, François Bry, Norbert Eisinger	Search for More Declarativity.	RR	2009	DBLP DOI BibTeX RDF
2	Michael Eckert, François Bry	Complex Event Processing (CEP).	Informatik Spektrum	2009	DBLP DOI BibTeX RDF
2	James Bailey, François Bry, Tim Furche, Sebastian Schaffert	Semantic Web Query Languages.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel	Semantische Wikis.	Social Semantic Web	2009	DBLP DOI BibTeX RDF
2	François Bry, Jan Maluszynski (eds.)	Semantic Techniques for the Web, The REWERSE Perspective		2009	DBLP DOI BibTeX RDF
2	François Bry, Tim Furche, Benedikt Linse, Alexander Pohl, Antonius Weinzierl, Olga Yestekhina	Four Lessons in Versatility or How Query Languages Adapt to the Web.	REWERSE	2009	DBLP DOI BibTeX RDF
2	François Bry, Michael Eckert	On static determination of temporal relevance for incremental evaluation of complex event queries.	DEBS	2008	DBLP DOI BibTeX RDF	CERA, event queries, temporal relevance, garbage collection, events, rules, complex event processing
2	François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Martin Roeder, Marc Weinberger	The Facility Control Markup Language FCML.	ICDS	2008	DBLP DOI BibTeX RDF	FCML, XML, Interface, Management, Control, Web Applications, SCADA
2	François Bry, Tim Furche, Benedikt Linse	Simulation Subsumption or Déjà vu on the Web.	RR	2008	DBLP DOI BibTeX RDF
2	François Bry, Tim Furche, Clemens Ley, Benedikt Linse, Bruno Marnette	Taming Existence in RDF Querying.	RR	2008	DBLP DOI BibTeX RDF
2	Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel	Semantic Wikis.	IEEE Software	2008	DBLP DOI BibTeX RDF
2	François Bry, Michael Eckert	Twelve Theses on Reactive Rules for the Web.	Event Processing	2007	DBLP BibTeX RDF
2	François Bry, Michael Eckert	Temporal order optimizations of incremental joins for composite event detection.	DEBS	2007	DBLP DOI BibTeX RDF	composite event queries, rules, complex event processing
2	François Bry, Michael Eckert, Hendrik Grallert, Paula-Lavinia Patranjan	Evolution of Distributed Web Data: An Application of the Reactive Language XChange.	ICDE	2007	DBLP DOI BibTeX RDF
2	Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Jendrik Johannes	Modular Web Queries - From Rules to Stores.	OTM Workshops	2007	DBLP DOI BibTeX RDF
2	Uwe Aßmann, Sacha Berger, François Bry, Tim Furche, Jakob Henriksson, Paula-Lavinia Patranjan	A Generic Module System for Web Rule Languages: Divide and Rule.	RuleML	2007	DBLP DOI BibTeX RDF
2	Bruno Berstel, Philippe Bonnard, François Bry, Michael Eckert, Paula-Lavinia Patranjan	Reactive Rules on the Web.	Reasoning Web	2007	DBLP DOI BibTeX RDF
2	François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei	Foundations of Rule-Based Query Answering.	Reasoning Web	2007	DBLP DOI BibTeX RDF
2	Sacha Berger, François Bry, Tim Furche, Christoph Wieser	Visual Languages: A Matter of Style.	VLL	2007	DBLP BibTeX RDF
2	Sacha Berger, François Bry, Tim Furche, Andreas J. Häusler	Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints.	RR	2007	DBLP DOI BibTeX RDF
2	François Bry, Michael Eckert	Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics.	RR	2007	DBLP DOI BibTeX RDF
2	Sebastian Schaffert, François Bry, Joachim Baumeister, Malte Kiesel	Semantic Wiki.	Informatik Spektrum	2007	DBLP DOI BibTeX RDF
2	François Bry, Michael Eckert, Paula-Lavinia Patranjan	Querying Composite Events for Reactivity on the Web.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
2	François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach (eds.)	Principles and Practices of Semantic Web Reasoning, 11.-16. September 2005	Principles and Practices of Semantic Web Reasoning	2006	DBLP BibTeX RDF
2	François Bry, Michael Eckert	Twelve Theses on Reactive Rules for the Web.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
2	Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder	Vorführung von Xcerpt und visXcerpt, Anfragesprachen für das Web.	Grundlagen von Datenbanken	2006	DBLP BibTeX RDF
2	François Bry	Thesen über Regelsprachen für das Semantische Web.	Grundlagen von Datenbanken	2006	DBLP BibTeX RDF
2	Sacha Berger, François Bry, Tim Furche	Xcerpt and visXcerpt: IntegratingWeb Querying.	PLAN-X	2006	DBLP BibTeX RDF
2	Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder	Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt.	PPSWR	2006	DBLP DOI BibTeX RDF
2	François Bry, Tim Furche, Benedikt Linse	Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt.	PPSWR	2006	DBLP DOI BibTeX RDF
2	François Bry, Michael Eckert, Paula-Lavinia Patranjan, Inna Romanenko	Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits.	PPSWR	2006	DBLP DOI BibTeX RDF
2	François Bry, Tim Furche, Benedikt Linse	AMa chioS - Abstract Machine for Xcerpt: Architecture and Principles.	PPSWR	2006	DBLP DOI BibTeX RDF
2	François Bry, Christoph Wieser	Web Queries with Style: Rendering Xcerpt Programs with CSSNG.	PPSWR	2006	DBLP DOI BibTeX RDF
2	Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob	RDF Querying: Language Constructs and Evaluation Methods Compared.	Reasoning Web	2006	DBLP DOI BibTeX RDF
2	Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler (eds.)	Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures	Reasoning Web	2006	DBLP BibTeX RDF
2	François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder	Efficient evaluation of n-ary conjunctive queries over trees and graphs.	WIDM	2006	DBLP DOI BibTeX RDF	query evaluation and optimization, XML, RDF, semi-structured data, conjunctive queries, memoization
2	Sacha Berger, François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder	Beyond XML and RDF: The Versatile Web Query Language Xcerpt.	WWW	2006	DBLP DOI BibTeX RDF	versatility, xcerpt, XML, web, query languages, RDF
2	François Bry, Michael Eckert	A High-Level Query Language for Events.	SCW	2006	DBLP DOI BibTeX RDF
2	François Bry, Michael Eckert, Paula-Lavinia Patranjan	Reactivity on the Web: Paradigms and Applications of the Language XChange.	J. Web Eng.	2006	DBLP BibTeX RDF
2	François Bry, François Fages, Massimo Marchiori, Hans Jürgen Ohlbach	05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning.	Principles and Practices of Semantic Web Reasoning	2005	DBLP BibTeX RDF
2	Erich Schubert, Sebastian Schaffert, François Bry	Structure-Preserving Difference Search for XML Documents.	Extreme Markup Languages®	2005	DBLP BibTeX RDF
2	Tim Furche, François Bry, Oliver Bolzer	XML Perspectives on RDF Querying: Towards integrated Access to Data and Metadata on the Web.	Grundlagen von Datenbanken	2005	DBLP BibTeX RDF
2	François Bry, Takashi Hattori, Kaoru Hiramatsu, Takeshi Okadome, Christoph Wieser, Tatsumi Yamada	Context Modeling in OWL for Smart Building Services.	Grundlagen von Datenbanken	2005	DBLP BibTeX RDF
2	Sacha Berger, François Bry	Towards static type checking of Web query language.	Grundlagen von Datenbanken	2005	DBLP BibTeX RDF
2	François Bry, Michael Eckert	Processing link structures and linkbases in the web's open world linking.	Hypertext	2005	DBLP DOI BibTeX RDF	link modeling and processing, linkbase, hyperlink, XLink
2	François Bry, Fatih Coskun, Serap Durmaz, Tim Furche, Dan Olteanu, Markus Spannagel	The XML Stream Query Processor SPEX. (PDF / PS)	ICDE	2005	DBLP DOI BibTeX RDF
2	François Bry, Bernhard Lorenz, Stephanie Spranger	Calendars and Topologies as Types.	KES	2005	DBLP DOI BibTeX RDF
2	François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Mike Rosner	A Geospatial World Model for the Semantic Web.	PPSWR	2005	DBLP DOI BibTeX RDF
2	François Bry, Massimo Marchiori	Ten Theses on Logic Languages for the Semantic Web.	PPSWR	2005	DBLP DOI BibTeX RDF
2	Tim Furche, François Bry, Oliver Bolzer	Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying.	PPSWR	2005	DBLP DOI BibTeX RDF
2	James Bailey, François Bry, Michael Eckert, Paula-Lavinia Patranjan	Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.	RuleML	2005	DBLP DOI BibTeX RDF
2	James Bailey, François Bry, Tim Furche, Sebastian Schaffert	Web and Semantic Web Query Languages: A Survey.	Reasoning Web	2005	DBLP DOI BibTeX RDF
2	François Bry, Paula-Lavinia Patranjan	Reactivity on the web: paradigms and applications of the language XChange.	SAC	2005	DBLP DOI BibTeX RDF	reactive languages, web, event-condition-action rules
2	Sebastian Schaffert, François Bry, Philippe Besnard, Hendrik Decker, Stefan Decker, Carlos F. Enguix, Andreas Herzig	Paraconsistent Reasoning for the Semantic Web.	ISWC-URSW	2005	DBLP BibTeX RDF
2	François Bry, Massimo Marchiori	Ten Theses on Logic Languages for the Semantic Web.	Rule Languages for Interoperability	2005	DBLP BibTeX RDF
2	James Bailey, François Bry, Paula-Lavinia Patranjan	Composite event queries for reactivity on the web.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	reactive languages, web, event-condition-action rules, composite events
2	François Bry, Michael Eckert	Processing link structures and linkbases on the web.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	link modeling and processing, linkbase, hyperlink, XLink
2	François Bry, Frank-André Rieß, Stephanie Spranger	CaTTS: calendar types and constraints for Web applications.	WWW	2005	DBLP DOI BibTeX RDF	Web reasoning, time, types, calendars
2	François Bry, Christoph Koch, Tim Furche, Sebastian Schaffert, Liviu Badea, Sacha Berger	Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages.	Int. J. Semantic Web Inf. Syst.	2005	DBLP BibTeX RDF
2	François Bry, Nicola Henze	Personalisierung.	Informatik Spektrum	2005	DBLP DOI BibTeX RDF
2	Holger Meuss, Klaus U. Schulz, Felix Weigel, Simone Leonardi, François Bry	Visual exploration and retrieval of XML document collections with the generic system X2.	Int. J. on Digital Libraries	2005	DBLP DOI BibTeX RDF	Schema browsing, Answer visualization and exploration, XML, Graphical user interfaces, Interactive information retrieval
2	Dan Olteanu, Tim Furche, François Bry	Evaluating Complex Queries Against XML Streams with Polynomial Combined Complexity.	BNCOD	2004	DBLP DOI BibTeX RDF
2	Felix Weigel, Holger Meuss, François Bry, Klaus U. Schulz	Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data.	ECIR	2004	DBLP DOI BibTeX RDF
2	Sacha Berger, François Bry, Christoph Wieser	Visual Querying for the Semantic Web.	ER	2004	DBLP DOI BibTeX RDF
2	Sacha Berger, François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Paula-Lavinia Patranjan, Sebastian Schaffert, Uta Schwertel, Stephanie Spranger	Reasoning on the Web: Language Prototypes and Perspectives.	EWIMT	2004	DBLP BibTeX RDF
2	Sebastian Schaffert, François Bry	Querying the Web Reconsidered: A Practical Introduction to Xcerpt.	Extreme Markup Languages®	2004	DBLP BibTeX RDF
2	François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert	Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web.	GI Jahrestagung	2004	DBLP BibTeX RDF
2	Sacha Berger, François Bry, Sebastian Schaffert	Xcerpt und visXcerpt: deduktive Anfragesprachen für das Web.	Grundlagen von Datenbanken	2004	DBLP BibTeX RDF
2	François Bry, Paula-Lavinia Patranjan, Sebastian Schaffert	Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web.	ICLP	2004	DBLP DOI BibTeX RDF
2	Sacha Berger, François Bry, Sebastian Schaffert	Xcerpt et visXcerpt : langages déductifs d'interrogation du Web.	JFPLC	2004	DBLP BibTeX RDF
2	François Bry, Wlodzimierz Drabent, Jan Maluszynski	On Subtyping of Tree-Structured Data: A Polynomial Approach.	PPSWR	2004	DBLP DOI BibTeX RDF
2	François Bry, Tim Furche, Paula-Lavinia Patranjan, Sebastian Schaffert	Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach.	PPSWR	2004	DBLP DOI BibTeX RDF
2	François Bry, Stephanie Spranger	Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages.	PPSWR	2004	DBLP DOI BibTeX RDF
2	Wolfgang May, José Júlio Alferes, François Bry	Towards Generic Query, Update, and Event Languages for the Semantic Web.	PPSWR	2004	DBLP DOI BibTeX RDF
2	Dan Olteanu, Tim Furche, François Bry	An efficient single-pass query evaluator for XML data streams.	SAC	2004	DBLP DOI BibTeX RDF	Single-Pass Query Evaluation, XML streams, XPath
2	Felix Weigel, Holger Meuss, Klaus U. Schulz, François Bry	Content and Structure in Indexing and Ranking XML.	WebDB	2004	DBLP BibTeX RDF
2	François Bry, Sebastian Schaffert, Andreas Schroeder	A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language.	INAP/WLP	2004	DBLP DOI BibTeX RDF
2	François Bry, Tim Furche, Dan Olteanu	Datenströme.	Informatik Spektrum	2004	DBLP DOI BibTeX RDF
2	François Bry, Wolfgang E. Nagel, Michael Schroeder	Grid-Computing.	Informatik Spektrum	2004	DBLP DOI BibTeX RDF
2	François Bry, Peer Kröger	Bioinformatics Databases: State of the Art and Research Perspectives.	ADBIS	2003	DBLP DOI BibTeX RDF
2	Holger Meuss, Klaus U. Schulz, François Bry	Visual Querying and Exploration of Large Answers in XML Databases with X2. (PDF / PS)	ICDE	2003	DBLP DOI BibTeX RDF
2	Dan Olteanu, Tobias Kiesling, François Bry	An Evaluation of Regular Path Expressions with Qualifiers against XML Streams. (PDF / PS)	ICDE	2003	DBLP DOI BibTeX RDF
2	François Bry, Norbert Eisinger, Georg Schneemayer	Web Services for Teaching: A Case Study.	ICWS	2003	DBLP BibTeX RDF
2	François Bry, Carsten Lutz, Ulrike Sattler, Mareike Schoop (eds.)	Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), Hamburg, Germany, September 15-16, 2003		2003	DBLP BibTeX RDF
2	François Bry, Nicola Henze, Jan Maluszynski (eds.)	Principles and Practice of Semantic Web Reasoning, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings	PPSWR	2003	DBLP BibTeX RDF
2	Sacha Berger, François Bry, Sebastian Schaffert	A Visual Language for Web Querying and Reasoning.	PPSWR	2003	DBLP DOI BibTeX RDF
2	François Bry, Bernhard Lorenz, Hans Jürgen Ohlbach, Stephanie Spranger	On Reasoning on Time and Location on the Web.	PPSWR	2003	DBLP DOI BibTeX RDF
2	Michael Kraus, François Bry, Kazuhiro Kitagawa	XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages.	PPSWR	2003	DBLP DOI BibTeX RDF
2	François Bry, Sebastian Schaffert	An Entailment Relation for Reasoning on the Web.	RuleML	2003	DBLP DOI BibTeX RDF
2	Sacha Berger, François Bry, Sebastian Schaffert, Christoph Wieser	Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data.	VLDB	2003	DBLP BibTeX RDF
2	François Bry, Peer Kröger	A Computational Biology Database Digest: Data, Data Analysis, and Data Management.	Distributed and Parallel Databases	2003	DBLP BibTeX RDF
2	François Bry, Michael Kraus	Adaptive Hypermedia Made Simple with HTML/XML Style Sheet Selectors.	AH	2002	DBLP BibTeX RDF
2	Dan Olteanu, Holger Meuss, Tim Furche, François Bry	XPath: Looking Forward.	EDBT Workshops	2002	DBLP DOI BibTeX RDF
2	François Bry, Sebastian Schaffert	Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.	ICLP	2002	DBLP BibTeX RDF
2	François Bry, Sebastian Schaffert	The XML Query Language Xcerpt: Design Principles, Examples, and Semantics.	Web, Web-Services, and Database Systems	2002	DBLP BibTeX RDF
2	François Bry	An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning.	Paraconsistent Computational Logic	2002	DBLP BibTeX RDF
2	Sebastian Schaffert, François Bry	A gentle introduction to Xcerpt, a rule-based query and transformation language for XML.	RuleML	2002	DBLP BibTeX RDF
2	François Bry, Michael Kraus	Advanced modeling and browsing of technical documents.	SAC	2002	DBLP DOI BibTeX RDF	adaptive document, XML, XML, annotation, HTML, hypertext, technical document
2	François Bry, Peer Kröger	Datenbanken in der Bioinformatik.	Informatik Spektrum	2002	DBLP DOI BibTeX RDF
2	François Bry, Michael Kraus	Perspectives for electronic books in the World Wide Web age.	The Electronic Library	2002	DBLP DOI BibTeX RDF
2	François Bry, Dan Olteanu, Sebastian Schaffert	Towards Grouping Constructs for Semistructured Data.	DEXA Workshops	2001	DBLP BibTeX RDF
2	Holger Meuss, Klaus U. Schulz, François Bry	Towards Aggregated Answers for Semistructured Data.	ICDT	2001	DBLP DOI BibTeX RDF
2	François Bry, Michael Kraus, Dan Olteanu, Sebastian Schaffert	Semistrukturierte Daten - Aktuelles Schlagwort.	Informatik Spektrum	2001	DBLP DOI BibTeX RDF
2	François Bry	Data Modeling with Markup Languages.	15. WLP	2000	DBLP BibTeX RDF
2	François Bry, Ulrich Geske, Dietmar Seipel	Preface.	WLP	2000	DBLP BibTeX RDF
2	François Bry, Adnan H. Yahya	Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation.	J. Autom. Reasoning	2000	DBLP BibTeX RDF
2	François Bry, Sunna Torge	Solving Database Satisfiability Problems.	Grundlagen von Datenbanken	1999	DBLP BibTeX RDF
2	Rolf Backofen, François Bry, Peter Clote, Hans-Peter Kriegel, Thomas Seidl, Klaus U. Schulz	Bioinformatik - Aktuelles Schlagwort.	Informatik Spektrum	1999	DBLP DOI BibTeX RDF
2	François Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge	SIC: Satisfiability Checking for Integrity Constraints.	DDLP	1998	DBLP BibTeX RDF
2	François Bry, Sunna Torge	A Deduction Method Complete for Refutation and Finite Satisfiability.	JELIA	1998	DBLP BibTeX RDF
2	François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao (eds.)	Deductive and Object-Oriented Databases, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings	DOOD	1997	DBLP BibTeX RDF
2	François Bry	Query Answering in Information Systems with Integrity Constraints.	IICIS	1997	DBLP BibTeX RDF
2	François Bry	A Compositional Semantics for Logic Programs and Deductive Databases.	JICSLP	1996	DBLP BibTeX RDF
2	François Bry, Adnan H. Yahya	Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.	TABLEAUX	1996	DBLP BibTeX RDF
2	François Bry, Dietmar Seipel	Deduktive Datenbanken - das aktuelle Schlagwort.	Informatik Spektrum	1996	DBLP BibTeX RDF
2	François Bry, Rainer Manthey, Heribert Schütz	Deduktive Datenbanken.	KI	1996	DBLP BibTeX RDF
2	Slim Abdennadher, François Bry, Norbert Eisinger, Tim Geisler	The theorem prover SATCHMO : strategies, heuristics and applications.	JFPLC	1995	DBLP BibTeX RDF
2	François Bry	Bases de données déductives.	JFPLC	1995	DBLP BibTeX RDF
2	François Bry, Rainer Manthey	Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser.	WLP	1995	DBLP BibTeX RDF
2	François Bry	Disjunctive Logic Programming: What Applications Developers Need.	GI Jahrestagung	1994	DBLP BibTeX RDF
2	François Bry	Logikprogrammierung ohne Modelltheorie?	WLP	1994	DBLP BibTeX RDF
2	François Bry (eds.)	Neuvièmes Journées Bases de Données Avancées, 27-30 Septembre 1993, Toulouse (Informal Proceedings).	BDA	1993	DBLP BibTeX RDF
2	François Bry	Towards Intelligent Databases.	ISMIS	1993	DBLP DOI BibTeX RDF
2	Harold Boley, François Bry, Ulrich Geske	Neuere Entwicklungen der deklarativen KI-Programmierung.	KI	1993	DBLP BibTeX RDF
2	François Bry, Rainer Manthey, Bern Martens	Integrity Verification in Knowledge Bases.	RCLP	1991	DBLP DOI BibTeX RDF
2	François Bry	Upside-down deduction.	BDA	1990	DBLP BibTeX RDF
2	François Bry	Intensional Updates: Abduction via Deduction.	ICLP	1990	DBLP BibTeX RDF
2	François Bry	Negation in Logic Programming: A Formalization in Constructive Logic.	IS/KI	1990	DBLP DOI BibTeX RDF
2	François Bry	Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled.	Data Knowl. Eng.	1990	DBLP BibTeX RDF
2	François Bry	Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled.	DOOD	1989	DBLP BibTeX RDF
2	François Bry	Logical Rewritings for Improving the Evaluation of Quantified Queries.	MFDBS	1989	DBLP BibTeX RDF
2	François Bry	Logic Programming as Constructivism: A Formalization and its Application to Databases.	PODS	1989	DBLP DOI BibTeX RDF
2	François Bry	Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited.	SIGMOD Conference	1989	DBLP DOI BibTeX RDF
2	François Bry, Hendrik Decker	Préserver l'intégrité d'une base de données déductive: une méthode et son implementation.	BDA	1988	DBLP BibTeX RDF
2	Rainer Manthey, François Bry	SATCHMO: A Theorem Prover Implemented in Prolog.	CADE	1988	DBLP DOI BibTeX RDF
2	François Bry, Hendrik Decker, Rainer Manthey	A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.	EDBT	1988	DBLP DOI BibTeX RDF
2	François Bry, Rainer Manthey	Proving Finite Satisfiability of Deductive Databases.	CSL	1987	DBLP DOI BibTeX RDF
2	Rainer Manthey, François Bry	A Hyperresolution-Based Proof Procedure and its Implementation in Prolog.	GWAI	1987	DBLP BibTeX RDF
2	François Bry, Rainer Manthey	Sur la validité des schémas de bases de données.	BDA	1986	DBLP BibTeX RDF
2	François Bry, Rainer Manthey	Checking Consistency of Database Constraints: a Logical Basis.	VLDB	1986	DBLP BibTeX RDF
2	François Bry	On the factorization of graphs with exactly one vertex of infinite degree.	Discrete Mathematics	1983	DBLP DOI BibTeX