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

Ringo Baumann, Hannes Strass

Browse the full KR paper archive.