KR2023Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

Main Track

• Counterfactual Reasoning via Grounded Distance.

  1. Carlos Aguilera-Ventura
  2. Andreas Herzig
  3. Xinghan Liu
  4. Emiliano Lorini
  DetailsPDF
• Revising Boolean Logical Models of Biological Regulatory Networks.

  1. Frederico Aleixo
  2. Matthias Knorr
  3. João Leite
  DetailsPDF
• Diagnosis for Post Concept Drift Decision Trees Repair.

  1. Shaked Almog
  2. Meir Kalech
  DetailsPDF
• Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations.

  1. Benjamin Alt
  2. Franklin Kenghagho Kenfack
  3. Andrei Haidu
  4. Darko Katic
  5. Rainer Jäkel
  6. Michael Beetz
  DetailsPDF
• From Vision to Execution: Enabling Knowledge Representation and Reasoning in Hybrid Intelligent Robots Playing Mobile Games.

  1. Denise Angilica
  2. Mario Avolio
  3. Giovanni Beraldi
  4. Giovambattista Ianni
  5. Francesco Pacenza
  DetailsPDF
• Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences.

  1. Ofer Arieli
  2. Jesse Heyninck
  DetailsPDF
• A Singly Exponential Transformation of LTL[X, F] into Pure Past LTL.

  1. Alessandro Artale
  2. Luca Geatti
  3. Nicola Gigante
  4. Andrea Mazzullo
  5. Angelo Montanari
  DetailsPDF
• Unified Foundations of Team Semantics via Semirings.

  1. Timon Barlag
  2. Miika Hannula
  3. Juha Kontinen
  4. Nina Pardal
  5. Jonni Virtema
  DetailsPDF
• Forgetting Aspects in Assumption-Based Argumentation.

  1. Matti Berthold
  2. Anna Rapberger
  3. Markus Ulbricht
  DetailsPDF
• Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints.

  1. Meghyn Bienvenu
  2. Camille Bourgaux
  DetailsPDF
• Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics.

  1. Lydia Blümel
  2. Matthias Thimm
  DetailsPDF
• Default Logic as a Species of Causal Reasoning.

  1. Alexander Bochman
  DetailsPDF
• Tractable Explaining of Multivariate Decision Trees.

  1. Clément Carbonnel
  2. Martin C. Cooper
  3. Joao Marques-Silva
  DetailsPDF
• On Simple Expectations and Observations of Intelligent Agents: A Complexity Study.

  1. Sourav Chakraborty
  2. Avijeet Ghosh
  3. Sujata Ghosh
  4. François Schwarzentruber
  DetailsPDF
• Streamlining Input/Output Logics with Sequent Calculi.

  1. Agata Ciabattoni
  2. Dmitry Rozplokhas
  DetailsPDF
• Property Directed Reachability for Planning Revisited.

  1. Ava Clifton
  2. Charles Gretton
  DetailsPDF
• Mathematical Foundations for Joining Only Knowing and Common Knowledge.

  1. Marcos Cramer
  2. Samuele Pollaci
  3. Bart Bogaerts
  DetailsPDF
• Run-Based Semantics for RPQs.

  1. Claire David
  2. Nadime Francis
  3. Victor Marsault
  DetailsPDF
• How to Manage a Budget with ATL+.

  1. Stéphane Demri
  2. Raine Rönnholm
  DetailsPDF
• Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures.

  1. Paulius Dilkas
  2. Vaishak Belle
  DetailsPDF
• Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules.

  1. Dominik Drexler
  2. Jendrik Seipp
  3. Hector Geffner
  DetailsPDF
• Weighted Merging of Propositional Belief Bases.

  1. Patricia Everaere
  2. Chouaib Fellah
  3. Sébastien Konieczny
  4. Ramón Pino Pérez
  DetailsPDF
• A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases.

  1. Ronald Fagin
  2. Phokion G. Kolaitis
  3. Domenico Lembo
  4. Lucian Popa
  5. Federico Scafoglieri
  DetailsPDF
• Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs.

  1. Jorge Fandinno
  2. Vladimir Lifschitz
  DetailsPDF
• Credible Models of Belief Update.

  1. Eduardo Fermé
  2. Sébastien Konieczny
  3. Ramón Pino Pérez
  4. Nicolas Schwind
  DetailsPDF
• A Family of Decidable Bi-intuitionistic Modal Logics.

  1. David Fernández-Duque
  2. Brett McLean
  3. Lukas Zenger
  DetailsPDF
• Logic-based Composition of Business Process Models.

  1. Valeria Fionda
  2. Antonio Ielo
  3. Francesco Ricca
  DetailsPDF
• Reasoning about Probability via Continuous Functions.

  1. Tommaso Flaminio
  2. Sandro Preto
  3. Sara Ugolini
  DetailsPDF
• Succinctness and Complexity of ALC with Counting Perceptrons.

  1. Pietro Galliani
  2. Oliver Kutz
  3. Nicolas Troquard
  DetailsPDF
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination.

  1. Lukas Gerlach
  2. David Carral
  DetailsPDF
• Standpoint Linear Temporal Logic.

  1. Nicola Gigante
  2. Lucía Gómez Álvarez
  3. Tim S. Lyon
  DetailsPDF
• Group Responsibility for Exceeding Risk Threshold.

  1. Maksim Gladyshev
  2. Natasha Alechina
  3. Mehdi Dastani
  4. Dragan Doder
  DetailsPDF
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.

  1. Lucía Gómez Álvarez
  2. Sebastian Rudolph
  3. Hannes Strass
  DetailsPDF
• The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits.

  1. Markus Hecher
  2. Rafael Kiesel
  DetailsPDF
• Revising Typical Beliefs: One Revision to Rule Them All.

  1. Jesse Heyninck
  2. Giovanni Casini
  3. Thomas Meyer
  4. Umberto Straccia
  DetailsPDF
• Learning Interpretable Heuristics for WalkSAT.

  1. Yannet Interian
  2. Sara Bernardini
  DetailsPDF
• Leveraging Large Language Models to Generate Answer Set Programs.

  1. Adam Ishay
  2. Zhun Yang
  3. Joohyung Lee
  DetailsPDF
• Practical Abstraction for Model Checking of Multi-Agent Systems.

  1. Wojciech Jamroga
  2. Yan Kim
  DetailsPDF
• On Training Neurons with Bounded Compilations.

  1. Lance Kennedy
  2. Issouf Kindo
  3. Arthur Choi
  DetailsPDF
• Knowledge Compilation and More with SharpSAT-TD.

  1. Rafael Kiesel
  2. Thomas Eiter
  DetailsPDF
• Definitions and (Uniform) Interpolants in First-Order Modal Logic.

  1. Agi Kurucz
  2. Frank Wolter
  3. Michael Zakharyaschev
  DetailsPDF
• Query Rewriting with Disjunctive Existential Rules and Mappings.

  1. Michel Leclère
  2. Marie-Laure Mugnier
  3. Guillaume Pérution-Kihli
  DetailsPDF
• Argumentation Frameworks Induced by Assumption-based Argumentation: Relating Size and Complexity.

  1. Tuomo Lehtonen
  2. Anna Rapberger
  3. Markus Ulbricht
  4. Johannes P. Wallner
  DetailsPDF
• Concerning Measures in a First-order Logic with Actions and Meta-beliefs.

  1. Daxin Liu
  2. Qihui Feng
  3. Vaishak Belle
  4. Gerhard Lakemeyer
  DetailsPDF
• Revisiting Inferential Benchmarks for Knowledge Graph Completion.

  1. Shuwen Liu
  2. Bernardo Cuenca Grau
  3. Ian Horrocks
  4. Egor V. Kostylev
  DetailsPDF
• Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Preferred Repairs.

  1. Thomas Lukasiewicz
  2. Enrico Malizia
  3. Cristian Molinaro
  DetailsPDF
• Querying Circumscribed Description Logic Knowledge Bases.

  1. Carsten Lutz
  2. Quentin Manière
  3. Robin Nolte
  DetailsPDF
• Description Logics with Abstraction and Refinement.

  1. Carsten Lutz
  2. Lukas Schulze
  DetailsPDF
• Complex Event Recognition with Allen Relations.

  1. Periklis Mantenoglou
  2. Dimitrios Kelesis
  3. Alexander Artikis
  DetailsPDF
• Active Disjunctive Constraint Acquisition.

  1. Grégoire Menguy
  2. Sébastien Bardin
  3. Nadjib Lazaar
  4. Arnaud Gotlieb
  DetailsPDF
• Weak-Ensconcement for Shielded Base Contraction.

  1. Alejandro J. Mercado
  2. Daniel Grimaldi
  3. Ricardo O. Rodriguez
  DetailsPDF
• Argumentative Reasoning in ASPIC+ under Incomplete Information.

  1. Daphne Odekerken
  2. Tuomo Lehtonen
  3. AnneMarie Borg
  4. Johannes P. Wallner
  5. Matti Järvisalo
  DetailsPDF
• ORLA: Learning Explainable Argumentation Models.

  1. Cándido Otero
  2. Dennis Craandijk
  3. Floris Bex
  DetailsPDF
• A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence.

  1. Daira Pinto Prieto
  2. Ronald de Haan
  3. Aybüke Özgün
  DetailsPDF
• Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions.

  1. Henry Prakken
  DetailsPDF
• Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.

  1. Vít Punčochář
  DetailsPDF
• Interactive Explanations by Conflict Resolution via Argumentative Exchanges.

  1. Antonio Rago
  2. Hengzhi Li
  3. Francesca Toni
  DetailsPDF
• Explainable Clustering with CREAM.

  1. Federico Sabbatini
  2. Roberta Calegari
  DetailsPDF
• A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning.

  1. Yakoub Salhi
  2. Michael Sioutis
  DetailsPDF
• Foundations for Projecting Away the Irrelevant in ASP Programs.

  1. Zeynep G. Saribatur
  2. Stefan Woltran
  DetailsPDF
• Iteration of Iterated Belief Revision.

  1. Nicolas Schwind
  2. Sébastien Konieczny
  3. Ramón Pino Pérez
  DetailsPDF
• Explainable Representations for Relation Prediction in Knowledge Graphs.

  1. Rita T. Sousa
  2. Sara Silva
  3. Catia Pesquita
  DetailsPDF
• Learning General Policies with Policy Gradient Methods.

  1. Simon Ståhlberg
  2. Blai Bonet
  3. Hector Geffner
  DetailsPDF
• On the Correspondence Between Monotonic Max-Sum GNNs and Datalog.

  1. David Tena Cucala
  2. Bernardo Cuenca Grau
  3. Boris Motik
  4. Egor V. Kostylev
  DetailsPDF
• Grounding LTLf Specifications in Image Sequences.

  1. Elena Umili
  2. Roberto Capobianco
  3. Giuseppe De Giacomo
  DetailsPDF
• Computing All Facts Entailed By An LTL Specification.

  1. Przemysław Andrzej Wałęga
  2. Michał Zawidzki
  3. Christoph Haase
  DetailsPDF
• A²CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles.

  1. Ruolin Wang
  2. Yuejiao Xu
  3. Jie Peng
  4. Jianmin Ji
  DetailsPDF
• Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning.

  1. Marco Wilhelm
  DetailsPDF
• General Game Playing With State-Independent Communication.

  1. Sean Zammit
  2. Michael Thielscher
  DetailsPDF
• On Conflict-free Labellings – Realizability, Construction and Patterns of Redundancy.

  1. Ringo Baumann
  2. Anne-Marie Heine
  DetailsPDF
• Strategic Abilities of Forgetful Agents in Stochastic Environments.

  1. Francesco Belardinelli
  2. Wojciech Jamroga
  3. Munyque Mittelmann
  4. Aniello Murano
  DetailsPDF
• Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation.

  1. Lars Bengel
  2. Matthias Thimm
  DetailsPDF
• From Qualitative Choice Logic to Abstract Argumentation.

  1. Michael Bernreiter
  2. Matthias König
  DetailsPDF
• Combining Global and Local Merges in Logic-based Entity Resolution.

  1. Meghyn Bienvenu
  2. Gianluca Cima
  3. Víctor Gutiérrez-Basulto
  4. Yazmín Ibáñez-García
  DetailsPDF
• Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds.

  1. Jonas Philipp Haldimann
  2. Christoph Beierle
  DetailsPDF
• Planning with Epistemic Preferences.

  1. Toryn Q. Klassen
  2. Christian Muise
  3. Sheila A. McIlraith
  DetailsPDF
• Verification of Semantic Key Point Detection for Aircraft Pose Estimation.

  1. Panagiotis Kouvaros
  2. Francesco Leofante
  3. Blake Edwards
  4. Calvin Chung
  5. Dragos Margineantu
  6. Alessio Lomuscio
  DetailsPDF
• Counterfactual Explanations and Model Multiplicity: a Relational Verification View.

  1. Francesco Leofante
  2. Elena Botoeva
  3. Vineet Rajani
  DetailsPDF
• Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.

  1. Tim S. Lyon
  2. Piotr Ostropolski-Nalewaja
  DetailsPDF
• Eliminating Redundant Actions from Plans Using Classical Planning.

  1. Mauricio Salerno
  2. Raquel Fuentetaja
  3. Jendrik Seipp
  DetailsPDF