Access the full text.
Sign up today, get DeepDyve free for 14 days.
(1969)
Countable retracing functions and
Author Dilworth, BY Dilworth (1950)
A DECOMPOSITION THEOREM FOR PARTIALLY ORDERED SETSAnnals of Mathematics, 51
P. Beame, T. Pitassi (1996)
An Exponential Separation Between the Parity Principle and the Pigeonhole PrincipleAnn. Pure Appl. Log., 80
K.R. Apt, H.A. Blair (1990)
Classification of perfect models of stratified programsFundamenta Informaticae, 13
V. Marek, A. Nerode, J. Remmel (1992)
How Complicated is the Set of Stable Models of a Recursive Logic Program?Ann. Pure Appl. Log., 56
V. Marek, A. Nerode, J. Remmel (1990)
A theory of nonmonotonic rule systems IAnnals of Mathematics and Artificial Intelligence, 1
A. Manaster, J. Rosenstein (1972)
Effective matchmakingProc. London Math. Soc., 25
V. Marek, M. Truszczynski (1991)
Autoepistemic logicJ. ACM, 38
(1968)
First-Order Logic Springer
J.B. Remmel (1986)
Graph colorings and recursively boundedΠ 1 0 classesAnn. Pure Appl. Logic, 32
W. Marek, M. Truszczyński (1989)
Principles of Knowledge Representation and Reasoning
(1988)
Stable semantics for logic programs
A. Manaster, J. Rosenstein (1972)
EFFECTIVE MATCHMAKING (RECURSION THEORETIC ASPECTS OF A THEOREM OF PHILIP HALL)Proceedings of The London Mathematical Society
C. Jockusch, R. Soare (1972)
Π⁰₁ classes and degrees of theoriesTransactions of the American Mathematical Society, 173
(1990)
Decision procedure for default logic (1990) available as a report of the Mathematical Sciences
(1968)
Smullyan
J. Remmel (1986)
Graph colorings and recursively bounded Π10-classesAnn. Pure Appl. Log., 32
C. Jockusch, R. Soare (1972)
Degrees of members of Π10 classesPacific Journal of Mathematics, 40
David Etherington (1987)
Formalizing Nonmonotonic Reasoning SystemsArtif. Intell., 31
K. Apt, H. Blair (1991)
Arithmetic classification of perfect models of stratified programs
V. Marek, M. Truszczynski (1989)
Relating Autoepistemic and Default Logics
R. Reiter (1987)
A Logic for Default ReasoningArtif. Intell., 13
C.G. Jockusch, R.I. Soare (1972)
Degrees of members ofΠ 1 0 classesPacific J. Math., 40
Just, 1990 ] W. Just. Personal electronic communication
We have proved a number of results on nonmonotonic rule systems. This theory allows us to capture many constructions appearing in the current literature on the logical foundations of artificial intelligence.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Apr 6, 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.