Logical Foundations for Reasoning about Transformations of Knowledge Bases.

Mohamed Chaabani, Rachid Echahed, Martin Strecker

Browse the full ICTERI paper archive.