Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.] Visualizza cluster
Pubblicazione: Cambridge ; New York : Cambridge University Press, 2007
Edizione: 2nd ed.
Descrizione fisica: xix, 601 p. : ill. ; 26 cm
Disciplina: 006.332
Soggetto topico: Description logics - Handbooks, manuals, etc
Altri autori: Baader, Franz  
Calvanese, Diego  
McGuinness, Deborah L.  
Nardi, Daniele  
Patel-Schneider, Peter F.  
Nota di bibliografia: Includes bibliographical references (p. 537-591) and index
ISBN: 9780521876254
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 991000146489707536
Lo trovi qui: Univ. del Salento
Localizzazioni e accesso elettronico http://catdir.loc.gov/catdir/enhancements/fy0808/2008270159-t.html
Opac: Controlla la disponibilità qui
The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]
The logic of knowledge bases / Hector J. Levesque, Gerhard Lakemeyer
Levesque, Hector Joseph <1951- >
Conditionals, information, and inference : International workshop, WCII 2002 : Hagen, Germany, May 13-15, 2002 : Revised Selected Papers / Gabriele Kern-Isberner... [et al.] (Eds.)
KERN-ISBERNER, Gabriele
Spatial cognition III : routes and navigation, human memory and learning, spatial representation and spatial learning / Christian Fraksa ... [et al.] (Eds.)
FRAKSA, Christian
Spatial cognition VI : Learning, reasoning and talking about space : International conference spatial cognition 2008 : Freiburg, Germany, September 15-19, 2008 : Proceedings / Christian Freksa... [et al.] (Eds.)
FREKSA, Christian