Mohamed Chaabani, Rachid Echahed, Martin Strecker. Logical Foundations for Reasoning about Transformations of Knowledge Bases. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, editors, Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013. Volume 1000 of CEUR Workshop Proceedings, pages 521-532, CEUR-WS.org, 2013. [doi]
Abstract is missing.