Michael J. Maher

Proceedings of the ECAI 2000, 2000

A Family of Defeasible Reasoning Logics and its Implementation.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

Optimizing Queries in Extended Relational Databases.

[BibT_eX]

[DOI]

Junhu Wang

Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

A Denotational Semantics of Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

A Flexible Framework for Defeasible Logics.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

A Comparison of Sceptical NAF-Free Logic Programming Approaches.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Revising Nonmonotonic Theories: The Case of Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

Finding Fair Allocations for the Coalition Problem with Constraints.

[BibT_eX]

Evan Tick

Roland H. C. Yap

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Architecture and Prototype Implementation of a System for Individualized Workflows in Medical Information Systems.

[BibT_eX]

[DOI]

Gustaf Neumann

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

On the Analysis of Regulations using Defeasible Rules.

[BibT_eX]

[DOI]

Grigoris Antoniou

David Billington

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

A Semantic Decomposition of Defeasible Logics.

[BibT_eX]

[DOI]

Guido Governatori

Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

Adding Constraints to Logic-based Formalisms.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

The Semantics of Constraint Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1998

Normal Forms for Defeasible Logic.

[BibT_eX]

Grigoris Antoniou

David Billington

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

A Study of Provability in Defeasible Logic.

[BibT_eX]

[DOI]

Grigoris Antoniou

David Billington

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1997

Constrained Dependencies.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

Toward Practical Query Evaluation for Constraint Databases.

[BibT_eX]

[DOI]

Alexander Brodsky

Constraints An Int. J., 1997

1996

Chasing Constrained Tuple-Generating Dependencies.

[BibT_eX]

[DOI]

Divesh Srivastava

Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

1995

Guest Editors' Introduction: Special Section: Ten Years of Logic Programming.

[BibT_eX]

[DOI]

Maurice Bruynooghe

Saumya K. Debray

Manuel V. Hermenegildo

J. Log. Program., 1995

Oracle Semantics for Prolog.

[BibT_eX]

[DOI]

Inf. Comput., 1995

On Inductive Inference of Cyclic Structures.

[BibT_eX]

[DOI]

Peter J. Stuckey

Ann. Math. Artif. Intell., 1995

Logic Programming and Object Modelling: A Case Study (Abstract).

[BibT_eX]

[DOI]

Gustaf Neumann

Proceedings of the Logic Programming, 1995

1994

Constraint Logic Programming: A Survey.

[BibT_eX]

[DOI]

J. Log. Program., 1994

Guest Editor's Introduction.

[BibT_eX]

[DOI]

Maurice Bruynooghe

Saumya K. Debray

Manuel V. Hermenegildo

J. Log. Program., 1994

Beyond Finite Domains.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1994

1993

A Tranformation System for Deductive Databases Modules with Perfect Model Semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Projecting CLP (R) Constraints.

[BibT_eX]

[DOI]

New Gener. Comput., 1993

Toward Practical Constraint Databases.

[BibT_eX]

[DOI]

Alexander Brodsky

Proceedings of the 19th International Conference on Very Large Data Bases, 1993

A Logic Programming View of CLP.

[BibT_eX]

Proceedings of the Logic Programming, 1993

1992

On Fourier's Algorithm for Linear Arithmetic Constraints.

[BibT_eX]

[DOI]

J. Autom. Reason., 1992

Output in CLP.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

A CLP View of Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1992

1991

Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs.

[BibT_eX]

[DOI]

Haim Gaifman

Ehud Shapiro

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Elimination of Negation in Term Algebras.

[BibT_eX]

[DOI]

Kim Marriott

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

Representing Sets of Rational Trees Using Techniques of Non-Monotonic Reasoning.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

1989

Expanding Query Power in Constraint Logic Programming Languages.

[BibT_eX]

Peter J. Stuckey

Proceedings of the Logic Programming, 1989

Déjà Vu in Fixpoints of Logic Programs.

[BibT_eX]

Raghu Ramakrishnan

Proceedings of the Logic Programming, 1989

Reactive Behaviour Semantics for Concurrent Constraint Logic Programs.

[BibT_eX]

Haim Gaifman

Ehud Shapiro

Proceedings of the Logic Programming, 1989

Constraint Hierarchies and Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1989

A Transformation System for Deductive Database Modules with Perfect Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988

Complete Axiomatizations of the Algebras of Finite, Rational and Infinite Trees

[BibT_eX]

[DOI]

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988

Equivalences of Logic Programs

[BibT_eX]

[DOI]

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

Unification Revisited

[BibT_eX]

[DOI]

Kim Marriott

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987

PROLOG - II as an instance of the logic programming language scheme.

[BibT_eX]

Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

Logic Semantics for a Class of Committed-Choice Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1987

1986

Comments on "General Failure of Logic Programs".

[BibT_eX]

[DOI]