Preview
Unable to display preview. Download preview PDF.
References
Apt, Krzysztof, Blair, Howard and Walker, Adrian (1988). Towards a theory of declarative knowledge, in: Minker, J. (ed.), Foundations of Deductive Databases and Logic Programming, Los Altos, CA: Morgan Kaufmann, pp. 89–148.
Brewka, Gerhard (1987). The Logic of Inheritance in Frame Systems, Proc. IJCAI-87, pp. 483–488.
Etherington, David; Mercer, Robert and Reiter, Raymond (1985). On the Adequacy of Predicate Circumscription for Closed-World Reasoning, Computational Intelligence 1, pp. 11–15. Reprinted in (Ginsberg 1987).
Etherington, David and Reiter, Raymond (1983). On Inheritance Hierarchies with Exceptions, Proc. AAAI-83, pp. 104–108. Reprinted in (Ginsberg 1987).
Clark, Keith (1978). Negation as Failure, in Gallaire, H. and Minker, J. (eds.), Logic and Databases, New York: Plenum Press, pp. 293–322. Reprinted in (Ginsberg 1987).
Gelfond, Michael (1988). Autoepistemic Logic and Formalization of Commonsense Reasoning, this volume.
Genesereth, Michael and Nilsson, Nils (1987). Logical Foundations of Artificial Intelligence, Los Altos, CA: Morgan Kaufmann.
Ginsberg, Matthew (1987) (ed.) Readings in Nonmonotonic Reasoning, Los Altos, CA: Morgan Kaufmann.
Ginsberg, Matthew (1988). Multivalued Logics: A Uniform Approach to Reasoning in AI, to appear in Computational Intelligence.
Hanks, Steve and McDermott, Drew (1986). Default Reasoning, Nonmonotonic Logics, and the Frame Problem, Proc. AAAI-86 1, pp. 328–333. Reprinted in (Ginsberg 1987).
Hanks, Steve and McDermott, Drew (1987). Nonmonotonic Logic and Temporal Projection, Artificial Intelligence 33, pp. 379–412.
Horty, John and Thomason, Richmond (1988). Mixing Strict and Defeasible Inheritance, Proc. AAAI-88, pp. 427–432.
Imielinski, Tomasz (1987). Results on Translating Defaults to Circumscription. Artificial Intelligence 32, pp. 131–146.
de Kleer, Johan (1986). An Assumption-based TMS. Artificial Intelligence 28, pp. 127–162.
Konolige, Kurt (1987). On the Relation between Default and Autoepistemic Logic, in (Ginsberg 1987), pp. 195–226.
Levesque, Hector (1988). All I Know: A Study in Autoepistemic Logic, to appear in Artificial Intelligence.
Lifschitz, Vladimir (1985). Computing Circumscription, Proc. IJCAI-85, pp. 121–127. Reprinted in (Ginsberg 1987).
Lifschitz, Vladimir (1987). Formal Theories of Action, in Brown, F. (ed.), The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop, Morgan Kaufmann, pp. 35–58. Reprinted in (Ginsberg 1987).
Lifschitz, Vladimir (1988). Circumscriptive Theories: A Logic-Based Framework for Knowledge Representation, to appear in the Journal of Philosophical Logic.
Lifschitz, Vladimir and Rabinov, Arkady (1988). Miracles in Formal Theories of Action, to appear in Artificial Intelligence.
McCarthy, John (1980). Circumscription — a Form of Nonmonotonic Reasoning, Artificial Intelligence 13, pp. 27–39. Reprinted in (Ginsberg 1987).
McCarthy, John (1986). Applications of Circumscription to Formalizing Commonsense Knowledge, Artificial Intelligence 28, pp. 89–116. Reprinted in (Ginsberg 1987).
Morgenstern, Leora and Stein, Lynn (1988). Why Things go Wrong: a Formal Theory of Causal Reasoning, Proc. AAAI-88 2, pp. 518–523.
Moore, Robert (1985). Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25, pp. 75–94. Reprinted in (Ginsberg 1987).
Morris, Paul (1987). Curing Anomalous Extensions, Proc. AAAI-87, pp. 437–442.
Morris, Paul (1988). Autoepistemic Stable Closures and Contradiction Resolution, this volume.
Perlis, Donald (1986). On the Consistency of Commonsense Reasoning, Computational Intelligence 2, pp. 180–190. Reprinted in (Ginsberg 1987).
Poole, David (1988). A Logical Framework for Default Reasoning, Artificial Intelligence 36, pp. 27–47.
Reiter, Raymond (1978). On Closed World Data Bases, in Gallaire, H. and Minker, J. (eds.), Logic and Databases, New York: Plenum Press, pp. 55–76. Reprinted in (Ginsberg 1987).
Reiter, Raymond (1980). A Logic for Default Reasoning, Artificial Intelligence 13, pp. 81–132. Reprinted in (Ginsberg 1987).
Reiter, Raymond (1984). Towards a Logical Reconstruction of Relational Database Theory, in M. L. Brodie, J. Mylopoulos and J. W. Schmidt (eds.), On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, Springer-Verlag, pp. 191–233.
Reiter, Raymond and de Kleer, Johan (1987). Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report, Proc. AAAI-87, pp. 183–188.
Ross, Kenneth and Topor, Rodney (1987). Inferring Negative Information from Disjunctive Databases, Technical Report 87/1, University of Melbourne; to appear in the Journal of Automated Reasoning.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lifschitz, V. (1988). Benchmark problems for formal nonmonotonic reasoning. In: Reinfrank, M., de Kleer, J., Ginsberg, M.L., Sandewall, E. (eds) Non-Monotonic Reasoning. NMR 1988. Lecture Notes in Computer Science, vol 346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50701-9_29
Download citation
DOI: https://doi.org/10.1007/3-540-50701-9_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50701-7
Online ISBN: 978-3-540-46073-2
eBook Packages: Springer Book Archive