top

Boosting the correspondence between description logics and propositional dynamic logics

G. De Giacomo and M. Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proc. 12th National Conference on Artificial Intelligence (AAAI'94), pp. 205–212, 1994.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{giacomo94:_boost,
  author = {G. De Giacomo and M. Lenzerini},
  title = {Boosting the correspondence between description logics and propositional
	dynamic logics},
  booktitle = {Proc. 12th National Conference on Artificial Intelligence (AAAI'94)},
  year = {1994},
  pages = {205--212},
}

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