Abstract
The sections in this article are
- 1 Introduction
- 2 Classical Logics
- 3 Nonmonotonic Formalisms
- 4 Conclusions
- 5 Literature
Bibliography
- 1 D. Makinson General patterns in nonmonotonic reasoning, in D. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic and Uncertain Reasoning, London: Oxford Univ. Press, 1994, Chap. 3, pp. 35–110.
- 2 J. Dix U. Furbach I. Niemelä Nonmonotonic reasoning: Towards efficient calculi and implementations, in A. Voronkov and A. Robinson (eds.), Handbook of Automated Reasoning, Amsterdam: Elsevier (in press, 1998).
- 3 J. J. Alferes L. Moniz Pereira (eds.) Reasoning with Logic Programming, LNAI 1111, Berlin: Springer, 1996.
- 4 A. G. Cohn Qualitative spatial representation and reasoning techniques, in G. Brewka, C. Habel, and B. Nebel (eds.), Proc. 21th German Annu. Conf. Artif. Intell. (KI '97), Freiburg, Germany, LNAI 1303, Berlin: Springer, 1997, pp. 1–30.
- 5 G. Gogic et al. The comparative linguistics of knowledge representation, Proc. 14th Int. J. Conf. Artif. Intell., Montreal, Canada, 1995, pp. 862–869.
- 6 M. Cadoli et al. On compact representations of propositional circumscription, Theor. Comput. Sci., 182: 183–202, 1997. (Extended abstract appeared in: On compact representations of propositional circumscription, STACS '95, 1995, pp. 205–216.)
- 7 J. Dix A. Nerode U. Furbach (eds.) Logic Programming and Nonmonotonic Reasoning, Springer LNCS, 1265, 1997.
- 8 D. Gabbay C. J. Hogger J. A. Robinson (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Vols. 1–6, London: Oxford Univ. Press, 1993–1999.
- 9 S. Abramsky D. M. Gabbay T. S. E. Maibaum (eds.) Handbook of Logic in Computer Science, Vols. 1–6, London: Oxford Univ. Press, 1992–1999.
- 10 D. M. Gabbay F. Guenthner (eds.) Handbook of Philosophical Logic, 2nd ed., Vols. 1–9, Dordrecht, The Netherlands: Reidel, 1999.
- 11 A. Robinson J. A. Voronkov (eds.) Handbook of Automated Reasoning, Vols. 1, 2, Amsterdam: Elsevier, 1998.
- 12 D. Gabbay Classical vs non-classical logics (the universality of classical logic), in D. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 2, Deduction Methodologies, London: Oxford Univ. Press, 1994, Chap. 6, pp. 359–500.
- 13 M. L. Ginsberg AI and nonmonotonic reasoning, in D. Gabbay, C. J. Hogger, and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic and Uncertain Reasoning, London: Oxford Univ. Press, 1994, Chapter 2, pp. 1–34.
- 14 M. Ryan M. Sadler Valuation systems and consequence relations, in Handbook of Logic in Computer Science, London: Oxford Univ. Press, 1992, Vol. 1, Chap. 1, pp. 1–78.
- 15 G. Brewka J. Dix Knowledge representation with extended logic programs, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd ed., Vol. 6, Chap. 6, Dordrecht, The Netherlands: Reidel, 1998.
- 16 G. Brewka J. Dix K. Konolige Nonmonotonic Reasoning: An Overview, CSLI Lect. Notes 73, Stanford, CA: CSLI Publications, 1997.
Wiley Encyclopedia of Electrical and Electronics Engineering
Browse other articles of this reference work:
