KR2022Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning

Main Track

• A Gödel Calculus for Linear Temporal Logic.

  1. Juan Pablo Aguilera
  2. Martín Diéguez
  3. David Fernández-Duque
  4. Brett McLean
  DetailsPDF
• Automatic Synthesis of Dynamic Norms for Multi-Agent Systems.

  1. Natasha Alechina
  2. Giuseppe De Giacomo
  3. Brian Logan
  4. Giuseppe Perelli
  DetailsPDF
• Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs.

  1. Franz Baader
  2. Francesco Kriegel
  DetailsPDF
• The Topology of Surprise.

  1. Alexandru Baltag
  2. Nick Bezhanishvili
  3. David Fernández-Duque
  DetailsPDF
• On Syntactic Forgetting with Strong Persistence.

  1. Matti Berthold
  DetailsPDF
• Counting Queries over ELHI⊥ Ontologies.

  1. Meghyn Bienvenu
  2. Quentin Manière
  3. Michaël Thomazo
  DetailsPDF
• Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach.

  1. Lydia Blümel
  2. Markus Ulbricht
  DetailsPDF
• Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure.

  1. Piero A. Bonatti
  2. Luigi Sauro
  DetailsPDF
• Region-Based Merging of Open-Domain Terminological Knowledge.

  1. Zied Bouraoui
  2. Sébastien Konieczny
  3. Thanh Ma
  4. Nicolas Schwind
  5. Ivan Varzinczak
  DetailsPDF
• Revisiting Semiring Provenance for Datalog.

  1. Camille Bourgaux
  2. Pierre Bourhis
  3. Liat Peterfreund
  4. Michaël Thomazo
  DetailsPDF
• Normalisations of Existential Rules: Not so Innocuous!.

  1. David Carral
  2. Lucas Larroque
  3. Marie-Laure Mugnier
  4. Michaël Thomazo
  DetailsPDF
• A General Framework for Modelling Conditional Reasoning - Preliminary Report.

  1. Giovanni Casini
  2. Umberto Straccia
  DetailsPDF
• Rediscovering Argumentation Principles Utilizing Collective Attacks.

  1. Wolfgang Dvořák
  2. Matthias König
  3. Markus Ulbricht
  4. Stefan Woltran
  DetailsPDF
• Public and Private Affairs in Strategic Reasoning.

  1. Nathanaël Fijalkow
  2. Bastien Maubert
  3. Aniello Murano
  4. Sasha Rubin
  5. Moshe Vardi
  DetailsPDF
• Compound Conditionals as Random Quantities and Boolean Algebras.

  1. Tommaso Flaminio
  2. Angelo Gilio
  3. Lluis Godo
  4. Giuseppe Sanfilippo
  DetailsPDF
• Interpolants and Explicit Definitions in Extensions of the Description Logic EL.

  1. Marie Fortin
  2. Boris Konev
  3. Frank Wolter
  DetailsPDF
• Unique Characterisability and Learnability of Temporal Instance Queries.

  1. Marie Fortin
  2. Boris Konev
  3. Vladislav Ryzhikov
  4. Yury Savateev
  5. Frank Wolter
  6. Michael Zakharyaschev
  DetailsPDF
• On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning.

  1. Nicola Gigante
  2. Andrea Micheli
  3. Enrico Scala
  DetailsPDF
• Finite Entailment of UCRPQs over ALC Ontologies.

  1. Víctor Gutiérrez-Basulto
  2. Albert Gutowski
  3. Yazmín Ibáñez-García
  4. Filip Murlak
  DetailsPDF
• Conservative Extensions for Existential Rules.

  1. Jean Christoph Jung
  2. Carsten Lutz
  3. Jerzy Marcinkowski
  DetailsPDF
• The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion.

  1. Jonas Karge
  2. Sebastian Rudolph
  DetailsPDF
• Computing Stable Conclusions under the Weakest-Link Principle in the ASPIC+ Argumentation Formalism.

  1. Tuomo Lehtonen
  2. Johannes P. Wallner
  3. Matti Järvisalo
  DetailsPDF
• Dynamic Deontic Logic for Permitted Announcements.

  1. Xu Li
  2. Dov Gabbay
  3. Réka Markovich
  DetailsPDF
• Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models.

  1. Emiliano Lorini
  2. Elise Perrotin
  3. François Schwarzentruber
  DetailsPDF
• Ontology-Mediated Querying on Databases of Bounded Cliquewidth.

  1. Carsten Lutz
  2. Leif Sabellek
  3. Lukas Schulze
  DetailsPDF
• Automating Reasoning with Standpoint Logic via Nested Sequents.

  1. Tim S. Lyon
  2. Lucía Gómez Álvarez
  DetailsPDF
• Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems.

  1. Alison R. Panisson
  2. Peter McBurney
  3. Rafael H. Bordini
  DetailsPDF
• Verification and Realizability in Finite-Horizon Multiagent Systems.

  1. Senthil Rajasekaran
  2. Moshe Y. Vardi
  DetailsPDF
• On Dynamics in Structured Argumentation Formalisms.

  1. Anna Rapberger
  2. Markus Ulbricht
  DetailsPDF
• Kernel Contraction and the Order of Relevance.

  1. Jandson S. Ribeiro
  DetailsPDF
• A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation.

  1. Victor Hugo Nascimento Rocha
  2. Fabio Gagliardi Cozman
  DetailsPDF
• On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision.

  1. Nicolas Schwind
  2. Sébastien Konieczny
  3. Ramón Pino Pérez
  DetailsPDF
• Who’s the Expert? On Multi-source Belief Change.

  1. Joseph Singleton
  2. Richard Booth
  DetailsPDF
• Hyperintensional Partial Meet Contractions.

  1. Marlo Souza
  2. Renata Wassermann
  DetailsPDF
• A Minimal Deductive System for RDFS with Negative Statements.

  1. Umberto Straccia
  2. Giovanni Casini
  DetailsPDF
• Discovering User-Interpretable Capabilities of Black-Box Planning Agents.

  1. Pulkit Verma
  2. Shashank Rao Marpally
  3. Siddharth Srivastava
  DetailsPDF
• Open Relation Extraction with Non-existent and Multi-span Relationships.

  1. Huifan Yang
  2. Da-Wei Li
  3. Zekun Li
  4. Donglin Yang
  5. Bin Wu
  DetailsPDF
• Act for Your Duties but Maintain Your Rights.

  1. Shufang Zhu
  2. Giuseppe De Giacomo
  DetailsPDF
• On the Relationship between Shy and Warded Datalog+/-.

  1. Teodoro Baldazzi
  2. Luigi Bellomarini
  3. Marco Favorito
  4. Emanuel Sallinger
  DetailsPDF
• Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing.

  1. Jens Claßen
  2. James P. Delgrande
  DetailsPDF
• Inference with System W Satisfies Syntax Splitting.

  1. Jonas Haldimann
  2. Christoph Beierle
  DetailsPDF
• Iterated Belief Change, Computationally.

  1. Kai Sauerwald
  2. Christoph Beierle
  DetailsPDF
• Chasing Streams with Existential Rules.

  1. Jacopo Urbani
  2. Markus Krötzsch
  3. Thomas Eiter
  DetailsPDF

Special Session on KR and Machine Learning

• Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings.

  1. Yaniv Aspis
  2. Krysia Broda
  3. Jorge Lobo
  4. Alessandra Russo
  DetailsPDF
• Looking Inside the Black-Box: Logic-based Explanations for Neural Networks.

  1. João Ferreira
  2. Manuel de Sousa Ribeiro
  3. Ricardo Gonçalves
  4. João Leite
  DetailsPDF
• A Graph Neural Network Reasoner for Game Description Language.

  1. Alvaro Gunawan
  2. Ji Ruan
  3. Xiaowei Huang
  DetailsPDF
• Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming.

  1. Viktor Pfanschilling
  2. Hikaru Shindo
  3. Devendra Singh Dhami
  4. Kristian Kersting
  DetailsPDF
• Neural-Probabilistic Answer Set Programming.

  1. Arseny Skryagin
  2. Wolfgang Stammer
  3. Daniel Ochs
  4. Devendra Singh Dhami
  5. Kristian Kersting
  DetailsPDF
• Learning Generalized Policies without Supervision Using GNNs.

  1. Simon Ståhlberg
  2. Blai Bonet
  3. Hector Geffner
  DetailsPDF
• Faithful Approaches to Rule Learning.

  1. David J. Tena Cucala
  2. Bernardo Cuenca Grau
  3. Boris Motik
  DetailsPDF
• Learning Typed Rules over Knowledge Graphs.

  1. Hong Wu
  2. Zhe Wang
  3. Kewen Wang
  4. Yi-Dong Shen
  DetailsPDF
• Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement.

  1. Antonio Rago
  2. Pietro Baroni
  3. Francesca Toni
  DetailsPDF

Special Session on KR and Robotics

• Online Grounding of Symbolic Planning Domains in Unknown Environments.

  1. Leonardo Lamanna
  2. Luciano Serafini
  3. Alessandro Saetti
  4. Alfonso Gerevini
  5. Paolo Traverso
  DetailsPDF

Applications and Systems

• Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments.

  1. Meghyn Bienvenu
  2. Camille Bourgaux
  DetailsPDF
• Forecasting Argumentation Frameworks.

  1. Benjamin Irwin
  2. Antonio Rago
  3. Francesca Toni
  DetailsPDF
• Stream Reasoning with Cycles.

  1. Periklis Mantenoglou
  2. Manolis Pitsikalis
  3. Alexander Artikis
  DetailsPDF
• Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO.

  1. Federico Sabbatini
  2. Roberta Calegari
  DetailsPDF
• ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser.

  1. Thomas Eiter
  2. Tobias Geibinger
  3. Nelson Higuera
  4. Nysret Musliu
  5. Johannes Oetsch
  6. Daria Stepanova
  DetailsPDF