Item Details

Print View

Handbook of Knowledge Representation [electronic resource]

edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen
EBook; Book; Online
Amsterdam ; Boston : Elsevier, 2008.
1st ed
Foundations of artificial intelligence
9780444522115 (hbk.), 0444522115 (hbk.)
  • 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.
Mode of access: World wide Web.
Includes bibliographical references and index.
Technical Details
  • Access in Virgo Classic
  • Staff View


Read Online