Alessandro Artale, Carsten Lutz, David Toman. A Description Logic of Change. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 218-223, 2007. [doi]
@inproceedings{ArtaleLT07, title = {A Description Logic of Change}, author = {Alessandro Artale and Carsten Lutz and David Toman}, year = {2007}, url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-033.pdf}, tags = {logic}, researchr = {https://researchr.org/publication/ArtaleLT07}, cites = {0}, citedby = {0}, pages = {218-223}, booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}, editor = {Manuela M. Veloso}, }