share record
persistent URL:
Jens Claßen , James P. Delgrande : Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus. KR 2020 : 253-263 share record
persistent URL:
Marco Console , Matthias F. J. Hofer , Leonid Libkin : Reasoning about Measures of Unmeasurable Sets. KR 2020 : 264-273 share record
persistent URL:
Martin C. Cooper , Andreas Herzig , Frédéric Maris , Elise Perrotin , Julien Vianey : Lightweight Parallel Multi-Agent Epistemic Planning. KR 2020 : 274-283 share record
persistent URL:
Fabio Aurelio D'Asaro , Matteo Spezialetti , Luca Raggioli , Silvia Rossi : Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems. KR 2020 : 855-859 share record
persistent URL:
Konrad K. Dabrowski , Peter Jonsson , Sebastian Ordyniak , George Osipov : Fine-Grained Complexity of Temporal Problems. KR 2020 : 284-293 share record
persistent URL:
James P. Delgrande : A Preference-Based Approach to Defeasible Deontic Inference. KR 2020 : 326-335 share record
persistent URL:
Wolfgang Dvorák , Anna Rapberger , Stefan Woltran : Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. KR 2020 : 341-350 share record
persistent URL:
Thorsten Engesser , Robert Mattmüller , Bernhard Nebel , Felicitas Ritter : Token-based Execution Semantics for Multi-Agent Epistemic Planning. KR 2020 : 351-360 share record
persistent URL:
Renyan Feng , Erman Acar , Stefan Schlobach , Yisong Wang , Wanwei Liu : On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach. KR 2020 : 361-370 share record
persistent URL:
Diego Figueira , Santiago Figueira , Edwin Pin Baque : Finite Controllability for Ontology-Mediated Query Answering of CRPQ. KR 2020 : 381-391 share record
persistent URL:
Diego Figueira , Adwait Godbole , S. Krishna , Wim Martens , Matthias Niewerth , Tina Trautner : Containment of Simple Conjunctive Regular Path Queries. KR 2020 : 371-380 share record
persistent URL:
Robert Ganian , Tomás Peitl , Friedrich Slivovsky , Stefan Szeider : Fixed-Parameter Tractability of Dependency QBF with Structural Parameters. KR 2020 : 392-402 share record
persistent URL:
Olga Gerasimova , Stanislav Kikot , Agi Kurucz , Vladimir V. Podolskii , Michael Zakharyaschev : A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom. KR 2020 : 403-413 share record
persistent URL:
Giuseppe De Giacomo , Marco Favorito , Luca Iocchi , Fabio Patrizi , Alessandro Ronca : Temporal Logic Monitoring Rewards via Transducers. KR 2020 : 860-870 share record
persistent URL:
Giuseppe De Giacomo , Bastien Maubert , Aniello Murano : Nondeterministic Strategies and their Refinement in Strategy Logic. KR 2020 : 294-303 share record
persistent URL:
Giuseppe De Giacomo , Antonio Di Stasio , Moshe Y. Vardi , Shufang Zhu : Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR 2020 : 304-314 share record
persistent URL:
Fausto Giunchiglia , Mattia Fumagalli : Entity Type Recognition - Dealing with the Diversity of Knowledge. KR 2020 : 414-423 share record
persistent URL:
Tomasz Gogacz , Víctor Gutiérrez-Basulto , Albert Gutowski , Yazmín Ibáñez-García , Filip Murlak : On Finite Entailment of Non-Local Queries in Description Logics. KR 2020 : 424-433 share record
persistent URL:
Tomasz Gogacz , Sanja Lukumbuzya , Magdalena Ortiz , Mantas Simkus : Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates. KR 2020 : 434-444 share record
persistent URL:
Georg Gottlob , Marco Manna , Andreas Pieris : Multi-head Guarded Existential Rules Over Fixed Signatures. KR 2020 : 445-454 share record
persistent URL:
Davide Grossi , Wiebe van der Hoek , Louwe B. Kuijer : Logics of Preference when There Is No Best. KR 2020 : 455-464 share record
persistent URL:
Jonas Philipp Haldimann , Gabriele Kern-Isberner , Christoph Beierle : Syntax Splitting for Iterated Contractions. KR 2020 : 465-475 share record
persistent URL:
Joseph Y. Halpern , Evan Piermont : Dynamic Awareness. KR 2020 : 476-484 share record
persistent URL:
Markus Hecher : Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All? KR 2020 : 485-495 share record
persistent URL:
Anthony Hunter : Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic Argumentation. KR 2020 : 496-505 export record
dblp key:
conf/kr/Ibanez-GarciaGS20 share record
persistent URL:
Yazmín Ibáñez-García , Víctor Gutiérrez-Basulto , Steven Schockaert : Plausible Reasoning about EL-Ontologies using Concept Interpolation. KR 2020 : 506-516 share record
persistent URL:
Jean Christoph Jung , Carsten Lutz , Hadrien Pulcini , Frank Wolter : Logical Separability of Incomplete Data under Ontologies. KR 2020 : 517-528 share record
persistent URL:
Jean Christoph Jung , Carsten Lutz , Thomas Zeume : On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. KR 2020 : 529-538 share record
persistent URL:
Magdalena Kacprzak , Artur Niewiadomski , Wojciech Penczek : SAT-Based ATL Satisfiability Checking. KR 2020 : 539-549 share record
persistent URL:
Nikos Katzouris , Alexander Artikis : WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty. KR 2020 : 790-799