Inproceedings2723726049

PublikationenPublications

• Nach AutorBy Author
  • Hannes StraßHannes Straß
• Nach ForschungsgruppeBy Research Group

Toggle side column

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}
}