Readings in nonmonotonic reasoning

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Readings in nonmonotonic reasoning

Source

Readings in nonmonotonic reasoning

Pages: 481

Year of Publication: 1987

ISBN:0-934613-45-1

Editor

Matthew L. Ginsberg

Publisher

Morgan Kaufmann Publishers Inc. San Francisco, CA, USA

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 48

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Review this Divisible Book Save this Divisible Book to a Binder Display Formats: BibTeX EndNote ACM Ref

BOOK CONTENTS

Use the links below to download parts of the book or view the full citation.

	Some philosophical problems from the standpoint of artificial intelligence [full citation] J. McCarthy, P. J. Hayes
	Epistemological problems of artificial intelligence [full citation] J. McCarthy
	What's wrong with non-monotonic logic? [full citation] D. J. Israel
	On the consistency of commonsense reasoning [full citation] D. Perlis
	A logic for default reasoning [full citation] R. Reiter
	On interacting defaults [full citation] R. Reiter, G. Criscuolo
	On inheritance hierarchies with expections [full citation] D. W. Etherington, R. Reiter
	Implicit ordering of defaults in inheritance systems [full citation] D. S. Touretzky
	Non-monotonic logic I [full citation] D. McDermott, J. Doyle
	Semantical considerations on nonmonotonic logic [full citation] R. Moore
	Possible-world semantics for autoepistemic logic [full citation] R. Moore
	Circumscription—a form of non-monotonic reasoning [full citation] J. McCarthy
	Applications of circumscription to formalizing common-sense knowledge [full citation] J. McCarthy
	Computing circumscription [full citation] V. Lifschitz
	On the adequacy of predicate circumscription for closed-world reasoning [full citation] D. W. Etherington, R. E. Mercer, R. Reiter
	Pointwise circumscription [full citation] V. Lifschitz
	On the relation between default and autoepistemic logic [full citation] K Konolige
	A semantical approach to nonmonotonic logics [full citation] Y. Shoham
	Multi-valued logics [full citation] M. L. Ginsberg
	A truth maintenance system [full citation] J. Doyle
	An assumption-based TMS [full citation] J. de Kleer
	On closed world data bases [full citation] R. Reiter
	Negation as failure [full citation] K. L. Clark
	On indefinite databases and the closed world assumption [full citation] J. Minker
	Colsed-world databases and circumscription [full citation] V. Lifschitz
	On the declarative semantics of logic programs with negation [full citation] V. Lifschitz
	A theory of diagnosis from first principles [full citation] R. Reiter
	Diagnosing multiple faults [full citation] J. de Kleer, B. C. Williams
	Default reasoning, nonmonotonic logics, and the frame problem [full citation] S. Hanks, D. McDermott
	Chronological ignorance [full citation] Y Shoham
	Formal theories of action [full citation] V. Lifschitz
	Reasoning about action I: a possible worlds approach [full citation] M. L. Ginsberg, D. E. Smith
	Bibliography of literature on non-monotonic reasoning [full citation] D. Perlis

CITED BY 48

	Oren Etzioni , Daniel Weld, A softbot-based interface to the Internet, Communications of the ACM, v.37 n.7, p.72-76, July 1994
	L. Thorne McCarty, Some arguments about legal arguments, Proceedings of the 6th international conference on Artificial intelligence and law, p.215-224, June 30-July 03, 1997, Melbourne, Australia
	J. -H. You , X. Wang , L. -Y. Yuan, Nonmonotonic Reasoning as Prioritized Argumentation, IEEE Transactions on Knowledge and Data Engineering, v.13 n.6, p.968-979, November 2001
	Diego Calvanese , Moshe Y. Vardi , Giuseppe de Giacomo , Maurizio Lenzerini, View-based query processing for regular path queries with inverse, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.58-66, May 15-18, 2000, Dallas, Texas, United States
	Moshe Y. Vardi, Constraint satisfaction and database theory: a tutorial, Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.76-85, May 15-18, 2000, Dallas, Texas, United States
	Leslie G. Valiant, Rationality, Proceedings of the eighth annual conference on Computational learning theory, p.3-14, July 05-08, 1995, Santa Cruz, California, United States
	W. Amsbury , P. R. Harrison, Derivation from first principles of belief values generated in networks by message passing, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.131-137, February 21-23, 1989, Louisville, Kentucky
	Russell Greiner , Christian Darken , N. Iwan Santoso, Efficient reasoning, ACM Computing Surveys (CSUR), v.33 n.1, p.1-30, March 2001
	Arthur M. Farley , Kathleen Freeman, Burden of proof in legal argumentation, Proceedings of the 5th international conference on Artificial intelligence and law, p.156-164, May 21-24, 1995, College Park, Maryland, United States
	Don Perlis, The role(s) of belief in AI, Logic-based artificial intelligence, Kluwer Academic Publishers, Norwell, MA, 2000
	Ronen I. Brafman , Moshe Tennenholtz, An axiomatic treatment of three qualitative decision criteria, Journal of the ACM (JACM), v.47 n.3, p.452-482, May 2000
	Jeffrey J. P. Tsai , Thomas Weigert , Hung-Chin Jang, A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis, IEEE Transactions on Software Engineering, v.18 n.12, p.1076-1100, December 1992
	Anthony Finkelstein, Modeling the software process: “not waving but drowning” (panel session): representation schemes for modelling software development, Proceedings of the 11th international conference on Software engineering, p.402-404, May 1989, Pittsburgh, Pennsylvania, United States
	Plausibility measures and default reasoning, Journal of the ACM (JACM), v.48 n.4, p.648-685, July 2001
	A. Basu, A Knowledge Representation Model for Multiuser Knowledge-Based Systems, IEEE Transactions on Knowledge and Data Engineering, v.5 n.2, p.177-189, April 1993
	Leslie G. Valiant, Robust logics, Proceedings of the thirty-first annual ACM symposium on Theory of computing, p.642-651, May 01-04, 1999, Atlanta, Georgia, United States
	Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider, Bibliography, The description logic handbook: theory, implementation, and applications, Cambridge University Press, New York, NY, 2003
	Kwang Mong Sim, Bilattices and Reasoning in ArtificialIntelligence: Concepts and Foundations, Artificial Intelligence Review, v.15 n.3, p.219-240, May 2001
	Ashraf M. Abdelbar , Emad A. M. Andrews , Donald C. Wunsch, II, Abductive reasoning with recurrent neural networks, Neural Networks, v.16 n.5-6, p.665-673, June 2003
	Leslie G. Valiant, A neuroidal architecture for cognitive computation, Journal of the ACM (JACM), v.47 n.5, p.854-882, Sept. 2000
	Ronen I. Brafman , Nir Friedman, On decision-theoretic foundations for defaults, Artificial Intelligence, v.133 n.1-2, p.1-33, December 2001
	Jingde Cheng, Logical tool of knowledge engineering: using entailment logic rather than mathematical logic, Proceedings of the 19th annual conference on Computer Science, p.228-238, April 1991, San Antonio, Texas, United States
	T. J. Weigert , J. J. -P. Tsai, A Computationally Tractable Nonmonotonic Logic, IEEE Transactions on Knowledge and Data Engineering, v.6 n.1, p.57-63, February 1994
	Kevin B. Korb, Book review: An Introduction to Default Logic by Philippe Besnard (Springer Verlag, New York, 1989), ACM SIGART Bulletin, v.2 n.4, p.187-188, Aug. 1991
	Simon Parsons, Current Approaches to Handling Imperfect Information in Data and Knowledge Bases, IEEE Transactions on Knowledge and Data Engineering, v.8 n.3, p.353-372, June 1996
	R. R. Yager, Deductive Approximate Reasoning Systems, IEEE Transactions on Knowledge and Data Engineering, v.3 n.4, p.399-414, December 1991
	Lewis M. Norton , Deborah A. Dahl , Marcia C. Linebarger, Recent improvements and benchmark results for the Paramax ATIS system, Proceedings of the workshop on Speech and Natural Language, February 23-26, 1992, Harriman, New York
	W. Detmar Meurers , Guido Minnen, A computational treatment of lexical rules in HPSG as covariation in lexical entries, Computational Linguistics, v.23 n.4, p.543-568, December 1997
	Louis J. Hoebel, Book review: Readings in Planning Edited by James Allen, James Hendler, and Austin Tate (Morgan Kaufmann, San Mateo, CA, 1990), ACM SIGART Bulletin, v.2 n.4, p.185-186, Aug. 1991
	Ronald R. Yager, Knowledge trees and protoforms in question-answering systems: Special Topic Section on Soft Approaches to Information Retrieval and Information Access on the Web, Journal of the American Society for Information Science and Technology, v.57 n.4, p.550-563, February 2006
	Yann Loyer , Umberto Straccia, Any-world assumptions in logic programming, Theoretical Computer Science, v.342 n.2-3, p.351-381, 7 September 2005
	Ahmed Guessoum, Abductive Knowledge Base Updates for Contextual Reasoning, Journal of Intelligent Information Systems, v.11 n.1, p.41-67, Aug. 1, 1998
	Wiktor Marek , Mirosław Truszczyński, Autoepistemic logic, Journal of the ACM (JACM), v.38 n.3, p.587-618, July 1991
	Michael A. Covington, On designing a language for electronic commerce, International Journal of Electronic Commerce, v.1 n.4, p.31-47, June 1997
	R. R. Yager, Nonmonotonicity and Compatibility Relations in Belief Structures, Annals of Mathematics and Artificial Intelligence, v.34 n.1-3, p.161-176, March 2002
	Christian Esculier, Non-Monotonic Knowledge Evolution in VLKDBs, Proceedings of the 16th International Conference on Very Large Data Bases, p.638-649, August 13-16, 1990
	Quoc Bao Vo , Norman Y. Foo , Joe Thurbon, Semantics for a theory of defeasible reasoning, Annals of Mathematics and Artificial Intelligence, v.44 n.1-2, p.87-119, May 2005
	Thomas Sudkamp, Nonmonotonic logic, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Leora Morgenstern, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, Proceedings of the Fifteenth international joint conference on Artifical intelligence, p.1613-1621, August 23-29, 1997, Nagoya, Japan
	Andrew B. Baker , Matthew L. Ginsberg, Temporal projection and explanation, Proceedings of the 11th international joint conference on Artificial intelligence, p.906-911, August 20-25, 1989, Detroit, Michigan
	Eyal Amir , Allen Chang, Learning partially observable deterministic action models, Journal of Artificial Intelligence Research, v.33 n.1, p.349-402, September 2008
	Adam J. Grove , Joseph Y. Halpern , Daphne Koller, Random worlds and maximum entropy, Journal of Artificial Intelligence Research, v.2 n.1, p.33-88, August 1994
	Franz Baader , Bernhard Hollunder, How to prefer more specific defaults in terminological default logic, Proceedings of the 13th international joint conference on Artifical intelligence, p.669-674, August 28-September 03, 1993, Chambery, France
	Ronen I. Brafman , Nir Friedman, On decision theoretic foundations for defaults, Proceedings of the 14th international joint conference on Artificial intelligence, p.1458-1465, August 20-25, 1995, Montreal, Quebec, Canada
	Mark Steedman, Dynamic semantics for tense and aspect, Proceedings of the 14th international joint conference on Artificial intelligence, p.1292-1298, August 20-25, 1995, Montreal, Quebec, Canada
	Ronald R. Yager, On the representation of nonmoniomc relations in the theory of evidence, Proceedings of the 14th international joint conference on Artificial intelligence, p.1902-1907, August 20-25, 1995, Montreal, Quebec, Canada
	Joseph Y. Halpern, Plausibility measures: a general approach for representing uncertainty, Proceedings of the 17th international joint conference on Artificial intelligence, p.1474-1483, August 04-10, 2001, Seattle, WA, USA
	Jerzy Błaszczyński , Salvatore Greco , Roman Słowiński , Marcin Szelg, Monotonic Variable Consistency Rough Set Approaches, International Journal of Approximate Reasoning, v.50 n.7, p.979-999, July, 2009