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

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

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Saribatur, Zeynep G. ; Eiter, Thomas A Semantic Perspective on Omission Abstraction in ASPKonferenzbeitrag Inproceedings 2020
2Lehtonen, Tuomo ; Wallner, Johannes P. ; Järvisalo, Matti An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ FrameworkKonferenzbeitrag Inproceedings 2020
3Labai, Nadia ; Simkus, Mantas ; Ortiz de la Fuente, M.Magdalena 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 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 On Finite Entailment of Non-Local Queries in Description LogicsKonferenzbeitrag Inproceedings 2020
8Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Schockaert, Steven 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