artificial foundations intelligence contributions

books:

Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter (Artificial Intelligence)

Springer, 1999

This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods for characterizing intelligent behaviors of agents, knowledge-based systems and processes in terms of reasoning about the environment, actions, and activities that are capable of changing the current state. The book deals with commonsense reasoning, in particular with ...

The 2005 AAAI Classic Paper awards.: An article from: AI Magazine
Tom Mitchell, Hector Levesque

Thomson Gale, 2005

This digital document is an article from AI Magazine, published by Thomson Gale on December 22, 2005. The length of the article is 1533 words. The page length shown above is based on a typical 300-word page. The article is delivered in HTML format and is available in your Amazon.com Digital Locker immediately after purchase. You can view it with any web browser. Citation Details Title: The 2005 AAAI Classic Paper awards. Author: Tom ...

Knowledge Representation and Reasoning (The Morgan Kaufmann Series in Artificial Intelligence) (The Morgan ...

3 reviews
Ronald Brachman, Hector Levesque

Morgan Kaufmann, 2004

This book is an Eye-Opener!
I love this book- It is a comprehensive introduction into knowledge representation, with enough detail to create your own knowledge representation programs. Are you a programmer who wonders what it really means when an object *IS* another object, in the form of inheritance found in object-oriented systems? Ever confused by the nuances of multiple inheritance? Ever wonder what XML or OOP or ...

The Logic of Knowledge Bases
Hector J. Levesque, Gerhard Lakemeyer

The MIT Press, 2001

The idea of knowledge bases lies at the heart of symbolic, or "traditional," artificial intelligence. A knowledge-based system decides how to act by running formal reasoning procedures over a body of explicitly represented knowledge?a knowledge base. The system is not programmed for specific tasks; rather, it is told what it needs to know and expected to infer the rest. This book is about the logic of such knowledge bases. It describes in ...

Knowledge Representation (Special Issues of Artificial Intelligence)

The MIT Press, 1992

Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and ...