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
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph ; Hanus, Michael ; Rocha, Ricardo hex-Programs with Existential QuantificationKonferenzbeitrag Inproceedings 2014
2Berger, Gerald ; Tompits, Hans ; Hanus, Michael ; Rocha, Ricardo On Axiomatic Rejection for the Description Logic ALCKonferenzbeitrag Inproceedings 2013