KR2020Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning

Main Track

• Inputs, Outputs, and Composition in the Logic of Information Flows.

  1. Heba Aamer
  2. Bart Bogaerts
  3. Dimitri Surinx
  4. Eugenia Ternovska
  5. Jan Van den Bussche
  DetailsPDF
• Reasoning with Contextual Knowledge and Influence Diagrams.

  1. Erman Acar
  2. Rafael Peñaloza
  DetailsPDF
• Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems.

  1. Michael E. Akintunde
  2. Elena Botoeva
  3. Panagiotis Kouvaros
  4. Alessio Lomuscio
  DetailsPDF
• Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation.

  1. Gianvincenzo Alfano
  2. Marco Calautti
  3. Sergio Greco
  4. Francesco Parisi
  5. Irina Trubitsyna
  DetailsPDF
• Answer Set Programming with Composed Predicate Names.

  1. Mario Alviano
  DetailsPDF
• Symbolic Solutions for Symbolic Constraint Satisfaction Problems.

  1. Alexsander Andrade de Melo
  2. Mateus De Oliveira Oliveira
  DetailsPDF
• Stable and Supported Semantics in Continuous Vector Spaces.

  1. Yaniv Aspis
  2. Krysia Broda
  3. Alessandra Russo
  4. Jorge Lobo
  DetailsPDF
• An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements.

  1. Marcello Balduccini
  2. Michael Gelfond
  3. Enrico Pontelli
  4. Tran Cao Son
  DetailsPDF
• Comparing Weak Admissibility Semantics to their Dung-style Counterparts -- Reduct, Modularization, and Strong Equivalence in Abstract Argumentation.

  1. Ringo Baumann
  2. Gerhard Brewka
  3. Markus Ulbricht
  DetailsPDF
• A Three-valued Approach to Strategic Abilities under Imperfect Information.

  1. Francesco Belardinelli
  2. Vadim Malvone
  DetailsPDF
• Ordinal Polymatrix Games with Incomplete Information.

  1. Nahla Ben Amor
  2. Hélène Fargier
  3. Régis Sabbadin
  4. Meriem Trabelsi
  DetailsPDF
• Balancing Expressiveness and Inexpressiveness in View Design.

  1. Michael Benedikt
  2. Pierre Bourhis
  3. Louis Jachiet
  4. Efthymia Tsamoura
  DetailsPDF
• An Optimization Approach to Robust Goal Obfuscation.

  1. Sara Bernardini
  2. Fabio Fagnani
  3. Santiago Franco
  DetailsPDF
• Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation.

  1. Nicola Bertoglio
  2. Gianfranco Lamperti
  3. Marina Zanella
  4. Xiangfu Zhao
  DetailsPDF
• Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation.

  1. Meghyn Bienvenu
  2. Camille Bourgaux
  DetailsPDF
• High-level Programming via Generalized Planning and LTL Synthesis.

  1. Blai Bonet
  2. Giuseppe De Giacomo
  3. Hector Geffner
  4. Fabio Patrizi
  5. Sasha Rubin
  DetailsPDF
• Module Checking of Pushdown Multi-agent Systems.

  1. Laura Bozzelli
  2. Aniello Murano
  3. Adriano Peron
  DetailsPDF
• Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision.

  1. David Buckingham
  2. Daniel Kasenberg
  3. Matthias Scheutz
  DetailsPDF
• Spatial Reasoning about String Loops and Holes in Temporal ASP.

  1. Pedro Cabalar
  2. Paulo E. Santos
  DetailsPDF
• A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.

  1. Pedro Cabalar
  2. Jorge Fandinno
  3. Torsten Schaub
  4. Philipp Wanko
  DetailsPDF
• Preference-based Inconsistency-Tolerant Query Answering under Existential Rules.

  1. Marco Calautti
  2. Sergio Greco
  3. Cristian Molinaro
  4. Irina Trubitsyna
  DetailsPDF
• Rational Defeasible Belief Change.

  1. Giovanni Casini
  2. Thomas Meyer
  3. Ivan Varzinczak
  DetailsPDF
• Explanations for Negative Query Answers under Existential Rules.

  1. İsmail İlkan Ceylan
  2. Thomas Lukasiewicz
  3. Enrico Malizia
  4. Cristian Molinaro
  5. Andrius Vaicenavičius
  DetailsPDF
• Revision by Conditionals: From Hook to Arrow.

  1. Jake Chandler
  2. Richard Booth
  DetailsPDF
• Non-Monotonic Ontology-based Abstractions of Data Services.

  1. Gianluca Cima
  2. Maurizio Lenzerini
  3. Antonella Poggi
  DetailsPDF
• Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus.

  1. Jens Claßen
  2. James Delgrande
  DetailsPDF
• Reasoning about Measures of Unmeasurable Sets.

  1. Marco Console
  2. Matthias Hofer
  3. Leonid Libkin
  DetailsPDF
• Lightweight Parallel Multi-Agent Epistemic Planning.

  1. Martin Cooper
  2. Andreas Herzig
  3. Frédéric Maris
  4. Elise Perrotin
  5. Julien Vianey
  DetailsPDF
• Fine-Grained Complexity of Temporal Problems.

  1. Konrad K. Dabrowski
  2. Peter Jonsson
  3. Sebastian Ordyniak
  4. George Osipov
  DetailsPDF
• Nondeterministic Strategies and their Refinement in Strategy Logic.

  1. Giuseppe De Giacomo
  2. Bastien Maubert
  3. Aniello Murano
  DetailsPDF
• Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.

  1. Giuseppe De Giacomo
  2. Antonio Di Stasio
  3. Moshe Y. Vardi
  4. Shufang Zhu
  DetailsPDF
• Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors.

  1. Massimiliano de Leoni
  2. Paolo Felli
  3. Marco Montali
  DetailsPDF
• A Preference-Based Approach to Defeasible Deontic Inference.

  1. James Delgrande
  DetailsPDF
• Jokes and Belief Revision.

  1. Florence Dupin De Saint-Cyr
  2. Henri Prade
  DetailsPDF
• Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs.

  1. Wolfgang Dvořák
  2. Anna Rapberger
  3. Stefan Woltran
  DetailsPDF
• Token-based Execution Semantics for Multi-Agent Epistemic Planning.

  1. Thorsten Engesser
  2. Robert Mattmüller
  3. Bernhard Nebel
  4. Felicitas Ritter
  DetailsPDF
• On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach.

  1. Renyan Feng
  2. Erman Acar
  3. Stefan Schlobach
  4. Yisong Wang
  5. Wanwei Liu
  DetailsPDF
• Containment of Simple Conjunctive Regular Path Queries.

  1. Diego Figueira
  2. Adwait Godbole
  3. S. Krishna
  4. Wim Martens
  5. Matthias Niewerth
  6. Tina Trautner
  DetailsPDF
• Finite Controllability for Ontology-Mediated Query Answering of CRPQ.

  1. Diego Figueira
  2. Santiago Figueira
  3. Edwin Pin Baque
  DetailsPDF
• Fixed-Parameter Tractability of Dependency QBF with Structural Parameters.

  1. Robert Ganian
  2. Tomáš Peitl
  3. Friedrich Slivovsky
  4. Stefan Szeider
  DetailsPDF
• A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom.

  1. Olga Gerasimova
  2. Stanislav Kikot
  3. Agi Kurucz
  4. Vladimir Podolskii
  5. Michael Zakharyaschev
  DetailsPDF
• Entity Type Recognition – Dealing with the Diversity of Knowledge.

  1. Fausto Giunchiglia
  2. Mattia Fumagalli
  DetailsPDF
• On Finite Entailment of Non-Local Queries in Description Logics.

  1. Tomasz Gogacz
  2. Víctor Gutiérrez-Basulto
  3. Albert Gutowski
  4. Yazmín Ibáñez-García
  5. Filip Murlak
  DetailsPDF
• Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates.

  1. Tomasz Gogacz
  2. Sanja Lukumbuzya
  3. Magdalena Ortiz
  4. Mantas Šimkus
  DetailsPDF
• Multi-head Guarded Existential Rules Over Fixed Signatures.

  1. Georg Gottlob
  2. Marco Manna
  3. Andreas Pieris
  DetailsPDF
• Logics of Preference when There Is No Best.

  1. Davide Grossi
  2. Wiebe van der Hoek
  3. Louwe B. Kuijer
  DetailsPDF
• Syntax Splitting for Iterated Contractions.

  1. Jonas Philipp Haldimann
  2. Gabriele Kern-Isberner
  3. Christoph Beierle
  DetailsPDF
• Dynamic Awareness.

  1. Joseph Y. Halpern
  2. Evan Piermont
  DetailsPDF
• Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?.

  1. Markus Hecher
  DetailsPDF
• Reasoning with Inconsistent Knowledge using the Epistemic Approach to Probabilistic Argumentation.

  1. Anthony Hunter
  DetailsPDF
• Plausible Reasoning about EL-Ontologies using Concept Interpolation.

  1. Yazmín Ibáñez-García
  2. Víctor Gutiérrez-Basulto
  3. Steven Schockaert
  DetailsPDF
• Logical Separability of Incomplete Data under Ontologies.

  1. Jean Christoph Jung
  2. Carsten Lutz
  3. Hadrien Pulcini
  4. Frank Wolter
  DetailsPDF
• On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.

  1. Jean Christoph Jung
  2. Carsten Lutz
  3. Thomas Zeume
  DetailsPDF
• SAT-Based ATL Satisfiability Checking.

  1. Magdalena Kacprzak
  2. Artur Niewiadomski
  3. Wojciech Penczek
  DetailsPDF
• Reasoning About Plan Robustness Versus Plan Cost for Partially Informed Agents.

  1. Sarah Keren
  2. Sara Bernardini
  3. Kofi Kwapong
  4. David C. Parkes
  DetailsPDF
• Syntax Splitting = Relevance + Independence: New Postulates for Nonmonotonic Reasoning From Conditional Belief Bases.

  1. Gabriele Kern-Isberner
  2. Christoph Beierle
  3. Gerhard Brewka
  DetailsPDF
• Changing Beliefs about Domain Dynamics in the Situation Calculus.

  1. Toryn Q. Klassen
  2. Sheila A. McIlraith
  3. Hector J. Levesque
  DetailsPDF
• Boolean Role Inclusions in DL-Lite With and Without Time.

  1. Roman Kontchakov
  2. Vladislav Ryzhikov
  3. Frank Wolter
  4. Michael Zakharyaschev
  DetailsPDF
• Signature-Based Abduction for Expressive Description Logics.

  1. Patrick Koopmann
  2. Warren Del-Pinto
  3. Sophie Tourret
  4. Renate A. Schmidt
  DetailsPDF
• Computing Cores for Existential Rules with the Standard Chase and ASP.

  1. Markus Krötzsch
  DetailsPDF
• An ExpTime Upper Bound for ALC with Integers.

  1. Nadia Labai
  2. Magdalena Ortiz
  3. Mantas Šimkus
  DetailsPDF
• A First-Order Logic of Limited Belief Based on Possible Worlds.

  1. Gerhard Lakemeyer
  2. Hector J. Levesque
  DetailsPDF
• An Answer Set Programming Approach to Argumentative Reasoning in the ASPIC+ Framework.

  1. Tuomo Lehtonen
  2. Johannes P. Wallner
  3. Matti Järvisalo
  DetailsPDF
• Argument, I Choose You! Preferences and Ranking Semantics in Abstract Argumentation.

  1. Jean-Guy Mailly
  2. Julien Rossit
  DetailsPDF
• On the Reversibility of Actions in Planning.

  1. Michael Morak
  2. Lukas Chrpa
  3. Wolfgang Faber
  4. Daniel Fišer
  DetailsPDF
• Explainable Planning Using Answer Set Programming.

  1. Van Nguyen
  2. Stylianos Loukas Vasileiou
  3. Tran Cao Son
  4. William Yeoh
  DetailsPDF
• Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation.

  1. Andreas Niskanen
  2. Matti Järvisalo
  DetailsPDF
• Towards a Logic of Meta-Analysis.

  1. Rafael Peñaloza
  DetailsPDF
• Bipolar Abstract Argumentation with Dual Attacks and Supports.

  1. Nico Potyka
  DetailsPDF
• Choosing What to Believe - New Results in Selective Revision.

  1. Fillipe Resina
  2. Marco Garapa
  3. Renata Wassermann
  4. Eduardo Fermé
  5. Maurício Reis
  DetailsPDF
• Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation.

  1. Simon Rey
  2. Ulle Endriss
  3. Ronald de Haan
  DetailsPDF
• Modelling the Polysemy of Spatial Prepositions in Referring Expressions.

  1. Adam Richard-Bollans
  2. Lucía Gómez Álvarez
  3. Anthony G. Cohn
  DetailsPDF
• Independence and D-separation in Abstract Argumentation.

  1. Tjitze Rienstra
  2. Matthias Thimm
  3. Kristian Kersting
  4. Xiaoting Shao
  DetailsPDF
• Concept Contraction in the Description Logic EL.

  1. Tjitze Rienstra
  2. Claudia Schon
  3. Steffen Staab
  DetailsPDF
• A Semantic Perspective on Omission Abstraction in ASP.

  1. Zeynep G. Saribatur
  2. Thomas Eiter
  DetailsPDF
• Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging.

  1. Nicolas Schwind
  2. Sébastien Konieczny
  DetailsPDF
• Seq2KG: An End-to-End Neural Model for Domain Agnostic Knowledge Graph (not Text Graph) Construction from Text.

  1. Michael Stewart
  2. Wei Liu
  DetailsPDF
• Knowledge-Preserving Certain Answers for SQL-like Queries.

  1. Etienne Toussaint
  2. Paolo Guagliardo
  3. Leonid Libkin
  DetailsPDF
• DatalogMTL over the Integer Timeline.

  1. Przemysław A. Wałęga
  2. Bernardo Cuenca Grau
  3. Mark Kaminski
  4. Egor V. Kostylev
  DetailsPDF

Applications and Systems

• A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument.

  1. Christoph Benzmüller
  DetailsPDF
• WOLED: A tool for Online Learning Weighted Answer Set Rules for Temporal Reasoning Under Uncertainty.

  1. Nikos Katzouris
  2. Alexander Artikis
  DetailsPDF
• µ-toksia: An Efficient Abstract Argumentation Reasoner.

  1. Andreas Niskanen
  2. Matti Järvisalo
  DetailsPDF
• Argumentation as a Framework for Interactive Explanations for Recommendations.

  1. Antonio Rago
  2. Oana Cocarascu
  3. Christos Bechlivanidis
  4. Francesca Toni
  DetailsPDF
• Explainable and Argumentation-based Decision Making with Qualitative Preferences for Diagnostics and Prognostics of Alzheimer's Disease.

  1. Zhiwei Zeng
  2. Zhiqi Shen
  3. Benny Toh Hsiang Tan
  4. Jing Jih Chin
  5. Cyril Leung
  6. Yu Wang
  7. Ying Chi
  8. Chunyan Miao
  DetailsPDF

Special Session on KR and Machine Learning

• On the Approximability of Weighted Model Integration on DNF Structures.

  1. Ralph Abboud
  2. İsmail İlkan Ceylan
  3. Radoslav Dimitrov
  DetailsPDF
• On Tractable XAI Queries based on Compiled Representations.

  1. Gilles Audemard
  2. Frédéric Koriche
  3. Pierre Marquis
  DetailsPDF
• Ontology-guided Semantic Composition for Zero-shot Learning.

  1. Jiaoyan Chen
  2. Freddy Lécué
  3. Yuxia Geng
  4. Jeff Z. Pan
  5. Huajun Chen
  DetailsPDF
• Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems.

  1. Fabio A. D'Asaro
  2. Matteo Spezialetti
  3. Luca Raggioli
  4. Silvia Rossi
  DetailsPDF
• Temporal Logic Monitoring Rewards via Transducers.

  1. Giuseppe De Giacomo
  2. Marco Favorito
  3. Luca Iocchi
  4. Fabio Patrizi
  5. Alessandro Ronca
  DetailsPDF
• Neuro-Symbolic Probabilistic Argumentation Machines.

  1. Regis Riveret
  2. Son Tran
  3. Artur d'Avila Garcez
  DetailsPDF
• On Tractable Representations of Binary Neural Networks.

  1. Weijia Shi
  2. Andy Shih
  3. Adnan Darwiche
  4. Arthur Choi
  DetailsPDF
• Analyzing Differentiable Fuzzy Implications.

  1. Emile van Krieken
  2. Erman Acar
  3. Frank van Harmelen
  DetailsPDF

Special Session on KR and Robotics

• Towards a Framework for Visual Intelligence in Service Robotics: Epistemic Requirements and Gap Analysis.

  1. Agnese Chiatti
  2. Enrico Motta
  3. Enrico Daga
  DetailsPDF
• Modeling Affordances and Functioning for Personalized Robotic Assistance.

  1. Alessandro Umbrico
  2. Gabriella Cortellessa
  3. Andrea Orlandini
  4. Amedeo Cesta
  DetailsPDF