„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“.

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
, 525--528, 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},
  publisher = {AAAI Press},
  year      = {2016},
  pages     = {525--528}
}