## 1,434 Citations

### On the Declarative Semantics of Logic Programs with Negation

- Computer ScienceFoundations of Deductive Databases and Logic Programming.
- 1988

### Fully Declarative Logic Programming

- Computer SciencePLILP
- 1992

A theoretical basis for implementation of a fully declarative logic programming language which allows use of quantifiers and negation in the statement bodies is presented and SLPG — a resolution system extending SLD-resolution, but alternative to SLDNF is formulated.

### A Natural Semantics for Logic Programs with Negation

- Computer Science, PhilosophyFSTTCS
- 1989

The fixpoint theory of Van Emden and Kowalski and Clark's predicate completion does not apply to general programs with negation; a generalization of the theory can be defined only if the programs are stratified.

### Guarded resolution for Answer Set Programming

- MathematicsTheory and Practice of Logic Programming
- 2010

A proof system based on a guarded resolution rule is investigated and its adequacy for the stable semantics of normal logic programs is shown and it is shown that Gelfond–Lifschitz operator can be viewed as a proof-theoretic concept.

### Elimination of Negation in a Logical Framework

- Computer ScienceCSL
- 2000

This work adapts the idea of elimination of negation introduced in [17] for Horn logic to a fragment of higher-order HHF to isolate a set of programs where static and dynamic clauses do not overlap.

### On the Declarative Semantics of Deductive Databases and Logic Programs

- Computer ScienceFoundations of Deductive Databases and Logic Programming.
- 1988

### On the Semantics of Logic Programs

- Computer ScienceICALP
- 1991

The paper is a general overview of our approach to the semantics of logic programs whose aim is finding notions of models which really capture the operational semantics, and are therefore useful for…

### Combining Explicit Negation and Negation by Failure Via Belnap's Logic

- Computer Science, PhilosophyTheor. Comput. Sci.
- 1997

### Well-founded semantics and stratification for ordered logic programs

- Computer ScienceNew Generation Computing
- 2009

An extension of traditional logic programming, called ordered logic (OL) programming, is presented to support classical negation as well as constructs from the object-oriented paradigm to cope with the notions of object, multiple inheritance and non-monotonic reasoning.

### Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs

- Computer ScienceArtif. Intell.
- 1990

## References

SHOWING 1-10 OF 38 REFERENCES

### On the Declarative Semantics of Logic Programs with Negation

- Computer ScienceFoundations of Deductive Databases and Logic Programming.
- 1988

### A Functional Approach to Non-Monotonic Logic

- Mathematics, Computer ScienceIJCAI
- 1985

For non-monotonic rules in general (not only normal default rules) this work defines a stronger version of the minimality requirement on consistent fixpoints, and proves that it is sufficient for the existence of a derivation of the fixpoint.

### A functional approach to non‐monotonic logic 1

- Mathematics, Computer Science
- 1985

A stronger concept, approachable fixpoints, is introduced and proven to be sufficient for the existence of a derivation of the fixpoint, and the usefulness of the approach is demonstrated by concise proofs for some previously known results about normal default rules.

### Negation as Failure Using Tight Derivations for General Logic Programs

- Computer ScienceFoundations of Deductive Databases and Logic Programming.
- 1988

### Negation in Logic Programming

- Computer ScienceFoundations of Deductive Databases and Logic Programming.
- 1988

### Contributions to the Theory of Logic Programming

- Computer ScienceJACM
- 1982

It is shown that nondeterministic flowchart schemata of bounded nondeterminacy are modeled by this special case of Hom clauses, and the connection between finite failure and greatest fixpoint is used to give a semantic characterization of termination, blocking, and nontermination of such flowchart Schemata.

### Maintenance of stratified databases viewed as a belief revision system

- Computer SciencePODS '87
- 1987

We study here declarative and dynamic aspects of non-monotonic reasoning in the context of deductive databases. More precisely, we consider here maintenance of a special class of indefinite deductive…