Harmelen, Frank Van Ed. <br/><br/>
Handbook of Knowledge Representation / 
Frank Van Harmelen Ed. 
 - 1st ed. 
 - Amsterdam ;  Boston :  Elsevier,  2008. 
 - xxviii, 1005 p. :  ill. ;  25 cm. 
 - Foundations of artificial intelligence .
<br/><br/>Includes bibliographical references and index. 
<br/><br/>Knowledge representation and classical logic / Vladimir Lifschitz, Leora Morgenstern, and David Plaisted -- Satisfiability solvers / Carla P. Gomes ... [et al.] -- Description logics / Franz Baader, Ian Horrocks, and Ulrike Sattler -- Constraint programming / Francesca Rossi, Peter van Beek, and Toby Walsh -- Conceptual graphs / John F. Sowa -- Nonmonotonic reasoning / Gerhard Brewka, Ilkka Niemelä, and Mirosław Truszczyński -- Answer sets / Michael Gelfond -- Belief revision / Pavlos Peppas -- Qualitative modeling / Kenneth D. Forbus -- Model-based problem solving / Peter Struss -- Bayesian networks / Adnan Darwiche -- Temporal representation and reasoning / Michael Fisher -- Qualitative spatial representation and reasoning / Anthony G. Cohn and Jochen Renz -- Physical reasoning / Ernest Davis -- Reasoning about knowledge and belief / Yoram Moses -- Situation calculus / Fangzhen Lin -- Event calculus / Erik T. Mueller -- Temporal action logics / Patrick Doherty and Jonas Kvarnström -- Nonmonotonic causal logic / Hudson Turner -- Knowledge representation and question answering / Marcello Balduccini, Chitta Baral, and Yuliya Lierler -- The semantic web : webizing knowledge representation / Jim Hendler and Frank van Harmelen -- Automated planning / Alessandro Cimatti, Marco Pistore, and Paolo Traverso -- Cognitive robotics / Hector Levesque and Gerhard Lakemeyer -- Multi-agent systems / Wiebe van der Hoek and Michael Wooldridge -- Knowledge engineering / Guus Schreiber. 
<br/><br/><label>ISBN: </label>9780444522115 (hbk.) 0444522115 (hbk.) 
<br/><br/><label>LCCN: </label>2010293026 
<br/><br/><label>Nat. Bib. No.: </label>GBA772777  bnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>013888489  Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Knowledge representation (Information theory)<br/>Représentation des connaissances.
<br/><br/><label>LC Class. No.: </label>Q387  / .H35 2008 
<br/><br/><label>Dewey Class. No.: </label>006.332 HAR