Access the full text.
Sign up today, get DeepDyve free for 14 days.
D. Cenzer, J. Remmel (1998)
Chapter 13 Π10 classes in mathematicsStudies in logic and the foundations of mathematics, 139
W. Marek, J.B. Remmel (2001)
Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, Papers from the AAAI Spring Symposium, Stanford, CA, 26–28 March 2001, AAAI Technical Report SS-01-01
P. Simons, I. Niemelä, T. Soininen (2000)
Extending and implementing the stable model semanticsArtif. Intell., 138
Fangzhen Lin, Yuting Zhao (2002)
ASSAT: computing answer sets of a logic program by SAT solvers
V. Marek, A. Nerode, J. Remmel (1994)
The Stable Models of a Predicate Logic Program
V. Marek, A. Nerode, J. Remmel (1997)
Complexity of Recursive Normal Default LogicFundam. Informaticae, 32
J. Minker (1988)
Foundations of deductive databases and logic programming
D. Cenzer, J. Remmel, V. Marek (2005)
Logic programming with infinite setsAnnals of Mathematics and Artificial Intelligence, 44
M. Gelfond, Vladimir Lifschitz (1988)
The Stable Model Semantics for Logic Programming
V. Marek, J. Remmel (2004)
Set Constraints in Logic Programming
V. Marek, J. Remmel (2001)
On the expressibility of stable logic programmingTheory and Practice of Logic Programming, 3
V. Marek, A. Nerode, J. Remmel (1995)
Complexity of normal default logic and related modes of nonmonotonic reasoningProceedings of Tenth Annual IEEE Symposium on Logic in Computer Science
I. Niemelä, P. Simons, T. Soininen (1999)
Stable Model Semantics of Weight Constraint Rules
V. Marek, M. Truszczynski (1989)
Relating Autoepistemic and Default Logics
W. Marek, A. Nerode, J.B. Remmel (1992)
Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming
K. Apt, H. Blair, A. Walker (1988)
Towards a Theory of Declarative Knowledge
V. Marek, A. Nerode, J. Remmel (1999)
Logic Programs, Well-Orderings, and Forward ChainingAnn. Pure Appl. Log., 96
(2000)
Characterizing the set of extensions of a nonmonotic rules with levels
N. Leone, G. Pfeifer, Wolfgang Faber, Thomas Eiter, G. Gottlob, S. Perri, Francesco Scarcello (2002)
The DLV system for knowledge representation and reasoningACM Trans. Comput. Log., 7
V. Marek, A. Nerode, J. Remmel (1995)
On Logical Constraints in Logic Programming
V.W. Marek, J.B. Remmel (2007)
Logical Foundations of Computer Science, LFCS 2007
(2002)
Cmodels
V. Marek, A. Nerode, J. Remmel (1997)
Nonmonotonic rule systems with recursive sets of restraintsArch. Math. Log., 36
V. Marek, J. Remmel (2001)
On the Foundations of Answer Set Programming
J. McCarthy (1979)
Circumscription|a Form of Nonmonotonic Reasoning
Robert Moore (1985)
Semantical Considerations on Nonmonotonic Logic
J. Minker (2000)
Logic-Based Artificial Intelligence
D. Cenzer, V.W. Marek, J.B. Remmel (2005)
Logic programming with infinite setsAnn. Artif. Intell. Math., 44
I. Niemelä (1999)
Logic programs with stable model semantics as a constraint programming paradigmAnnals of Mathematics and Artificial Intelligence, 25
H. Blair, V. Marek, J. Remmel (2008)
Set based logic programmingAnnals of Mathematics and Artificial Intelligence, 52
João Leite, Paolo Torroni (2004)
Computational Logic in Multi-Agent Systems. Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004. Pre-Proceedings
V. Marek, J. Remmel (2004)
Answer set programming with default logic
V. Marek, A. Nerode, J. Remmel (1996)
On the complexity of abductionProceedings 11th Annual IEEE Symposium on Logic in Computer Science
(1998)
Handbook of Recursive Mathematics, vol
J. Leeuwen (1990)
Handbook of Theoretical Computer Science
M. Gelfond, V. Lifschitz (1990)
Logic Programs with Classical Negation
J. McCarthy (1980)
Circumscription - A Form of Non-Monotonic ReasoningArtif. Intell., 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
D. Cenzer, J. Remmel, A. Vanderbilt (1999)
Locally Determined Logic Programs
W. Marek, A. Nerode, J.B. Remmel (1997)
Logical Foundations for Computer Science’97, Logic at Yaroslavl
N. Malcolm (1952)
Knowledge and Belief
J. Doyle (1979)
A Truth Maintenance SystemArtif. Intell., 12
V. Marek, J. Remmel (2002)
On logic programs with cardinality constraints
I. Niemelä, P. Simons (2001)
Extending the Smodels system with cardinality and weight constraints
V. Marek, A. Nerode, J. Remmel (1997)
Basic Forward Chaining Construction for Logic Programs
K. Apt (1990)
Logic Programming
(1992)
A context for belief revision: Normal nonmonotonic programs
W. Marek, A. Nerode, J.B. Remmel (1995)
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR’95
W. Marek, A. Nerode, J.B. Remmel (1995)
Proceedings of the 11-th Annual Symposium of Logic in Computer Science
R. Reiter (1987)
A Logic for Default ReasoningArtif. Intell., 13
D. Cenzer, J. Remmel, A. Vanderbilt (2004)
Locally Determined Logic Programs and Recursive Stable ModelsAnnals of Mathematics and Artificial Intelligence, 40
V. Marek, A. Nerode, J. Remmel (2005)
A theory of nonmonotonic rule systems IIAnnals of Mathematics and Artificial Intelligence, 5
D. Cenzer, J.B. Remmel, A. Vanderbilt (1999)
Proceedings of the 6th International Conference on Logic Programming and Nonmontonic Reasoning (LPNMR99)
Charlotte-V. Pollet, J. Remmel (1997)
Non-Monotonic Reasoning with Quantified Boolean Constraints
Joseph Halpern, Y. Moses (1984)
Knowledge and common knowledge in a distributed environmentArXiv, cs.DC/0006009
V. Marek, J. Remmel (2008)
On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
V. Marek, A. Nerode, J. Remmel (1990)
A theory of nonmonotonic rule systems IAnnals of Mathematics and Artificial Intelligence, 1
I. Niemelä, P. Simons, T. Soininen (1999)
Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning
V.W. Marek, J.B. Remmel (2004)
Proceedings of LPNMR04
K. Apt (1988)
Introduction to Logic Programming
P. Simons, I. Niemelä, T. Soininen (2002)
Extending and implementing stable semantics of logic programsArtif. Intell. J., 138
V. Marek, J. Remmel (2009)
Automata and Answer Set Programming
V. Marek, J. Remmel (2007)
Compactness Properties for Stable Semantics of Logic Programs
H. Blair, V. Marek, J. Remmel (2006)
Spatial Logic Programming
F. Lin, Y. Zhao (2002)
Proceedings of the 18th National Conference on Artificial Intelligence (AAAI-02)
We give a brief retrospective of the work of Marek, Nerode, and Remmel on nonmonotonic logic and answer set programming.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Feb 7, 2009
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.