15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
Event name
15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
Start date
25-04-2016
End date
29-04-2016
Location
Kapstadt
Country
Event format Veranstaltungsformat
On Site
Results 1-5 of 5 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Lukasiewicz, Thomas ; Predoiu, Livia ; Delgrande, James P. ; Wolter, Frank | Generalized Consistent Query Answering under Existential Rules | Konferenzbeitrag Inproceedings  | 2016 | |
| 2 | Delobelle, Jerome ; Haret, Adrian ; Konieczny, Sebastien ; Mailly, Jean-Guy ; Rossit, Julien ; Woltran, Stefan ; Baral, Chitta ; Delgrande, James P. ; Wolter, Frank | Merging of Abstract Argumentation Frameworks | Konferenzbeitrag Inproceedings | 2016 | |
| 3 | Giacomin, Massimiliano ; Linsbichler, Thomas ; Woltran, Stefan ; Baral, Chitta ; Delgrande, James P. ; Wolter, Frank | On the functional completeness of argumentation semantics | Konferenzbeitrag Inproceedings | 2016 | |
| 4 | de Haan, Ronald ; Szeider, Stefan | Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics | Konferenzbeitrag Inproceedings | 2016 | |
| 5 | Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian | Prompt Alternating-Time Epistemic Logics | Konferenzbeitrag Inproceedings | 2016 |