KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning

View Statistics Email Alert RSS Feed

Description

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
Rhodos, Griechenland
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Eiter, Thomas A Hitchhiker's Tour Through Computational Complexity in Knowledge Representation and ReasoningPräsentation Presentation2020
2Saribatur, Zeynep G. ; Eiter, Thomas ; Calvanese, Diego ; Erdem, Esra A Semantic Perspective on Omission Abstraction in ASPKonferenzbeitrag Inproceedings 2020
3Eiter, Thomas ; Saribatur, Zeynep Gözen ; Schüller, Peter Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell ProblemsPräsentation Presentation2020
4Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFsKonferenzbeitrag Inproceedings 2020
5Kiesel, Rafael Peter David Quantitative and Stream Extensions of Answer Set ProgrammingPräsentation Presentation2020
6Hecher, Markus Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?Konferenzbeitrag Inproceedings 2020