The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming

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

The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming

Hannes StraßHannes Straß
Hannes Straß
The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming
In Riccardo Rosati and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR),  2012
    @inproceedings{S2012,
      author    = {Hannes Stra{\ss}},
      title     = {The draculasp System: Default Reasoning about Actions and Change
                   Using Logic and Answer Set Programming},
      editor    = {Riccardo Rosati and Stefan Woltran},
      booktitle = {Proceedings of the Fourteenth International Workshop on
                   Non-Monotonic Reasoning (NMR)},
      year      = {2012}
    }