Access the full text.
Sign up today, get DeepDyve free for 14 days.
A. Nerode, R. Milnikel (1999)
Nonmonotonic logic: a monotonic approach
D. Cenzer, J. Remmel (1998)
Chapter 13 Π10 classes in mathematicsStudies in logic and the foundations of mathematics, 139
J. McCarthy (1980)
Circumscription - A Form of Non-Monotonic ReasoningArtif. Intell., 13
V. Marek, A. Nerode, J. Remmel (1994)
The Stable Models of a Predicate Logic Program
Y. Ershov, S. Goncharov, A. Nerode, J. Remmel (1998)
Handbook of Recursive Mathematics
D. McDermott, J. Doyle (1979)
An introduction to nonmonotonic logic
V. Marek, M. Truszczynski (1991)
Autoepistemic logicJ. ACM, 38
J. Barwise (1977)
Handbook of Mathematical Logic
(1993)
A Gentzen System for Non-Theorems'
Milnikel
R. Milnikel (2003)
The complexity of predicate default logic over a countable domainAnn. Pure Appl. Log., 120
J. Lloyd (1987)
Foundations of logic programming; (2nd extended ed.)
R. Milnikel (2003)
A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract)
V. Marek, M. Truszczynski (1997)
Nonmonotonic logic - context-dependent reasoning
V. Lifschitz, V. Lifschitz (1990)
On Open Defaults
K. Apt (1990)
Logic Programming
J. Schlipf (1987)
Decidability and definability with circumscriptionAnn. Pure Appl. Log., 35
R. Reiter (1987)
A Logic for Default ReasoningArtif. Intell., 13
G. Mints (1996)
A complete calculus for pure prologProc. Acad. Sci. Estonian SSR, 35
V. Marek (1993)
Nonmonotonic Logic
K. Konolige (1994)
Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3
P. Bonatti (2001)
Reasoning with infinite stable modelsArtif. Intell., 156
D. McDermott, J. Doyle (1987)
Non-Monotonic Logic IArtif. Intell., 13
V. Marek, A. Nerode, J. Remmel (1990)
A theory of nonmonotonic rule systems IAnnals of Mathematics and Artificial Intelligence, 1
Alex Dekhtyar (1999)
Book review: Logic For Applications, Second Edition by Anil Nerode and Richard A. Shore (Springer Verlag 1997)SIGACT News, 30
J. Barwise (1977)
An Introduction to First-Order LogicStudies in logic and the foundations of mathematics, 90
D. Cenzer, J.B. Remmel (1998)
Handbook of Recursive Mathematics, Vol. 2
Sergei Artëmov (2001)
Explicit provability and constructive semanticsBull. Symb. Log., 7
J. McCarthy (1979)
Circumscription|a Form of Nonmonotonic Reasoning
V.W. Marek, A. Nerode, J.B. Remmel (1990)
Nonmonotonic rule systems IAnn. Math. Artificial Intelligence, 1
K. Apt (1988)
Introduction to Logic Programming
Robert Moore (1985)
Semantical Considerations on Nonmonotonic Logic
Robert Moore (1987)
Possible-World Semantics for Autoepistemic Logic
G. Mints (1990)
Several formal systems of logic programmingComput. Artif. Intell., 9
D. Gabbay, C. Hogger, J. Robinson (1994)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
P. Bonatti, N. Olivetti (2002)
Sequent calculi for propositional nonmonotonic logicsACM Trans. Comput. Log., 3
J. Lloyd (1984)
Foundations of Logic Programming
A. Nerode, R. Shore (1997)
Logic for Applications
K.R. Apt (1990)
Handbook of Theoretical Computer Science
Sequent calculi for skeptical consequence in predicate default logic, predicate stable model logic programming, and infinite autoepistemic theories are presented and proved sound and complete. While skeptical consequence is decidable in the finite propositional case of all three formalisms, the move to predicate or infinite theories increases the complexity of skeptical reasoning to being Π 1 1 -complete. This implies the need for sequent rules with countably many premises, and such rules are employed.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Feb 7, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.