ML Anthology

Integrating Description Logics and Action Formalisms: First Results

Franz Baader, Carsten Lutz, Maja Milicic, Ulrike Sattler, Frank Wolter
AAAI 2005 pp. 572-577
/aaai/2005/baader2005aaai-integrating/
PDF AAAI Semantic Scholar

Cite

Text

Baader et al. "Integrating Description Logics and Action Formalisms: First Results." AAAI Conference on Artificial Intelligence, 2005.

Markdown

[Baader et al. "Integrating Description Logics and Action Formalisms: First Results." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/baader2005aaai-integrating/)

BibTeX

@inproceedings{baader2005aaai-integrating,
  title     = {{Integrating Description Logics and Action Formalisms: First Results}},
  author    = {Baader, Franz and Lutz, Carsten and Milicic, Maja and Sattler, Ulrike and Wolter, Frank},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {572-577},
  url       = {https://mlanthology.org/aaai/2005/baader2005aaai-integrating/}
}