"Classical" Negation in Non-Monotonic Reasoning and Logic Programming

"Classical" Negation in Non-Monotonic Reasoning and Logic Programming (1998)

Cached

Download Links

by José Alferes , Luís Moniz Pereira , Teodor C. Przymusinski

Citations:

BibTeX

@MISC{Alferes98"classical"negation,
    author = {José Alferes and Luís Moniz Pereira and Teodor C. Przymusinski},
    title = {"Classical" Negation in Non-Monotonic Reasoning and Logic Programming},
    year = {1998}
}

Bookmark

OpenURL

Abstract

Citations

1263	The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
855	Negation as Failure - Clark - 1978
743	The Well-Founded Semantics for General Logic Programs - Gelder, Ross, et al. - 1991
732	Circumscription - A Form of Non-Monotonic Reasoning - McCarthy - 1980
407	Semantical considerations on nonmonotonic logic - Moore - 1985
345	A.: On the difference between updating a knowledge base and revising it - Katsuno, Mendelzon - 1991
310	Logic programs with classical negation - Gelfond, Lifschitz - 1990
239	Reasoning about actions using a possible models approach - Winslett - 1988
124	Well-founded Semantics Coincides With Three-Valued Stable Semantics. Fundamenta informaticae, XIII - Przymusinski - 1990
120	Well founded semantics for logic programs with explicit negation - PEREIRA, ALFERES - 1992
90	On the relationship between circumscription and negation as failure - Gelfond, Przymusinska, et al. - 1989
79	Representing actions in extended logic programming - Gelfond, Lifschitz - 1992
68	On indefinite data bases and the closed world assumption - Minker - 1982
68	Static Semantics For Normal and Disjunctive Logic Programs - Przymusinski - 1995
62	Constructible falsity - NELSON - 1949
61	and M.Truszczynski. Nonmonotonic Logic - Marek - 1993
53	Update by means of inference rules - PRZYMUSINSKI, TURNER - 1997
51	L.M.: Reasoning with logic programming - Alferes, Pereira - 1996
46	On logic program semantics with two kinds of negation - Alferes, Pereira - 1992
45	Problems and Promises of Computational Logic - Kowalski - 1990
38	Alferes. Non–monotonic reasoning with logic programming - Pereira, Aparício, et al. - 1993
34	A framework for representing and characterizing semantics of logic programs - Dix - 1992
34	Legislation as Logic Programs - Kowalski - 1992
34	Alferes. Diagnosis and debugging as contradiction removal - Pereira, Damasio, et al. - 1993
32	On closed-word data bases - Reiter - 1978
31	Logic programming and reasoning with incomplete information - Gelfond - 1994
29	Stable semantics for disjunctive programs. New Generation Computing, 9:401-424, 1991 T.C. Przymusinsksi. Well-founded and stationary models of logic programs - Przymusinski - 1994
23	SLX -- A top-down derivation procedure for programs with explicit negation - Alferes, Dam'asio, et al. - 1994
23	Update-programs can update programs - Alferes, Pereira - 1997
22	Well founded reasoning with classical negation - Dung, Ruamviboonsuk - 1991
21	Reasoning with Negative Information I { Strong Negation in Logic Programs - Pearce, Wagner - 1989
21	Reasoning with Logic Programming, volume 1111 of LNAI - Alferes, Pereira - 1996
20	Super Logic Programs - Brass, Dix, et al. - 1998
18	Model-based diagnosis preferences and strategies representation with logic meta-programming - Damasio, Nejdl, et al. - 1995
17	Reasoning with inconsistency in extended deductive databases - Wagner - 1993
14	Autoepistemic logic of knowledge and beliefs - Przymusinski - 1998
13	Alferes, Debugging by diagnosing assumptions - Pereira, Damásio, et al. - 1993
12	Abduction over 3-valued extended logic programs - Dam'asio, Pereira - 1995
11	A logic for default theory - Reiter
10	Contradiction: when avoidance equal removal - Alferes, Pereira - 1994
10	Revision specifications by means of revision programs - Marek, Truszczy'nski - 1994
10	Reasoning with Negative Information, II: hard negation, strong negation and logic programs - Pearce - 1992
8	Notes on N-lattices and constructive logic with strong negation.’, Abstract Algebraic Logic 49 - Vakarelov - 1977
8	A knowledge representation framework based on autoepistemic logic of minimal beliefs - Przymusinski - 1994
5	Belief revision in logic programming and non-monotonic reasoning - Alferes, Pereira, et al. - 1995
4	Belief revision in nonmonotonic reasoning and logic programming - Alferes, Pereira, et al. - 1994
1	Plain negation as a basis for strong, weak and classical negations - Przymusinski - 1997