Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)
Book title Buchtitel
Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
LNAI 4483
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fink, Michael ; Pichler, Reinhard ; Tompits, Hans ; Woltran, Stefan ; Baral, Chitta ; Brewka, Gerd ; Schlipf, John | Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains | Konferenzbeitrag Inproceedings  | 2007 |