Searching for "On the Declarative Semantics of Logic Programs with Negation." – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Extended well-founded model semantics for general logic programs
- …@(email omitted); and yuan@(email omitted);) ABSTRACT We inv estigate the declarative semantics of logic programs with negation…
- Cited by 9 (0 self) – Add To MetaCart
-
The Stable Model Semantics For Logic Programming
- … propose a new declarative semantics for logic programs with negation. Its formulation is quite simple…
- Cited by 1122 (42 self) – Add To MetaCart
-
Towards a Unified Theory of Logic Programming Semantics: Level Mapping Characterizations
- … of different declarative semantics for logic programs with negation. We will extend these studies by a result…
- Cited by 1 (1 self) – Add To MetaCart
-
Towards a Systematic Account of Different Semantics for Logic Programs
- … of different declarative semantics for logic programs with negation. One result from this work is that the well…
- Cited by 5 (5 self) – Add To MetaCart
-
Circular Belief in Logic Programming Semantics
- … uniform characterizations of dierent declarative semantics for logic programs with negation, and it has…
- Cited by 2 (2 self) – Add To MetaCart
-
Towards a Unified Theory of Logic Programming
- … characterizations of different declarative semantics for logic programs with negation. In this paper, we study…
- Add To MetaCart
-
Efficient Implementation of the Stable Model Semantics for Normal Logic Programs
- … Introduction In recent years declarative semantics for logic programs with negation have been intensively…
- Cited by 10 (1 self) – Add To MetaCart
-
Towards a systematic account of different logic programming semantics
- … of dierent declarative semantics for logic programs with negation. One result from this work…
- Cited by 4 (4 self) – Add To MetaCart
-
On the extension of logic programming with negation through uniform proofs
- … of its declarative and operational semantics, declarative semantics of logic programs with negation have…
- Cited by 1 (0 self) – Add To MetaCart
-
A Declarative Semantics for Typed Logic Programs
- …. In this paper, we formally develop a declarative semantics for typed logic programs with negation based on soft…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
