Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Handbook of knowledge representation [Texte électronique] / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen

Édition : 1st ed.

Publication : Amsterdam ; Boston : Elsevier, 2008

Description matérielle : 1 ressource dématérialisée

Collection : Foundations of artificial intelligence

Note(s) : Includes bibliographical references and index
Knowledge representation, which lies at the core of artificial intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. The aims are to help readers make their computer smarter, handle qualitative and uncertain information, and improve computational tractability

Autre(s) auteur(s) : Porter, Bruce (1956-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Lifschitz, Vladimir. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Van Harmelen, Frank. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Représentation des connaissances  Voir les notices liées en tant que sujet
Raisonnement  Voir les notices liées en tant que sujet

Indice(s) Dewey :  006.332 (23e éd.) = Représentation des connaissances (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780444522115

Identifiant de la notice  : ark:/12148/cb44646842g

Notice n° :  FRBNF44646842 (notice reprise d'un réservoir extérieur)

Table des matières : Knowledge representation and classical logic / Vladimir Lifschitz, Leora Morgenstern, and David Plaisted ; Satisfiability solvers / Carla P. Gomes [and others] ; 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 K