Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track
Book title Buchtitel
Proceedings 11th International Workshop on Nonmonotonic Reasoning (NMR-2006), Reasoning About Actions and Change Track
Editor Herausgeber_in
Publisher Herausgeber
Institut fuer Informatik, TU Clausthal, Germany.
Place of publishing Erscheinungsort
IfI-06-04
Results 1-2 of 2 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Eiter, Thomas ; Wang, Kewen ; Dix, Jürgen ; Hunter, Anthony | Forgetting and Conflict Resolving in Disjunctive Logic Programming | Konferenzbeitrag Inproceedings | 2006 | |
2 | Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan ; Dix, Jürgen ; Hunter, Anthony | Resolving Conflicts in Action Descriptions | Konferenzbeitrag Inproceedings | 2006 |