Startsida
Hjälp
Sök i LIBRIS databas

     

 

Sökning: onr:13928707 > Handbook of knowled...

Handbook of knowledge representation / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen.

Porter, Bruce, 1956-
Lifschitz, Vladimir. 
Van Harmelen, Frank. 
ISBN 978-0-444-52211-5
1st ed.
Amsterdam ; Elsevier, 2008.
Engelska xxviii, 1005 p.
Serie: Foundations of artificial intelligence
  • Bok
Innehållsförteckning Ämnesord
Stäng  
  • 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 Truszczyn?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.

Ämnesord

Knowledge representation (Information theory)  (LCSH)
Représentation des connaissances.  (Vedettes-matière)

Klassifikation

Q387 (LCC)
Q 387 H236 2008 (LAC)
006.332 (DDC)
Pud (kssb/8 (machine generated))
Inställningar Hjälp

Titeln finns på 1 bibliotek. 

Bibliotek i Mellansverige (1)

Ange som favorit

Sök vidare

Hjälp
Fler titlar av
Porter, Bruce, 1956-
Lifschitz, Vladimir.
Van Harmelen, Frank.
Fler titlar om
Knowledge representa ...
Serie

Sök utanför LIBRIS

Hjälp
Om LIBRIS
Sekretess
Hjälp
Fel i posten?
Kontakt
Teknik och format
Sök utifrån
Sökrutor
Plug-ins
Bookmarklet
Anpassa
Textstorlek
Kontrast
Vyer
LIBRIS söktjänster
SwePub
Uppsök

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copyright © LIBRIS - Nationella bibliotekssystem

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy