Integrating Description Logics and Action Formalisms: First Results

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/aaai/BaaderLMSW05, title={Integrating Description Logics and Action Formalisms: First Results}, pages={572-577}, year={2005}, crossref={DBLP:conf/aaai/2005}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2005.html#BaaderLMSW05}, author={Franz Baader and Carsten Lutz and Maja Milicic and Ulrike Sattler and Frank Wolter} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Integrating_Description_Logics_and_Action_Formalisms:_First_Results"
Personal tools