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

Ringo BaumannRingo Baumann, Hannes StraßHannes Straß

Download

Ringo Baumann, Hannes Straß
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms
Proceedings of the Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 525--528, May 2016. AAAI Press

Details
Bibtex

@inproceedings{BS2016,
  author    = {Ringo Baumann and Hannes Stra{\ss}},
  title     = {An Abstract Logical Approach to Characterizing Strong Equivalence
               in Logic-based Knowledge Representation Formalisms},
  booktitle = {Proceedings of the Fifteenth International Conference on the
               Principles of Knowledge Representation and Reasoning (KR)},
  publisher = {AAAI Press},
  year      = {2016},
  month     = {May},
  pages     = {525--528}
}