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

Hannes StraßHannes Straß

Download

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

Details
Bibtex

@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}
}