KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning
Event name
KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning
Event type
Event for scientific audience
Start date
12-09-2020
End date
18-09-2020
Location
Rhodos, Griechenland
Country
Event format Veranstaltungsformat
On Site
Subject
Date issued
Results 1-6 of 6 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas | A Hitchhiker's Tour Through Computational Complexity in Knowledge Representation and Reasoning | Präsentation Presentation | 2020 | |
| 2 | Saribatur, Zeynep G. ; Eiter, Thomas ; Calvanese, Diego ; Erdem, Esra | A Semantic Perspective on Omission Abstraction in ASP | Konferenzbeitrag Inproceedings  | 2020 | |
| 3 | Eiter, Thomas ; Saribatur, Zeynep Gözen ; Schüller, Peter | Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems | Präsentation Presentation | 2020 | |
| 4 | Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan | Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs | Konferenzbeitrag Inproceedings | 2020 | |
| 5 | Kiesel, Rafael Peter David | Quantitative and Stream Extensions of Answer Set Programming | Präsentation Presentation | 2020 | |
| 6 | Hecher, Markus | Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All? | Konferenzbeitrag Inproceedings | 2020 |