Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
Book title Buchtitel
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary
Editor Herausgeber_in
Publisher Herausgeber
CoRR - Computing Research Repository
Place of publishing Erscheinungsort
arXiv:1301.1390v1
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Schüller, Peter ; Fink, Michael ; Lierler, Yuliya | Eliminating Unfounded Set Checking for HEX-Programs | Konferenzbeitrag Inproceedings  | 2012 |