A new logical characterisation of stable models and answer sets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1216, Issue , 1997, Pages 57-70

  Pearce, David ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LOGIC PROGRAMMING; SEMANTICS;

ANSWER SET SEMANTICS; EQUILIBRIUM LOGIC; EXTENDED LOGIC PROGRAMMING; GENERALISATION; INTERMEDIATE LOGIC; MINIMAL MODEL; NONMONOTONIC LOGIC; STABLE MODEL;

COMPUTER CIRCUITS;

EID: 84955588654     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0023801     Document Type: Conference Paper

References (31)

1. Akama, S, Constructive Predicate Logic with Strong Negation and Model Theory, Notre Dame J Formal Logic 29 (1988), 18-27.
2. Akama, S, On the Proof Method for Constructive Falsity, Zeitschr. f. math. Logik and Grundlagen d. Math. 34 (1988), 385-392.
3. Almukdad, A Nelson, D, Constructible Falsity and Inexact Predicates, JSL 49 (1984), 231-233.
4. Alferes, J J Pereira, L M, Reasoning with Logic Programming LNAI 1111, Springer, 1996.
5. van Dalen, D, Intuitionistic Logic, in D Gabbay, F Guenthner (eds), Handbook of Philosophical Logic, Vol. III, Kluwer, Dordrecht, 1986.
6. Dietrich, J Herre, H, Outline of Nonmonotonic Model Theory, NTZ Report, Universitit Leipzig, 1994.
7. Gelfond, M, Logic Programming and Reasoning with Incomplete Information, Annals of Mathematics and Artificial Intelligence 12 (1994), 89-116.
8. Gelfond, M, Lifschitz, V, The Stable Model Semantics for Logic Programs, in K Bowen R Kowalski (eds), Proc 5th Int Conf on Logic Programming 2, MIT Press, 1070-1080.
9. Gelfond, M Lifschitz, V, Logic Programs with Classical Negation, in D Warren P Szeredi (eds), Proc ICLP-90, MIT Press, 1990, 579-597.
10. Gelfond, M, Lifschitz, V, Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing (1991), 365-387.
11. Godel, K, Zum intuitionistischen Aussagenkalkiil, Anzeiger der Akademie der Wissenschaften in Wien 69 65-66; reprinted in em Kurt Godel, Collected Works, Volume 1, OUP, 1986.
12. Gurevich, Y, Intuitionistic Logic with Strong Negation, Studia Logica 36 (1977), 49-59.
13. Heyting, A, Die formalen Regeln der intuitionistischen Logik, Sitz. Berlin 1930, 42-56.
14. Kracht, M, On Extensions of Intermediate Logics by Strong Negation, Journal of Philosophical Logic, 1997, forthcoming.
15. Leone, N, Rullo, P, Scarcello, F, Declarative and Fixpoint Characterizations of Disjunctive Stable Models, in J Lloyd (ed), Proc ILPS '95, MIT Press, 1995.
16. Lifschitz, V, Minimal Belief and Negation as Failure Artificial Intelligence (1994), 53-72.
17. Lifschitz, V Schwarz, G, Extended Logic Programs as Autoepistemic Theories, in L M Pereira A Nerode (eds), Logic Programming and Non-Monotonic Reasoning, MIT Press, 1993.
18. Lin, F Shoham, Y, A Logic of Knowledge and Justified Assumption, Artificial Intelligence 57 (1992), 271-290.
19. Lukasiewicz, 3, Die Logik und das Grundlagenproblem, in Les Entretiens de Zurich sur les Fondarnents et la Methode des Sciences Mathematiques 1938, Zurich, 1941.
20. Marek, V Truszczynski, M, Nonmonotonic Logic, Springer Verlag, 1993.
21. Marek, V Truszczynski, M, Reflexive Autoepistemic Logic and Logic Programming, in L M Pereira A Nerode (eds), Logic Programming and Non-Monotonic Reasoning, MIT Press, 1993.
22. Nelson, D, Constructible Falsity, JSL 14 (1949), 16-26.
23. Pearce, D, Answer Sets and Nonmonotonic S4, in R Dyckhoff (ed), Extensions of Logic Programming, LNAI 798, Springer Verlag, 1994.
24. Pearce, D, Nonmonotonicity and Answer Set Inference, to appear in A. Nerode (ed), Logic Programming and Nonmonotonic Reasoning. Proceedings LPNMR 95 LNAI, Springer-Verlag, 1995.
25. Pearce, D, From Here to There: Stable Negation in Logic Programming, in D Gabbay H Wansing (eds), What is Negation?, Kluwer, 1997, forthcoming.
26. Pearce, D, Stable Inference Made Simple, in Proc DGNMR97, Third Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, MPI Saabriicken, 1997.
27. Rautenberg, W, Klassische und Nichtklassische Aussagenlogik, Vieweg, Wiesbaden, 1979.
28. Thomason, R H, A Semantical Study of Constructible Falsity, Zeit. f. math. Logik und Grundlagen der Mathematik 15 (1969), 247-257.
29. Vorob'ev, N N, A Constructive Propositional Calculus with Strong Negation (in Russian), Doklady Akademii Nauk SSR 85 (1952), 465-468.
30. Vorob'ev, N N, The Problem of Deducibility in Constructive Propositional Calculus with Strong Negation (in Russian), Doklady Akademii Nauk SSR 85 (1952), 689-692.
31. WOjcicki, R, Theory of Logical Calculi, Kluwer, Dordrecht, 1988.