Handbook of Knowledge Representation
Frank van Harmelen, Vladimir Lifschitz, Bruce Porter
Elsevier, Jan 8, 2008 - Computers - 1034 pages
Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically.
The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field.
This book is an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence.
* Make your computer smarter
* Handle qualitative and uncertain information
* Improve computational tractability to solve your problems easily
action agent algorithm answer set applications approach Artificial Intelligence autoepistemic logic Automated axioms Bayesian network behavior belief revision belief set Boolean causal theory circumscription clause complete components Computer Science concept Conference on Artificial consistent constraint programming constraints default logic defined definition description logics diagnosis domain dynamic editors epistemic equivalent event calculus example fault finite first-order logic fluent formal formula function goal graph inference instance Knowledge Representation language Lecture Notes Lifschitz Logic Programming methods minimal modal modal logic Morgan Kaufmann node nonmonotonic ontology planning possible predicate problem Proc Proceedings proof properties propositional qualitative quantifiers relations represent Representation and Reasoning revision rewriting robot rules SAT solvers satisfiability Section Semantic Web semantics sentence situation calculus solution spatial specification Springer structure subset TBox techniques temporal logic theorem proving timepoint tion variables