top

Decidability of class-based knowledge representation formalisms

G. De Giacomo. Decidability of class-based knowledge representation formalisms. Ph.D. Thesis, Universitá di Roma ``La Sapienza'', 1995.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@PHDTHESIS{giacomo95:_decid,
  author = {G. De Giacomo},
  title = {Decidability of class-based knowledge representation formalisms},
  school = {Universit{\'a} di Roma ``La Sapienza''},
  year = {1995},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33