BibTeX record conf/aaai/BaaderLMSW05

download as .bib file

@inproceedings{DBLP:conf/aaai/BaaderLMSW05,
  author       = {Franz Baader and
                  Carsten Lutz and
                  Maja Milicic and
                  Ulrike Sattler and
                  Frank Wolter},
  editor       = {Manuela M. Veloso and
                  Subbarao Kambhampati},
  title        = {Integrating Description Logics and Action Formalisms: First Results},
  booktitle    = {Proceedings, The Twentieth National Conference on Artificial Intelligence
                  and the Seventeenth Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {572--577},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2005},
  url          = {http://www.aaai.org/Library/AAAI/2005/aaai05-089.php},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BaaderLMSW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics