Proceedings are now available here.

Accepted Papers

  • Juan Aguilera, Martín Diéguez, David Fernández-Duque and Brett McLean
    A Gödel calculus for Linear Temporal Logic

  • Natasha Alechina, Giuseppe De Giacomo, Brian Logan and Giuseppe Perelli
    Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

  • Yaniv Aspis, Alessandra Russo, Krysia Broda and Jorge Lobo
    Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings

  • Franz Baader and Francesco Kriegel
    Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs

  • Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito and Emanuel Sallinger
    On the Relationship between Shy and Warded Datalog+/-

  • Alexandru Baltag, Nick Bezhanishvili and David Fernández-Duque
    The Topology of Surprise

  • Matti Berthold
    On Syntactic Forgetting with Strong Persistence

  • Meghyn Bienvenu and Camille Bourgaux
    Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments

  • Meghyn Bienvenu, Quentin Manière and Michaël Thomazo
    Counting queries over ELHI⊥ ontologies

  • Lydia Blümel and Markus Ulbricht
    Defining Defense and Defeat in Abstract Argumentation From Scratch -- A Generalizing Approach

  • Piero Bonatti and Luigi Sauro
    Sticky Policies in OWL2: Extending PL with fixpoints and Transitive Closure

  • Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind and Ivan Varzinczak
    Region-Based Merging of Open-Domain Terminological Knowledge

  • Camille Bourgaux, Pierre Bourhis, Liat Peterfreund and Michaël Thomazo
    Revisiting Semiring Provenance for Datalog

  • David Carral, Lucas Larroque, Marie-Laure Mugnier and Michaël Thomazo
    Normalisations of Existential Rules: Not so Innocuous!

  • Giovanni Casini and Umberto Straccia
    A General Framework for Modelling Conditional Reasoning - Preliminary Report

  • Jens Classen and James Delgrande
    Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing

  • David Tena Cucala, Bernardo Cuenca Grau and Boris Motik
    Faithful Approaches to Rule Learning

  • Wolfgang Dvořák, Matthias König, Markus Ulbricht and Stefan Woltran
    Rediscovering Argumentation Principles Utilizing Collective Attacks

  • Thomas Eiter, Tobias Geibinger, Nelson Higuera, Nysret Musliu, Johannes Oetsch and Daria Stepanova
    ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser

  • João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves and Joao Leite
    Looking Inside the Black-Box: Logic-based Explanations for Neural Networks

  • Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin and Moshe Vardi
    Private and public affairs in strategic reasoning

  • Tommaso Flaminio, Angelo Gilio, Lluis Godo and Giuseppe Sanfilippo
    Compound conditionals as random quantities and Boolean algebras

  • Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter and Michael Zakharyaschev
    Unique Characterisability and Learnability of Temporal Instance Queries

  • Marie Fortin, Boris Konev and Frank Wolter
    Interpolants and Explicit Definitions in Extensions of the Description Logic EL

  • Nicola Gigante, Andrea Micheli and Enrico Scala
    On the Expressive Power of Intermediate and Conditional Effects in Temporal Planning

  • Alvaro Gunawan, Ji Ruan and Xiaowei Huang
    A Graph Neural Network Reasoner for Game Description Language

  • Victor Gutierrez-Basulto, Albert Gutowski, Yazmin Ibanez-Garcia and Filip Murlak
    Finite Entailment of UCRPQs over ALC Ontologies

  • Jonas Haldimann and Christoph Beierle
    Inference with System W Satisfies Syntax Splitting

  • Benjamin Irwin, Antonio Rago and Francesca Toni
    Forecasting Argumentation Frameworks

  • Jean Christoph Jung, Carsten Lutz and Jerzy Marcinkowski
    Conservative Extensions for Existential Rules

  • Jonas Karge and Sebastian Rudolph
    The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion

  • Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Emilio Gerevini and Paolo Traverso
    Online Grounding of Symbolic Planning Domains in Unknown Environments

  • Tuomo Lehtonen, Johannes P. Wallner and Matti Järvisalo
    Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework

  • Xu Li, Dov Gabbay and Réka Markovich
    Dynamic Deontic Logic for Permitted Announcements

  • Emiliano Lorini, Elise Perrotin and Francois Schwarzentruber
    Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models

  • Carsten Lutz, Leif Sabellek and Lukas Schulze
    Ontology-Mediated Querying on Databases of Bounded Cliquewidth

  • Tim Lyon and Lucía Gómez Álvarez
    Automating Reasoning with Standpoint Logic via Nested Sequents

  • Periklis Mantenoglou, Manolis Pitsikalis and Alexander Artikis
    Stream Reasoning with Cycles

  • Victor Hugo Nascimento Rocha and Fabio Cozman
    A Credal Least Undefined Stable Semantics for Probabilistic Logic Programs and Probabilistic Argumentation

  • Alison R. Panisson, Peter McBurney and Rafael H. Bordini
    Towards an Enthymeme-Based Communication Framework in Multi-Agent Systems

  • Viktor Pfanschilling, Hikaru Shindo, Devendra Singh Dhami and Kristian Kersting
    Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming

  • Antonio Rago, Pietro Baroni and Francesca Toni
    Explaining Causal Models with Argumentation: the Case of Bi-variate Reinforcement

  • Senthil Rajasekaran and Moshe Y. Vardi
    Verification and Realizability in Finite-Horizon Multiagent Systems

  • Anna Rapberger and Markus Ulbricht
    On Dynamics in Structured Argumentation Formalisms

  • Jandson S. Ribeiro
    Kernel Contraction and the Order of Relevance

  • Federico Sabbatini and Roberta Calegari
    Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO

  • Kai Sauerwald and Christoph Beierle
    Iterated Belief Change, Computationally

  • Nicolas Schwind, Sébastien Konieczny and Ramon Pino Perez
    Darwiche and Pearl's Epistemic States are not Total Preorders

  • Joe Singleton and Richard Booth
    Who’s the Expert? On Multi-source Belief Change

  • Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Dhami and Kristian Kersting
    Neural-Probabilistic Answer Set Programming

  • Marlo Souza and Renata Wassermann
    Hyperintensional Partial Meet Contractions

  • Simon Ståhlberg, Blai Bonet and Hector Geffner
    Learning generalized policies without supervision using GNNs

  • Umberto Straccia and Giovanni Casini
    A Minimal Deductive System for RDFS with Negative Statements

  • Jacopo Urbani, Markus Krötzsch and Thomas Eiter
    Chasing streams with existential rules

  • Pulkit Verma, Shashank Rao Marpally and Siddharth Srivastava
    Discovering User-Interpretable Capabilities of Black-Box Planning Agents

  • Hong Wu, Zhe Wang, Kewen Wang and Yi-Dong Shen
    Learning Typed Rules over Knowledge Graphs

  • Huifan Yang, Da-Wei Li, Zekun Li, Donglin Yang and Bin Wu
    Open Relation Extraction With Non-existent and Multi-span Relationships

  • Shufang Zhu and Giuseppe De Giacomo
    Act for Your Duties but Maintain Your Rights

Recently Published Research Track

(extended abstracts)

  • Emanuele Albini, Antonio Rago, Pietro Baroni and Francesca Toni
    Influence-Driven Explanations for Bayesian Network Classifiers (pdf)

  • Meghyn Bienvenu, Gianluca Cima and Victor Gutierrez-Basulto
    LACE: A Logical Approach to Collective Entity Resolution (pdf)

  • Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas and Vijay Ganesh
    Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation (pdf)

  • Julian Chingoma, Ulle Endriss and Ronald de Haan
    Simulating Multiwinner Voting Rules in Judgment Aggregation (pdf)

  • Esra Erdem, Müge Fidan, David Manlove and Patrick Prosser
    A General Framework for Stable Roommates Problems using Answer Set Programming (pdf)

  • Laura Giordano, Valentina Gliozzi and Daniele Theseider Dupre
    A conditional, a fuzzy and a probabilistic interpretation of self-organising maps (pdf)

  • Adrian Haret and Johannes Wallner
    An Axiomatic Approach to Revising Preferences (pdf)

  • Yusuf Izmirlioglu and Esra Erdem
    Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming (pdf)

  • Ahmed Nouman, Volkan Patoglu and Esra Erdem
    Hybrid Conditional Planning for Robotic Applications (pdf)

  • Nico Potyka
    Abstract Argumentation with Markov Networks (pdf)

  • Nico Potyka
    Interpreting Neural Networks as Quantitative Argumentation Frameworks (pdf)

  • Dominik Rusovac, Sarah Alice Gaggl and Johannes K. Fichte
    Rushing and Strolling among Answer Sets -- Navigation Made Easy (pdf)

  • Nicolas Schwind, Sébastien Konieczny and Ramón Pino Pérez
    On Paraconsistent Belief Revision in LP (pdf)

  • Alice Tarzariol, Martin Gebser and Konstantin Schekotihin
    Lifting Symmetry Breaking Constraints with Inductive Logic Programming (pdf)

  • Lianlong Wu, Emanuel Sallinger, Evgeny Sherkhonov, Sahar Vahdati and Georg Gottlob
    Rule Learning over Knowledge Graphs with Genetic Logic Programming (pdf)