Bry, François

Karagiannis, Dimitris

English

Open Access LMU

A Constructive View of Prolog.

A Kripke-Kleene Semantics for Logic Programs.

A Logic for Default Reasoning.

A Machine-Oriented Logik Based on the Resolution Principle.

A Mathematical Introduction to Logic.

A Truth Maintenance system.

An Assumption-Based Truth Maintenance System.

An Introduction to Automated Deduction,

Automated Deduction with Hyper-Resolution.

Can We Reach a Uniform Paradigm for Deductive Query Evaluation?

Constructive Mathematics.

Explanation and Prediction: An Architecture for Default and Abductive Reasoning.

Foundations of Deductive Databases and Logic Programming, chapter Negation as Failure Using Tight Derivations for General Logic Programs.

Foundations of Deductive Databases and Logic Programming, chapter On the Declarative Semantics of Deductive Databases and Logic Programs.

Foundations of Deductive Databases and Logic Programming, chapter Towards a Theory of Declarative Knowledge.

Foundations of Logic Programming. Symbolic Computation.

Fundamentals of Artificial Intelligence,

Linear Logic.

Logic and Databases, chapter Negation as Failure.

Logic for Problem Solving.

Logic Programming as Constructivism: A Formalization and its Application to Databases. In

Magic Sets and other Strange Ways to Implement Logic Programs.

Meta Interpreters for Real.

Negation by Default and Unstratifiable Logic Programs. Theoretical Computer Science,

Negation in logischer Programmierung: Eine Formatierung in konstruktiver Logik. Research Report IR-KB-72, ECRC,

On Closed World Databases,

On the Power of Magic.

Proofs and Types. Cambridge Tracts in Theoretical Computer Science 7.

Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled. In

Recursive Query Processing: The Power of Logic.

Semantical Considerations on Nonmonotonic Logic.

Specialisation of Prolog and FCP Programs Using Abstract Interpretation.

The Alternating Fixpoint of Logic Programs with Negation. In

The Art of Prolog.

The Semantics of Predicate Logic as a Programming Language.

The Stahle Model Semantics for Logic Programming. In

The Well-Founded Semantics for General Logic Programs.

Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited.

Tutorial Notes for: Abstract Interpretation in Logic Programming. Research report,

Zur Logik der Logik-Programmierung - Ein konstruktiver Ansatz. Informatik-Fachbericht 199.

Negation in Logic Programming

http://epub.ub.uni-muenchen.de/8505/1/8505.pdf

Negation in Logic Programming

Abstract

Similar works

Full text

Available Versions

Open Access LMU