An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms

Ringo Baumann, Hannes Strass. An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. In Chitta Baral, James P. Delgrande, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. pages 525-528, AAAI Press, 2016. [doi]

Abstract

Abstract is missing.