Integrating Description Logics and Action Formalisms: First Results

Cite this paper

@inproceedings{Baader2005IntegratingDL, title={Integrating Description Logics and Action Formalisms: First Results}, author={Franz Baader and Maja Milicic Brandt and Carsten Lutz and Ulrike Sattler and Frank Wolter}, booktitle={Description Logics}, year={2005} }