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

From International Center for Computational Logic

Toggle side column

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

Ringo BaumannRingo Baumann,  Hannes StraßHannes Straß
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
    @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}
    }