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
 

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