2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV'13)
Book title Buchtitel
2nd Workshop on Grounding and Transformations for Theories With Variables (GTTV'13)
Editor Herausgeber_in
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Pearce, David ; Tasharrofi, Shahab ; Ternovska, Eugenia ; Vidal, Concepción | Grounding HEX-Programs with Expanding Domains | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Weinzierl, Antonius ; Pearce, David ; Tasharrofi, Shahab ; Ternovska, Eugenia ; Vidal, Concepción | Learning Non-Ground Rules for Answer-Set Solving | Konferenzbeitrag Inproceedings | 2013 |