ML Anthology

Boosting the Correspondence Between Description Logics and Propositional Dynamic Logics

Giuseppe De Giacomo, Maurizio Lenzerini
AAAI 1994 pp. 205-212
/aaai/1994/giacomo1994aaai-boosting/
PDF AAAI Semantic Scholar

Cite

Text

De Giacomo and Lenzerini. "Boosting the Correspondence Between Description Logics and Propositional Dynamic Logics." AAAI Conference on Artificial Intelligence, 1994.

Markdown

[De Giacomo and Lenzerini. "Boosting the Correspondence Between Description Logics and Propositional Dynamic Logics." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/giacomo1994aaai-boosting/)

BibTeX

@inproceedings{giacomo1994aaai-boosting,
  title     = {{Boosting the Correspondence Between Description Logics and Propositional Dynamic Logics}},
  author    = {De Giacomo, Giuseppe and Lenzerini, Maurizio},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {205-212},
  url       = {https://mlanthology.org/aaai/1994/giacomo1994aaai-boosting/}
}