15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)

View Statistics Email Alert RSS Feed

Description

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

Publications Publikationen

Results 1-5 of 5 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Eiter, Thomas ; Lukasiewicz, Thomas ; Predoiu, Livia Generalized Consistent Query Answering under Existential RulesKonferenzbeitrag Inproceedings 2016
2Delobelle, Jerome ; Haret, Adrian ; Konieczny, Sebastien ; Mailly, Jean-Guy ; Rossit, Julien ; Woltran, Stefan Merging of Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings 2016
3Giacomin, Massimiliano ; Linsbichler, Thomas ; Woltran, Stefan On the functional completeness of argumentation semanticsKonferenzbeitrag Inproceedings 2016
4de Haan, Ronald ; Szeider, Stefan Parameterized Complexity Results for Symbolic Model Checking of Temporal LogicsKonferenzbeitrag Inproceedings2016
5Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha ; Zuleger, Florian Prompt Alternating-Time Epistemic LogicsKonferenzbeitrag Inproceedings 2016