François Bry

According to our database1, François Bry authored at least 195 papers between 1981 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Fun and Engagement in Lecture Halls through Social Gamification.
iJEP, 2019

Organizing Peer Correction in Tertiary STEM Education: An Approach and its Evaluation.
iJEP, 2019

More than the sum of its parts: designing learning formats from core components.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Pervasive Persuasion for Stress Self-Regulation.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019

Towards an Annotation System for Collaborative Peer Review.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2019

Learning by Fiddling: Patterns of Behaviour in Formal Language Learning.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2019

Phased Classroom Instruction: A Case Study on Teaching Programming Languages.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

Nudging by Predicting: A Case Study.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018
Semantic Web Query Languages.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Human computation.
it - Information Technology, 2018

In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.
CoRR, 2018

Blending Classroom, Collaborative, and Individual Learning Using Backstage 2.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2018

Predicting Learners' Behaviours to Get It Wrong.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2018

Backstage: A Versatile Platform Supporting Learning and Teaching Format Composition.
Proceedings of the 18th Koli Calling International Conference on Computing Education Research, 2018

CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge.
Proceedings of the 5th IEEE/ACM International Workshop on Crowd Sourcing in Software Engineering, 2018

2014
Interaction in Massive Courses.
J. UCS, 2014

Technology Use in Lectures to Enhance Students' Attention.
Proceedings of the Open Learning and Teaching in Educational Communities, 2014

2013
Human Computation-Enabled Network Analysis for a Systemic Credit Risk Rating.
Proceedings of the Handbook of Human Computation, 2013

The HIT Model: Workflow-Aware Event Stream Monitoring.
Trans. Large-Scale Data- and Knowledge-Centered Systems, 2013

Crowdsourcing MapReduce: JSMapReduce.
Proceedings of the 22nd International World Wide Web Conference, 2013

Towards complex actions for complex event processing.
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

Fostering Concept Maps Awareness as a Means to Learning.
Proceedings of the 2013 International Conference on Cloud and Green Computing, Karlsruhe, Germany, September 30, 2013

2012
Anfragesprachen neu erdacht.
KI, 2012

pest: Fast approximate keyword search in semantic data using eigenvector-based term propagation.
Inf. Syst., 2012

Term-specific eigenvector-centrality in multi-relation networks.
IJSNM, 2012

Enhancing the Digital Backchannel Backstage on the Basis of a Formative User Study.
iJET, 2012

Squaring and Scripting the ESP Game: Trimming a GWAP to Deep Semantics.
Proceedings of the Serious Games Development and Applications, 2012

Semantic Wikis: Approaches, Applications, and Perspectives.
Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

Simulation Unification: Beyond Querying Semistructured Data (Invited Talk).
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Squaring and Scripting the ESP Game.
Proceedings of the 4th Human Computation Workshop, 2012

Speculation and Bluff for Linguistic Field Research - Social Software and Media for Data Gathering.
Proceedings of the Informatik 2012, 2012

Discerning Actuality in Backstage - Comprehensible Contextual Aging.
Proceedings of the 21st Century Learning for 21st Century Skills, 2012

Backstage - Designing a Backchannel for Large Lectures.
Proceedings of the 21st Century Learning for 21st Century Skills, 2012

Keyword-Based Search over Semantic Data.
Proceedings of the Semantic Search over the Web, 2012

2011
Introducing Backstage - a digital backchannel for large class lectures.
Interact. Techn. Smart Edu., 2011

Reasoning as Axioms Change - Incremental View Maintenance Reconsidered.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Liquid decision making: an exploratory study.
Proceedings of the iiWAS'2011, 2011

Do They Really Mean It? Assessing Decision Markets Outcomes.
Proceedings of the Informatik 2011: Informatik schafft Communities, 2011

Field research for humanities with social media: crowdsourcing and algorithmic data analysis.
Proceedings of the Informatik 2011: Informatik schafft Communities, 2011

Karido: A GWAP for telling artworks apart.
Proceedings of the 16th International Conference on Computer Games, 2011

2010
Rule-based composite event queries: the language XChangeEQ and its semantics.
Knowl. Inf. Syst., 2010

Semantic Search on Unstructured Data: Explicit Knowledge through Data Recycling.
Int. J. Semantic Web Inf. Syst., 2010

visKQWL, a visual renderer for a semantic web query language.
Proceedings of the 19th International Conference on World Wide Web, 2010

Not so creepy crawler: easy crawler generation with standard xml queries.
Proceedings of the 19th International Conference on World Wide Web, 2010

Flavors of KWQL, a Keyword Query Language for a Semantic Wiki.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

A Social Vision of Knowledge Representation and Reasoning.
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

PEST: Term-Propagation over Wiki-Structures as Eigenvector Computation.
Proceedings of the 5th Workshop on Semantic Wikis, 2010

A Perfect Match for Reasoning, Explanation, and Reason Maintenance: OWL 2 RL and Semantic Wikis.
Proceedings of the 5th Workshop on Semantic Wikis, 2010

A RPL through RDF: Expressive Navigation in RDF Graphs.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Datalog Relaunched: Simulation Unification and Value Invention.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

10041 Manifesto - Perspectives Workshop: Digital Social Media.
Proceedings of the Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010, 2010

10041 Executive Summary - Perspectives Workshop: Digital Social Networks.
Proceedings of the Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010, 2010

10041 Abstracts Collection - Perspectives Workshop: Digital Social Networks.
Proceedings of the Perspectives Workshop: Digital Social Networks, 24.01. - 29.01.2010, 2010

2009
Semantische Wikis.
Proceedings of the Social Semantic Web: Web 2.0 - Was nun?, 2009

Four Lessons in Versatility or How Query Languages Adapt to the Web.
Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Complex Event Processing (CEP).
Informatik Spektrum, 2009

Web Queries: From a Web of Data to a Semantic Web.
Proceedings of the Web Information Systems Engineering, 2009

What the User Interacts With: Reflections on Conceptual Models for Semantic Wikis.
Proceedings of the 4th Semantic Wiki Workshop (SemWiki 2009) at the 6th European Semantic Web Conference (ESWC 2009), 2009

The Perfect Match: RPL and RDF Rule Languages.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Search for More Declarativity.
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Labeling RDF Graphs for Linear Time and Space Querying.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

SPARQLog: SPARQL with Rules and Quantification.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008
Semantic Wikis.
IEEE Software, 2008

Taming Existence in RDF Querying.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Simulation Subsumption or Déjà vu on the Web.
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

The Facility Control Markup Language FCML.
Proceedings of the Second International Conference on the Digital Society (ICDS 2008), 2008

Towards Reasoning and Explanations for Social Tagging.
Proceedings of the Explanation-aware Computing, 2008

On static determination of temporal relevance for incremental evaluation of complex event queries.
Proceedings of the Second International Conference on Distributed Event-Based Systems, 2008

Rules for Making Sense of Events: Design Issues for High-Level Event Query and Reasoning Languages (Position Paper).
Proceedings of the AI Meets Business Rules and Process Management, 2008

2007
Semantic Wiki.
Informatik Spektrum, 2007

Visual Languages: A Matter of Style.
Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007

Foundations of Rule-Based Query Answering.
Proceedings of the Reasoning Web, 2007

Reactive Rules on the Web.
Proceedings of the Reasoning Web, 2007

A Generic Module System for Web Rule Languages: Divide and Rule.
Proceedings of the Advances in Rule Interchange and Applications, International Symposium, 2007

Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Modular Web Queries - From Rules to Stores.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Evolution of Distributed Web Data: An Application of the Reactive Language XChange.
Proceedings of the 23rd International Conference on Data Engineering, 2007

Temporal order optimizations of incremental joins for composite event detection.
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

2006
Reactivity on the Web: Paradigms and Applications of the Language XChange.
J. Web Eng., 2006

Beyond XML and RDF: The Versatile Web Query Language Xcerpt.
Proceedings of the 15th international conference on World Wide Web, 2006

Efficient evaluation of n-ary conjunctive queries over trees and graphs.
Proceedings of the Eigth ACM International Workshop on Web Information and Data Management (WIDM 2006), 2006

A High-Level Query Language for Events.
Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

RDF Querying: Language Constructs and Evaluation Methods Compared.
Proceedings of the Reasoning Web, 2006

Web Queries with Style: Rendering Xcerpt Programs with CSSNG.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

AMa chioS - Abstract Machine for Xcerpt: Architecture and Principles.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Realizing Business Processes with ECA Rules: Benefits, Challenges, Limits.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Xcerpt and visXcerpt: IntegratingWeb Querying.
Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

Thesen über Regelsprachen für das Semantische Web.
Proceedings of the Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), 2006

Vorführung von Xcerpt und visXcerpt, Anfragesprachen für das Web.
Proceedings of the Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), 2006

Twelve Theses on Reactive Rules for the Web.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

Querying Composite Events for Reactivity on the Web.
Proceedings of the Advanced Web and Network Technologies, and Applications, 2006

2005
Visual exploration and retrieval of XML document collections with the generic system X2.
Int. J. on Digital Libraries, 2005

Personalisierung.
Informatik Spektrum, 2005

Querying the Web Reconsidered: Design Principles for Versatile Web Query Languages.
Int. J. Semantic Web Inf. Syst., 2005

CaTTS: calendar types and constraints for Web applications.
Proceedings of the 14th international conference on World Wide Web, 2005

Processing link structures and linkbases on the web.
Proceedings of the 14th international conference on World Wide Web, 2005

Composite event queries for reactivity on the web.
Proceedings of the 14th international conference on World Wide Web, 2005

Paraconsistent Reasoning for the Semantic Web.
Proceedings of the International Semantic Web Conference, 2005

Reactivity on the web: paradigms and applications of the language XChange.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Web and Semantic Web Query Languages: A Survey.
Proceedings of the Reasoning Web, 2005

Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Ten Theses on Logic Languages for the Semantic Web.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

A Geospatial World Model for the Semantic Web.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Calendars and Topologies as Types.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

The XML Stream Query Processor SPEX.
Proceedings of the 21st International Conference on Data Engineering, 2005

Processing link structures and linkbases in the web's open world linking.
Proceedings of the HYPERTEXT 2005, 2005

XML Perspectives on RDF Querying: Towards integrated Access to Data and Metadata on the Web.
Proceedings of the Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), 2005

Context Modeling in OWL for Smart Building Services.
Proceedings of the Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), 2005

Towards static type checking of Web query language.
Proceedings of the Tagungsband zum 17. GI-Workshop über Grundlagen von Datenbanken (17th GI-Workshop on the Foundations of Databases), 2005

Structure-Preserving Difference Search for XML Documents.
Proceedings of the Extreme Markup Languages® 2005 Conference, 2005

05371 Abstracts Collection - Principles and Practices of Semantic Web Reasoning.
Proceedings of the Principles and Practices of Semantic Web Reasoning, 2005

2004
Grid-Computing.
Informatik Spektrum, 2004

Datenströme.
Informatik Spektrum, 2004

A Contribution to the Semantics of Xcerpt, a Web Query and Transformation Language.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Content and Structure in Indexing and Ranking XML.
Proceedings of the Seventh International Workshop on the Web and Databases, 2004

An efficient single-pass query evaluator for XML data streams.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Towards Generic Query, Update, and Event Languages for the Semantic Web.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

On Subtyping of Tree-Structured Data: A Polynomial Approach.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

Xcerpt et visXcerpt : langages déductifs d'interrogation du Web.
Proceedings of the Programmation en logique avec contraintes, 2004

Xcerpt and XChange - Logic Programming Languages for Querying and Evolution on the Web.
Proceedings of the Logic Programming, 20th International Conference, 2004

Xcerpt und visXcerpt: deduktive Anfragesprachen für das Web.
Proceedings of the Tagungsband zum 16. GI-Workshop Grundlagen von Datenbanken, 2004

Xcerpt and XChange: Deductive Languages for Data Retrieval and Evolution on the Web.
Proceedings of the INFORMATIK 2004, 2004

Querying the Web Reconsidered: A Practical Introduction to Xcerpt.
Proceedings of the Extreme Markup Languages® 2004 Conference, 2004

Reasoning on the Web: Language Prototypes and Perspectives.
Proceedings of the Knowledge-Based Media Analysis for Self-Adaptive and Agile Multi-Media, 2004

Visual Querying for the Semantic Web.
Proceedings of the Conceptual Modeling, 2004

Content-Aware DataGuides: Interleaving IR and DB Indexing Techniques for Efficient Retrieval of Textual XML Data.
Proceedings of the Advances in Information Retrieval, 2004

Evaluating Complex Queries Against XML Streams with Polynomial Combined Complexity.
Proceedings of the Key Technologies for Data Management, 2004

2003
A Computational Biology Database Digest: Data, Data Analysis, and Data Management.
Distributed and Parallel Databases, 2003

Xcerpt and visXcerpt: From Pattern-Based to Visual Querying of XML and Semistructured Data.
Proceedings of 29th International Conference on Very Large Data Bases, 2003

An Entailment Relation for Reasoning on the Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003

XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

On Reasoning on Time and Location on the Web.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

A Visual Language for Web Querying and Reasoning.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

Web Services for Teaching: A Case Study.
Proceedings of the International Conference on Web Services, ICWS '03, June 23, 2003

An Evaluation of Regular Path Expressions with Qualifiers against XML Streams.
Proceedings of the 19th International Conference on Data Engineering, 2003

Visual Querying and Exploration of Large Answers in XML Databases with X2.
Proceedings of the 19th International Conference on Data Engineering, 2003

Bioinformatics Databases: State of the Art and Research Perspectives.
Proceedings of the Advances in Databases and Information Systems, 2003

2002
Datenbanken in der Bioinformatik.
Informatik Spektrum, 2002

Perspectives for electronic books in the World Wide Web age.
The Electronic Library, 2002

Advanced modeling and browsing of technical documents.
Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

A gentle introduction to Xcerpt, a rule-based query and transformation language for XML.
Proceedings of the RuleML 2002, 2002

An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning.
Proceedings of the Paraconsistent Computational Logic, 2002

The XML Query Language Xcerpt: Design Principles, Examples, and Semantics.
Proceedings of the Web, 2002

Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.
Proceedings of the Logic Programming, 18th International Conference, 2002

XPath: Looking Forward.
Proceedings of the XML-Based Data Management and Multimedia Engineering, 2002

Adaptive Hypermedia Made Simple with HTML/XML Style Sheet Selectors.
Proceedings of the Adaptive Hypermedia and Adaptive Web-Based Systems, 2002

2001
Semistrukturierte Daten - Aktuelles Schlagwort.
Informatik Spektrum, 2001

Towards Aggregated Answers for Semistructured Data.
Proceedings of the Database Theory, 2001

Towards Grouping Constructs for Semistructured Data.
Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

2000
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation.
J. Autom. Reasoning, 2000

Preface.
Proceedings of the 14. Workshop Logische Programmierung, 2000

Data Modeling with Markup Languages.
Proceedings of the WLP 2000, 2000

1999
Bioinformatik - Aktuelles Schlagwort.
Informatik Spektrum, 1999

Solving Database Satisfiability Problems.
Proceedings of the 11. Workshop Grundlagen von Datenbanken, 1999

1998
A Deduction Method Complete for Refutation and Finite Satisfiability.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

SIC: Satisfiability Checking for Integrity Constraints.
Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98, 1998

1997
Query Answering in Information Systems with Integrity Constraints.
Proceedings of the Integrity and Internal Control in Information Systems, 1997

1996
Deduktive Datenbanken.
KI, 1996

Deduktive Datenbanken - das aktuelle Schlagwort.
Informatik Spektrum, 1996

Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

A Compositional Semantics for Logic Programs and Deductive Databases.
Proceedings of the Logic Programming, 1996

1995
Variationen über ein Thema: Suchstrategien und Datenstrukturen für SATCHMO-Beweiser.
Proceedings of the 11. Workshop Logische Programmierung, 1995

Bases de données déductives.
Proceedings of the JFPLC'95, 1995

The theorem prover SATCHMO : strategies, heuristics and applications.
Proceedings of the JFPLC'95, 1995

1994
Logikprogrammierung ohne Modelltheorie?
Proceedings of the Tenth Logic Programming Workshop, 1994

Disjunctive Logic Programming: What Applications Developers Need.
Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

1993
Neuere Entwicklungen der deklarativen KI-Programmierung.
Proceedings of the Grundlagen und Anwendungen der Künstlichen Intelligenz, 1993

Towards Intelligent Databases.
Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1991
Integrity Verification in Knowledge Bases.
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

1990
Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled.
Data Knowl. Eng., 1990

Negation in Logic Programming: A Formalization in Constructive Logic.
Proceedings of the Information Systems and Artificial Intelligence: Integration Aspects, 1990

Intensional Updates: Abduction via Deduction.
Proceedings of the Logic Programming, 1990

Upside-down deduction.
Proceedings of the Sixièmes Journées Bases de Données Avancées, 1990

1989
Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited.
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Logic Programming as Constructivism: A Formalization and its Application to Databases.
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Logical Rewritings for Improving the Evaluation of Quantified Queries.
Proceedings of the MFDBS 89, 1989

Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled.
Proceedings of the Deductive and Object-Oriented Databases, 1989

1988
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.
Proceedings of the Advances in Database Technology, 1988

SATCHMO: A Theorem Prover Implemented in Prolog.
Proceedings of the 9th International Conference on Automated Deduction, 1988

Préserver l'intégrité d'une base de données déductive: une méthode et son implementation.
Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

1987
A Hyperresolution-Based Proof Procedure and its Implementation in Prolog.
Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987

Proving Finite Satisfiability of Deductive Databases.
Proceedings of the CSL '87, 1987

1986
Checking Consistency of Database Constraints: a Logical Basis.
Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986

Sur la validité des schémas de bases de données.
Proceedings of the 2<sup>èmes</sup> Journées Bases de Données Avancés, 1986

1983
On the number of 1-factors of locally finite graphs.
J. Comb. Theory, Ser. B, 1983

On the factorization of graphs with exactly one vertex of infinite degree.
Discrete Mathematics, 1983

1982
The Edmonds - Gallai decomposition for matchings in locally finite graphs.
Combinatorica, 1982

1981
Note on a theorem of J. Folkman on transversals of infinite families with finitely many infinite members.
J. Comb. Theory, Ser. B, 1981


  Loading...