Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning
 
Editor Herausgeber_in
 
Publisher Herausgeber
AAAI Press
 

Publications Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Saribatur, Zeynep G. ; Eiter, Thomas ; Calvanese, Diego ; Erdem, Esra A Semantic Perspective on Omission Abstraction in ASPKonferenzbeitrag Inproceedings 2020
2Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ FrameworkKonferenzbeitrag Inproceedings 2020
3Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael An ExpTime Upper Bound for ALC with IntegersKonferenzbeitrag Inproceedings 2020
4Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFsKonferenzbeitrag Inproceedings 2020
5Gogacz, Tomasz ; Lukumbuzya, Sanja ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael Datalog Rewritability and Data Complexity of ALCHOIF with Closed PredicatesKonferenzbeitrag Inproceedings 2020
6Ganian, Robert ; Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan Fixed-Parameter Tractability of Dependency QBF with Structural ParametersKonferenzbeitrag Inproceedings 2020
7Gogacz, Tomasz ; Gutierrez-Basulto, Victor ; Gutowski, Albert ; Ibanez Garcia, Yazmin Angelica ; Murlak, Filip ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael On Finite Entailment of Non-Local Queries in Description LogicsKonferenzbeitrag Inproceedings 2020
8Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Schockaert, Steven ; Calvanese, Diego ; Erdem, Esra ; Thielscher, Michael Plausible Reasoning about EL-Ontologies using Concept InterpolationKonferenzbeitrag Inproceedings2020
9Hecher, Markus Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?Konferenzbeitrag Inproceedings 2020