Defaults in Action: Non-monotonic Reasoning About States in Action Calculi

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

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

Defaults in Action: Non-monotonic Reasoning About States in Action Calculi

Hannes StraßHannes Straß,  Michael ThielscherMichael Thielscher
Hannes Straß, Michael Thielscher
Defaults in Action: Non-monotonic Reasoning About States in Action Calculi
In G. Lakemeyer and L. Morgenstern and M.-A. Williams, eds., Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, 123--128,  2009
    @inproceedings{ST2009,
      author    = {Hannes Stra{\ss} and Michael Thielscher},
      title     = {Defaults in Action: Non-monotonic Reasoning About States in
                   Action Calculi},
      editor    = {G. Lakemeyer and L. Morgenstern and M.-A. Williams},
      booktitle = {Proceedings of the Ninth International Symposium on Logical
                   Formalizations of Commonsense Reasoning},
      year      = {2009},
      pages     = {123--128}
    }