Item Details

Print View

Handbook of Knowledge Representation [electronic resource]

edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen
Format
EBook; Book; Online
Published
Amsterdam ; Boston : Elsevier, 2008.
Edition
1st ed
Language
English
Series
Foundations of Artificial Intelligence
ISBN
9780444522115 (hbk.), 0444522115 (hbk.)
Contents
  • 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.
Description
Mode of access: World wide Web.
Notes
Includes bibliographical references and index.
Copyright Not EvaluatedCopyright Not Evaluated
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 03020nam a22004334a 4500
    001 u5815356
    003 SIRSI
    005 20121008060531.0
    006 m d
    007 cr n
    008 100427s2007 ne a sb 001 0 eng d
    010
      
      
    a| 2010293026
    015
      
      
    a| GBA772777 2| bnb
    016
    7
      
    a| 013888489 2| Uk
    020
      
      
    a| 9780444522115 (hbk.)
    020
      
      
    a| 0444522115 (hbk.)
    035
      
      
    a| (Sirsi) ssj0000167755
    035
      
      
    a| (WaSeSS)ssj0000167755
    040
      
      
    a| UKM c| UKM d| BTCTA d| YDXCP d| BAKER d| OHX d| TXA d| CDX d| AU@ d| U9S d| OKU d| DLC d| WaSeSS
    042
      
      
    a| ukblcatcopy a| lccopycat
    050
    0
    0
    a| Q387 b| .H35 2008
    055
      
    4
    a| Q 387 H236 2008
    082
    0
    4
    a| 006.332 2| 22
    245
    0
    0
    a| Handbook of knowledge representation h| [electronic resource] / c| edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen.
    250
      
      
    a| 1st ed.
    260
      
      
    a| Amsterdam ; a| Boston : b| Elsevier, c| 2008.
    490
    0
      
    a| Foundations of artificial intelligence
    504
      
      
    a| Includes bibliographical references and index.
    505
    0
      
    a| 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.
    538
      
      
    a| Mode of access: World wide Web.
    650
      
    0
    a| Knowledge representation (Information theory)
    655
      
    0
    a| Electronic books.
    700
    1
      
    a| Porter, Bruce, d| 1956-
    700
    1
      
    a| Lifschitz, Vladimir.
    700
    1
      
    a| Van Harmelen, Frank.
    710
    2
      
    a| Safari Books Online
    856
    4
    0
    u| http://RE5QY4SB7X.search.serialssolutions.com/?V=1.0&L=RE5QY4SB7X&S=JCs&C=TC0000167755&T=marc
    596
      
      
    a| 1
    999
      
      
    a| Q387 .H35 2008 w| LCPER i| 5815356-1001 l| INTERNET m| UVA-LIB t| INTERNET
▾See more
▴See less

Availability

Google Preview

Google Books Preview

Read Online