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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

„May“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.

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,  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},
      pages     = {525--528}
    }