Cover Image

Commonsense reasoning /

Show other versions (2)

To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. I...

Full description

Bibliographic Details
Main Author:	Mueller, Erik T.
Format:	eBook
Language:	English
Published:	Amsterdam ; Boston : Elsevier Morgan Kaufmann, [2006]
Subjects:	Commonsense reasoning > Automation. Artificial intelligence > Mathematics. Logic, Symbolic and mathematical > Data processing. Electronic books.
Online Access:	Connect to the full text of this electronic book Table of contents only Publisher description

Similar Items

Commonsense reasoning /
by: Mueller, Erik T.
Published: (2006)

Commonsense reasoning /
by: Mueller, Erik T.
Published: (2006)

Commonsense reasoning : an event calculus-based approach /
by: Mueller, Erik T.
Published: (2014)

Inheritance theory : an artificial intelligence approach /
by: Al-Asady, Raad
Published: (1995)

Integrating rules and connectionism for robust commonsense reasoning /
by: Sun, Ron, 1960-
Published: (1994)

Inheritance theory : an artificial intelligence approach /
by: Al-Asady, Raad
Published: (1995)

Computational issues of nonmonotonic reasoning /
by: Sanders, Leslie Kent
Published: (1993)

Representations of commonsense knowledge /
by: Davis, Ernest
Published: (1990)

Readings in nonmonotonic reasoning /
Published: (1987)

Understanding reality : a commonsense theory of the original cause /
by: Hlatky, Stefan
Published: (1999)

The Phenomenon of commonsense reasoning : nonmonoticity, action and information /
by: Thanassas, Dimitrios, 1964-
Published: (1992)

For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning /
by: Levi, Isaac, 1930-
Published: (1996)

Agents and multi-agent systems : formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 /
Published: (1998)

Simply logical : intelligent reasoning by example /
by: Flach, Peter A.
Published: (1994)

Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13-15, 1988 : proceedings /
Published: (1989)

Formal methods in artificial intelligence /
by: Ramsay, Allan, 1953-
Published: (1988)

Case-based reasoning research and development : 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011 : proceedings /
Published: (2011)

Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /
Published: (2005)

Agents and multi-agent systems : formalisms, methodologies, and applications : based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997 /
Published: (1998)

Non-monotonic reasoning : formalization of commonsense reasoning /
by: Łukaszewicz, Witold
Published: (1990)

Mathematical reasoning.
by: Harnadek, Anita E.
Published: (1969)

Case-based reasoning : a concise introduction /
by: López, Beatriz
Published: (2013)

Reasoning with complex cases /
Published: (1997)

Mathematical reasoning : analogies, metaphors, and images /
Published: (1997)

Case-based reasoning research and development : 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings /
Published: (2010)

Case-based reasoning research and development : 8th International Conference on Case-Based Reasoning, ICCBR 2009, Seattle, WA, USA, July 20-23, 2009 : proceedings /
Published: (2009)

Handbook of Tableau Methods /
by: D'Agostino, Marcello
Published: (1999)

Representing and reasoning with probabilistic knowledge : a logical approach to probabilities /
by: Bacchus, Fahiem
Published: (1990)

Reasoning with Actual and Potential Contradictions /
by: Besnard, Philippe
Published: (1998)

Handbook of Defeasible Reasoning and Uncertainty Management Systems : Algorithms for Uncertainty and Defeasible Reasoning /
by: Kohlas, Jürg
Published: (2000)

Fuzzy Sets in Approximate Reasoning and Information Systems /
by: Bezdek, James C.
Published: (1999)

Case-based approximate reasoning /
by: Hüllermeier, Eyke
Published: (2007)

Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina /
Published: (1989)

Theoretical aspects of rationality and knowledge : proceedings of the ... conference (TARK).

Mathematical reasoning : patterns, problems, conjectures, and proofs /
by: Nickerson, Raymond S.
Published: (2010)

Fuzzy Sets, Logics and Reasoning about Knowledge /
by: Dubois, Didier
Published: (1999)

Successful case-based reasoning applications.
Published: (2010)

Automated Deduction - A Basis for Applications : Volume III Applications /
by: Bibel, Wolfgang
Published: (1998)

Automated Deduction - A Basis for Applications : Volume II: Systems and Implementation Techniques /
by: Bibel, Wolfgang
Published: (1998)

Theoretical aspects of reasoning about knowledge : proceedings of the ... conference.
Published: (1986)