Inproceedings643709241

PublikationenPublications

• Nach AutorBy Author
  • Hannes StraßHannes Straß
• Nach ForschungsgruppeBy Research Group

Toggle side column

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