last modified: 06 Nov 2021

Search titles and author lists

Monday, 8 Nov 2021

room A
2021-11-08T09:00:00+01:00 - 2021-11-08T09:30:00+01:00 09:00 - 09:30

Opening Session

chair: Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem
2021-11-08T09:30:00+01:00 - 2021-11-08T10:30:00+01:00 09:30 - 10:30
Invited Talk:

Francesca Toni
The Interactionist View of Reasoning for Explainable AI

chair: Esra Erdem
in Gather enter 2021-11-08T10:30:00+01:00 - 2021-11-08T10:45:00+01:00 10:30 - 10:45


2021-11-08T10:45:00+01:00 - 2021-11-08T11:45:00+01:00 10:45 - 11:45


chair: Ron Petrick
  • long Roman Barták, Simona Ondrčková, Gregor Behnke and Pascal BercherCorrecting Hierarchical Plans by Action Deletion details
  • long Lukas Chrpa, Martin Pilat and Jakub MedOn Eventual Applicability of Plans in Dynamic Environments with Cyclic Phenomena details
  • long Dominik Drexler, Jendrik Seipp and Hector GeffnerExpressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches details
  • long Diego Aineto García, Sergio Jimenez Celorrio and Eva OnaindiaGeneralized Temporal Inference via Planning details
2021-11-08T10:45:00+01:00 - 2021-11-08T11:45:00+01:00 10:45 - 11:45

Argumentation 1

chair: Johannes Wallner
  • long Leila Amgoud and Vivien BeuselinckEquivalence of Semantics in Argumentation details
  • long Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen,and Leendert van der TorreA Principle-based Analysis of Abstract Agent Argumentation Semantics details
  • long Ofer Arieli, Annemarie Borg and Christian StrasserCharacterizations and Classifications of Argumentative Entailments details
  • long Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge and Bart VerheijSemi-Stable Semantics for Abstract Dialectical Frameworks details
in Gather enter 2021-11-08T11:45:00+01:00 - 2021-11-08T12:15:00+01:00 11:45 - 12:15


in Gather enter 2021-11-08T15:30:00+01:00 - 2021-11-08T16:00:00+01:00 15:30 - 16:00
Informal discussion

Diego Calvanese: Experience with Ontopic

in Gather enter 2021-11-08T16:00:00+01:00 - 2021-11-08T16:15:00+01:00 16:00 - 16:15


2021-11-08T16:15:00+01:00 - 2021-11-08T17:15:00+01:00 16:15 - 17:15

Reasoning about Actions

chair: Yongmei Liu
  • long Best Student Paper Daxin Liu and Qihui FengOn the Progression of Belief details
  • long Giuseppe De Giacomo and Yves LespéranceThe Nondeterministic Situation Calculus details
  • long Jens Classen and James DelgrandeAn Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors details
  • short Lukas Chrpa, Wolfgang Faber and Michael MorakUniversal and Uniform Action Reversibility details
  • RPR Track abstract Yuliya Lierler and Craig OlsonInformation Extraction Tool Text2Alm: From Narratives to Action Language System Descriptions pdf
2021-11-08T16:15:00+01:00 - 2021-11-08T17:15:00+01:00 16:15 - 17:15

KR Languages

chair: Franz Baader
  • long Igor SedlárDecidability and Complexity of Some Finitely-valued Dynamic Logics details
  • long Alexis de Colnet and Stefan MengelA Compilation of Succinctness Results for Arithmetic Circuits details
  • short Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis and Antonis TroumpoukisA Many-valued Logic for Lexicographic Preference Representation details
  • short Michael MorakSticky Existential Rules and Disjunction are Incompatible details
  • long Best Student Paper Joint Runner-up Timothy van Bremen and Ondřej KuželkaLifted Inference with Tree Axioms details
in Gather enter 2021-11-08T17:15:00+01:00 - 2021-11-08T17:45:00+01:00 17:15 - 17:45


in Gather enter 2021-11-08T17:45:00+01:00 - 2021-11-08T18:00:00+01:00 17:45 - 18:00


in Gather enter 2021-11-08T18:00:00+01:00 - 2021-11-08T19:00:00+01:00 18:00 - 19:00

Opening Reception