Workshop on Grounding and Transformations for Theories With Variables (GTTV)
Event name
Workshop on Grounding and Transformations for Theories With Variables (GTTV)
Event type
Event for scientific audience
Start date
15-09-2013
Location
Corunna, Spain
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Pieris, Andreas | Default Negation for Datalog+/- | Präsentation Presentation | 2013 | |
| 2 | 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 | |
| 3 | Weinzierl, Antonius ; Pearce, David ; Tasharrofi, Shahab ; Ternovska, Eugenia ; Vidal, Concepción | Learning Non-Ground Rules for Answer-Set Solving | Konferenzbeitrag Inproceedings | 2013 |