The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming
From International Center for Computational Logic
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
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}
}
