20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013)
Event name
20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013)
Start date
11-09-2013
End date
13-09-2013
Location
Kiel, Deutschland
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Hanus, Michael ; Rocha, Ricardo | hex-Programs with Existential Quantification | Konferenzbeitrag Inproceedings  | 2014 | |
| 2 | Berger, Gerald ; Tompits, Hans ; Hanus, Michael ; Rocha, Ricardo | On Axiomatic Rejection for the Description Logic ALC | Konferenzbeitrag Inproceedings | 2013 |