Vai al contenuto principale della pagina

The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.]



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: The description logic handbook [[electronic resource] ] : theory, implementation, and applications / / edited by Franz Baader ... [et al.] Visualizza cluster
Pubblicazione: Cambridge, UK ; ; New York, : Cambridge University Press, 2003
Descrizione fisica: 1 online resource (575 p.)
Disciplina: 006.3/32
Soggetto topico: Description logics
Soggetto genere / forma: Electronic books.
Altri autori: BaaderFranz  
Note generali: Description based upon print version of record.
Nota di bibliografia: Includes bibliographical references (p. 496-545) and index.
Nota di contenuto: Cover; Half-title; Title; Copyright; Contents; Contributors; Preface; 1 An Introduction to Description Logics; Part I Theory; Part II Implementation; Part III Applications; Appendix Description Logic Terminology; Bibliography; Index
Sommario/riassunto: The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide.
Titolo autorizzato: The description logic handbook  Visualizza cluster
ISBN: 1-107-12924-9
1-280-41799-4
9786610417995
1-139-13014-5
0-511-17880-8
1-139-14649-1
0-511-06694-5
0-511-06063-7
0-511-06907-3
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910450526303321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Knowledge representation and reasoning [[electronic resource] /] / Ronald J. Brachman, Hector J. Levesque
Brachman Ronald J. <1949->
Formal ontology in information systems [[electronic resource] ] : proceedings of the fourth international conference (FOIS 2006) / / edited by Brandon Bennett, Christiane Fellbaum
Practical ontologies for information professionals / / David Stuart [[electronic resource]]
Stuart David (David Patrick)
Conceptual Structures: Fulfilling Peirce's Dream [[electronic resource] ] : Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. / / edited by Dickson Lukose, Harry Delugach, Mary Keeler, Leroy Searle, John Sowa
Spatial Cognition II [[electronic resource] ] : Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications / / edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender
Spatial Cognition VII [[electronic resource] ] : International Conference, Spatial Cognition 2010, Mt. Hood/Portland, OR, USA, August 15-19,02010, Proceedings / / edited by Christoph Hölscher, Thomas F. Shipley, Marta Olivetti Belardinelli, John A Bateman, Nora S Newcombe
Integrated Uncertainty in Knowledge Modelling and Decision Making [[electronic resource] ] : International Symposium, IUKM 2011, Hangzhou, China, October 28-30, 2011, Proceedings / / edited by Yongchuan Tang, Van-Nam Huynh, Jonathan Lawry
Non-Standard Inferences in Description Logics [[electronic resource] ] : From Foundations and Definitions to Algorithms and Analysis / / by Ralf Küsters
Küsters Ralf
Part-Whole Reasoning in an Object-Centered Framework [[electronic resource] /] / by Patrick Lambrix
Lambrix Patrick
Spatial Cognition III [[electronic resource] ] : Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Learning / / edited by Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender