Hybrid Conditional Planning for Robotic Applications (Extended Abstract)

Ahmed Nouman, Volkan Patoglu and Esra Erdem

Explaining Causal Models with Argumentation: the Case of Bi-Variate Reinforcement

Antonio Rago, Pietro Baroni and Francesca Toni

Forecasting Argumentation Frameworks

Benjamin Irwin, Antonio Rago and Francesca Toni

Influence-Driven Explanations for Bayesian Network Classifiers

Emanuele Albini, Antonio Rago, Pietro Baroni and Francesca Toni

Simulating Multiwinner Voting Rules in Judgment Aggregation

Julian Chingoma, Ulle Endriss and Ronald de Haan

On Paraconsistent Belief Revision in LP (Extended Abstract)

Nicolas Schwind, Sébastien Konieczny and Ramón Pino Pérez

On the Representation of Darwiche and Pearl’s Epistemic States for Iterated Belief Revision

Nicolas Schwind, Sébastien Konieczny and Ramon Pino Perez

On the Relationship Between Shy and Warded Datalog+/-

Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito and Emanuel Sallinger

Chasing Streams with Existential Rules

Jacopo Urbani, Markus Krötzsch and Thomas Eiter

Ontology-Mediated Querying on Databases of Bounded Cliquewidth

Lukas Schulze, Carsten Lutz and Leif Sabellek

Neural-Probabilistic Answer Set Programming

Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Dhami and Kristian Kersting

Do Humans Find Postulates of Belief Change Plausible?

Clayton Baker

Reasoning About Cardinal Directions Between 3-Dimensional Extended Objects Using Answer Set Programming

Yusuf Izmirlioglu and Esra Erdem

Optimisation Methods for Complex Event Recognition

Periklis Mantenoglou

Stream Reasoning with Cycles

Periklis Mantenoglou, Manolis Pitsikalis and Alexander Artikis

Pushing Optimal ABox Repair from EL Towards More Expressive Horn-DLs

Franz Baader and Francesco Kriegel

A Minimal Deductive System for RDFS with Negative Statements

Umberto Straccia and Giovanni Casini

Online Grounding of Symbolic Planning Domains in Unknown Environments

Leonardo Lamanna, Luciano Serafini, Alessandro Saetti, Alfonso Emilio Gerevini and Paolo Traverso

Who’S the Expert? on Multi-Source Belief Change

Joe Singleton and Richard Booth

Act for Your Duties but Maintain Your Rights

Shufang Zhu and Giuseppe De Giacomo

Compound Conditionals as Random Quantities and Boolean Algebras

Tommaso Flaminio, Angelo Gilio, Lluis Godo and Giuseppe Sanfilippo

An Axiomatic Approach to Revising Preferences (Extended Abstract)

Adrian Haret and Johannes Wallner

Faithful Approaches to Rule Learning

David Tena Cucala, Bernardo Cuenca Grau and Boris Motik

Counting Queries over ELHI⊥ Ontologies

Meghyn Bienvenu, Quentin Manière and Michaël Thomazo

Automatic Synthesis of Dynamic Norms for Multi-Agent Systems

Natasha Alechina, Giuseppe De Giacomo, Brian Logan and Giuseppe Perelli

Solving Lam's Problem via SAT and Isomorph-Free Exhaustive Generation

Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias Kotsireas and Vijay Ganesh

Learning Generalized Policies Without Supervision Using GNNs

Simon Ståhlberg, Blai Bonet and Hector Geffner

Data Efficient Paradigms for Personalized Assessment of Taskable AI Systems

Pulkit Verma

Verification and Realizability in Finite-Horizon Multiagent Systems

Senthil Rajasekaran and Moshe Y. Vardi

Open Relation Extraction with Non-Existent and Multi-Span Relationships

Huifan Yang, Da-Wei Li, Zekun Li, Donglin Yang and Bin Wu

Epistemic Actions: Comparing Multi-Agent Belief Bases with Action Models

Emiliano Lorini, Elise Perrotin and Francois Schwarzentruber

Lifting Symmetry Breaking Constraints with Inductive Logic Programming

Alice Tarzariol, Martin Gebser and Konstantin Schekotihin

Region-Based Merging of Open-Domain Terminological Knowledge

Zied Bouraoui, Sébastien Konieczny, Thanh Ma, Nicolas Schwind and Ivan Varzinczak

Discovering User-Interpretable Capabilities of Black-Box Planning Agents

Pulkit Verma, Shashank Rao Marpally and Siddharth Srivastava