Handbook of knowledge representation
Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation, written by...
Άλλοι συγγραφείς: | Van Harmelen, Frank., Lifschitz, Vladimir., Porter, Bruce, 1956- |
---|---|
Μορφή: | Ηλεκτρονική πηγή |
Γλώσσα: | English |
Στοιχεία έκδοσης: |
Amsterdam ; Boston :
Elsevier,
2008.
|
Έκδοση: | 1st ed. |
Σειρά: |
Foundations of artificial intelligence (Elsevier)
|
Θέματα: | |
Διαθέσιμο Online: |
http://www.sciencedirect.com/science/book/9780444522115 |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
LEADER | 03591cam a2200373 a 4500 | ||
---|---|---|---|
001 | 1/40089 | ||
008 | 100618s2008 ne 001 0 eng | ||
020 | |a 9780444522115 | ||
020 | |a 0444522115 | ||
020 | |a 9780080557021 (electronic bk.) | ||
020 | |a 0080557023 (electronic bk.) | ||
035 | |l 42831 | ||
040 | |a OPELS |b eng |c OPELS |d OPELS |d OCLCQ |d N$T |d YDXCP |d UMI |d DEBSZ |d GR-PeUP | ||
245 | 0 | 0 | |a Handbook of knowledge representation |h [electronic resource] / |c edited by Frank van Harmelen, Vladimir Lifschitz, Bruce Porter. |
250 | |a 1st ed. | ||
260 | |a Amsterdam ; |a Boston : |b Elsevier, |c 2008. | ||
300 | |a 1 online resource (xxviii, 1005 p.) : |b ill. | ||
490 | 1 | |a Foundations of artificial intelligence | |
520 | |a Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. This book is an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence. * Make your computer smarter * Handle qualitative and uncertain information * Improve computational tractability to solve your problems easily. | ||
504 | |a Includes bibliographical references and indexes. | ||
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, Ulrike Sattler -- Constraint programming / Francesca Rossi, Peter van Beek, Toby Walsh -- Conceptual graphs / John F. Sowa -- Nonmonotonic reasoning / Gerhard Brewka, Ilkka Niemelθa, Mirosław Truszczyβnski -- Answer sets / Michael Gelfond -- Belief revision / Pavlos Peppas -- Qualitative modeling / Kenneth D. Forbus -- Model-based problem solving / Peter Struss -- Bayesian networks / A. 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θom -- Nonmonotonic causal logic / H. Turner -- Knowledge representation and question answering / Marcello Balduccini, Chitta Baral, Yuliya Lierler -- The semantic web : webizing knowledge representation / Jim Hendler and Frank van Harmelen -- Automated planning / Alessandro Cimatti, Marco Pistore, Paolo Traverso -- Cognitive robotics / Hector Levesque and Gerhard Lakemeyer -- Multi-agent systems / Wiebe van der Hoek and Michael Wooldridge -- Knowledge engineering / Guus Schreiber. | |
650 | 4 | |a Knowledge Representation (Information Theory). | |
655 | 4 | |a Electronic books. | |
655 | 0 | |a Electronic books. | |
700 | 1 | |a Van Harmelen, Frank. | |
700 | 1 | |a Lifschitz, Vladimir. | |
700 | 1 | |a Porter, Bruce, |d 1956- | |
830 | 0 | |a Foundations of artificial intelligence (Elsevier) | |
852 | |a INST |b UNIPILB |c EBOOKS |e 20100618 |p 00b42831 |q 00b42831 |t ONLINE |y 0 | ||
856 | 4 | 0 | |3 ScienceDirect |u http://www.sciencedirect.com/science/book/9780444522115 |
856 | 4 | |d /webopac/covers/02/42831_9780444522115.jpg | |
856 | 4 | |d /webopac/covers/02/42831_0444522115.jpg | |
856 | 4 | |d /webopac/covers/02/42831_9780080557021.jpg |z (electronic bk.) | |
856 | 4 | |d /webopac/covers/02/42831_0080557023.jpg |z (electronic bk.) |