Boosting the Correspondence Between Description Logics and Propositional Dynamic Logics

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/}
}