DMCA

Logical Foundations for Reasoning about Transformations of Knowledge Bases

by Mohamed Chaabani , Rachid Echahed , Martin Strecker