Matches in Library of Congress for { <http://lccn.loc.gov/2010293026> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2010293026 contributor B11821014.
- 2010293026 created "2008.".
- 2010293026 date "2007".
- 2010293026 date "2008.".
- 2010293026 dateCopyrighted "2008.".
- 2010293026 description "Includes bibliographical references and index.".
- 2010293026 description "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.".
- 2010293026 extent "xxviii, 1005 p. :".
- 2010293026 identifier "0444522115 (hbk.)".
- 2010293026 identifier "9780444522115 (hbk.)".
- 2010293026 isPartOf "Foundations of artificial intelligence".
- 2010293026 issued "2007".
- 2010293026 issued "2008.".
- 2010293026 language "eng".
- 2010293026 publisher "Amsterdam ; Boston : Elsevier,".
- 2010293026 subject "006.332 22".
- 2010293026 subject "Knowledge representation (Information theory)".
- 2010293026 subject "Q387 .H35 2008".
- 2010293026 subject "Représentation des connaissances.".
- 2010293026 tableOfContents "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.".
- 2010293026 title "Handbook of knowledge representation / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen.".
- 2010293026 type "text".