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

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

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, June 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},
      month     = {June},
      pages     = {123--128}
    }