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

From International Center for Computational Logic

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), June 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},
      month     = {June}
    }