Searching for "On the Semantics of Negations in Logic Programming." – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
Strong Equivalence of Logic Programs under the Infinite-Valued Semantics
- … Semantics, Negation in Logic Programming, Strong Equivalence. 1 Introduction The notion of strong…
- Add To MetaCart
-
An A-Prolog decision support system for the Space Shuttle
- …. Advances in the work on semantics of negation in logic programming (Gelfond & Lifschitz 1988; 1991…
- Cited by 41 (17 self) – Add To MetaCart
-
Integrating the Completion and the Well Founded Semantics
- …@(email omitted); Abstract. The three most well-known semantics for negation in the logic programming framework are Clark…
- Cited by 1 (1 self) – Add To MetaCart
-
Complete Sets of Connectives and Complete Sequent Calculus for Belnap's Logic
- …-valued logic for computer science has been motivated by research on the semantics of negation in logic…
- Cited by 1 (0 self) – Add To MetaCart
-
Cut-Property And Negation As Failure
- … semantics. Keywords: Logic programming; proof theory; Negation-as-Failure; SLDNF-resolution; three…
- Cited by 6 (1 self) – Add To MetaCart
-
A Logical Reconstruction of Fuzzy Inference in Databases and Logic Programs
- … of the excluded contradiction and is more in line with negation in databases and logic programs. We show…
- Cited by 6 (0 self) – Add To MetaCart
-
Logic Programming and Autoepistemic Logics: New Relations and Complexity Results
- … semantics for negation in logic programming, autoepistemic logics and complexity results presented…
- Cited by 6 (1 self) – Add To MetaCart
-
Perfect Model Checking via Unfold/Fold Transformations
- … models are the usual intended semantics for logic programs with locally stratied negation, and for those…
- Cited by 7 (4 self) – Add To MetaCart
-
Logic Programming and Negation: A Survey
- … semantics for logic programs with negation considered in this paper are non-monotonic. The study of non…
- Cited by 204 (8 self) – Add To MetaCart
-
Strong and explicit negation in non-monotonic reasoning and logic programming
- … for such negation in logic programming and they also proposed a specific semantics for such negation for logic…
- Cited by 20 (12 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
