%0 Conference Paper %1 conf/aaai/KutzM11 %A Kutz, Oliver %A Mossakowski, Till %B AAAI %D 2011 %E Burgard, Wolfram %E Roth, Dan %I AAAI Press %K %T A Modular Consistency Proof for DOLCE. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2011.html#KutzM11

@inproceedings{conf/aaai/KutzM11, added-at = {2023-12-13T00:28:25.000+0100}, author = {Kutz, Oliver and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/22606d5d35fae9cb772090f3f8702e5bb/admin}, booktitle = {AAAI}, crossref = {conf/aaai/2011}, editor = {Burgard, Wolfram and Roth, Dan}, ee = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3754}, interhash = {63d5715550feaef819643ec998620dc2}, intrahash = {2606d5d35fae9cb772090f3f8702e5bb}, keywords = {}, publisher = {AAAI Press}, timestamp = {2023-12-13T00:28:25.000+0100}, title = {A Modular Consistency Proof for DOLCE.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2011.html#KutzM11}, year = 2011 }