last modified: 06 Nov 2021

Search titles and author lists

Wednesday, 3 Nov 2021

2021-11-03T09:00:00+01:00 - 2021-11-03T12:00:00+01:00 09:00 - 12:00

Solving equations in modal and description logics

Philippe Balbiani
2021-11-03T09:00:00+01:00 - 2021-11-03T12:00:00+01:00 09:00 - 12:00

Complex Event Recognition and Forecasting

Elias Alevizos and Alexander Artikis
2021-11-03T09:30:00+01:00 - 2021-11-03T16:00:00+01:00 09:30 - 16:00

Knowledge Representation for Hybrid and Compositional AI (KRHCAI)

Kwabena Nuamah, Jeff Z. Pan, Pavan Kapanipathi and Efi Tsamoura
2021-11-03T14:00:00+01:00 - 2021-11-03T17:00:00+01:00 14:00 - 17:00

KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness

Marcello Balduccini, Edward Griffor and Tran Cao Son
2021-11-03T14:00:00+01:00 - 2021-11-03T17:00:00+01:00 14:00 - 17:00

Answer Set Programming: From Theory to Practice

Roland Kaminski, Javier Romero, Torsten Schaub and Philipp Wanko

Thursday, 4 Nov 2021

2021-11-04T09:00:00+01:00 - 2021-11-04T12:00:00+01:00 09:00 - 12:00

Planning with multi-agent, flexible, temporal, epistemic and contingent (MAFTEC) aspects

Aurélie Beynier, Frédéric Maris and Francois Schwarzentruber
2021-11-04T09:00:00+01:00 - 2021-11-04T12:00:00+01:00 09:00 - 12:00

Completeness, Recall, and Negation in Open-World Knowledge Bases

Simon Razniewski, Hiba Arnaout, Shrestha Ghosh and Fabian M. Suchanek
2021-11-04T10:00:00+01:00 - 2021-11-04T13:30:00+01:00 10:00 - 13:30

The 2nd Int. Workshop on Second-Order Quantifier Elimination and Related Topics (part 1)

Renate A. Schmidt, Christoph Wernhard and Yizheng Zhao
2021-11-04T13:00:00+01:00 - 2021-11-04T20:00:00+01:00 13:00 - 20:00

Explainable Logic-Based Knowledge Representation (XLoKR 2021) - day 1

Bart Bogaerts
2021-11-04T14:00:00+01:00 - 2021-11-04T18:00:00+01:00 14:00 - 18:00

Ontology Uses and Contribution to Artificial Intelligence

Sarra Ben Abbes, Lynda Temal, Nada Mimouni, Philippe Calvez and Ahmed Mabrouk
2021-11-04T15:00:00+01:00 - 2021-11-04T18:30:00+01:00 15:00 - 18:30

The 2nd Int. Workshop on Second-Order Quantifier Elimination and Related Topics (part 2)

Renate A. Schmidt, Christoph Wernhard and Yizheng Zhao

Friday, 5 Nov 2021

2021-11-05T08:00:00+01:00 - 2021-11-05T12:00:00+01:00 08:00 - 12:00

CME: the 1st International Workshop on Computational Machine Ethics

Maurice Pagnucco and Yang Song
2021-11-05T09:00:00+01:00 - 2021-11-05T14:00:00+01:00 09:00 - 14:00

Proof-Theoretic Approaches to Logical Argumentation

Ofer Arieli and Christian Strasser
2021-11-05T09:00:00+01:00 - 2021-11-05T12:00:00+01:00 09:00 - 12:00

Belief Revision and Judgment Aggregation in Ontologies

Jake Chandler and Richard Booth
2021-11-05T13:00:00+01:00 - 2021-11-05T20:00:00+01:00 13:00 - 20:00

Explainable Logic-Based Knowledge Representation (XLoKR 2021) - day 2

Bart Bogaerts
2021-11-05T13:00:00+01:00 - 2021-11-05T20:00:00+01:00 13:00 - 20:00

Doctoral Consortium

chair: Jens Classen & Magdalena Ortiz
2021-11-05T14:00:00+01:00 - 2021-11-05T17:00:00+01:00 14:00 - 17:00

The 6th Int. Workshop on Semantics-Powered Health Data Analytics (SEPDA 2021)

Zhe He, Jiang Bian, Rui Zhang and Cui Tao

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

Tuesday, 9 Nov 2021

2021-11-09T09:00:00+01:00 - 2021-11-09T10:00:00+01:00 09:00 - 10:00

Temporal & Spatial Reasoning

chair: Jean Jung
  • long Giuseppe De Giacomo, Aniello Murano, Fabio Patrizi and Giuseppe PerelliTimed Trace Alignment with Metric Temporal Logic over Finite Traces details
  • long Przemysław A. Wałęga, David J. Tena Cucala, Egor V. Kostylev and Bernardo Cuenca GrauDatalogMTL with Negation Under Stable Models Semantics details
  • long Przemysław A. Wałęga, Michał Zawidzki and Bernardo Cuenca GrauFinitely Materialisable Datalog Programs with Metric Temporal Operators details
  • long Ruiqi Li, Hua Hua, Patrik Haslum and Jochen RenzUnsupervised Novelty Characterization in Physical Environments Using Qualitative Spatial Relations details
2021-11-09T09:00:00+01:00 - 2021-11-09T10:00:00+01:00 09:00 - 10:00

Explanation 1

chair: Kristijonas Cyras
  • KR & ML long Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez and Pierre MarquisOn the Computational Intelligibility of Boolean Classifiers details
  • KR & ML long Xuanxiang Huang, Yacine Izza, Alexey Ignatiev and Joao Marques-SilvaOn Efficiently Explaining Graph-Based Classifiers details
  • KR & ML long Roman Bresson, Johanne Cohen, Eyke Hüllermeier, Christophe Labreuche and Michèle SebagOn the Identifiability of Hierarchical Decision Models details
  • RPR Track abstract Alexey Ignatiev, Nina Narodytska, Nicholas Asher and Joao Marques-SilvaFrom Contrastive to Abductive Explanations and Back Again pdf
  • RPR Track abstract Manuel de Sousa Ribeiro and Joao LeiteAligning Artificial Neural Networks and Ontologies towards Explainable AI - Extended Abstract pdf
in Gather enter 2021-11-09T10:00:00+01:00 - 2021-11-09T10:30:00+01:00 10:00 - 10:30


room C
2021-11-09T10:30:00+01:00 - 2021-11-09T11:00:00+01:00 10:30 - 11:00

Break with activity

chair: Magdalena Ortiz, Maria Vanina Martinez and Marco Maratea
in Gather enter 2021-11-09T11:00:00+01:00 - 2021-11-09T11:30:00+01:00 11:00 - 11:30
Informal discussion

Gabriele Kern-Isberner & Tommie Meyer: Cognitive Logics

2021-11-09T14:30:00+01:00 - 2021-11-09T15:30:00+01:00 14:30 - 15:30

Ontology-Mediated Query Answering

chair: Patrick Koopmann
  • long Best Paper Camille Bourgaux, David Carral, Markus Krötzsch, Sebastian Rudolph and Michaël ThomazoCapturing Homomorphism-Closed Decidable Queries with Existential Rules details
  • long Best Paper Runner-up Anneke Haga, Carsten Lutz, Leif Sabellek and Frank WolterHow to Approximate Ontology-Mediated Queries details
  • long Maxime Buron, Marie-Laure Mugnier and Michaël ThomazoParallelisable Existential Rules: a Story of Pieces details
  • long Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini and Frank WolterSeparating Data Examples by Description Logic Concepts with Restricted Signatures details
2021-11-09T14:30:00+01:00 - 2021-11-09T15:30:00+01:00 14:30 - 15:30

Argumentation 2

chair: Nico Potyka
  • long Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba and Tjitze RienstraRevision and Conditional Inference for Abstract Dialectical Frameworks details
  • long Guilherme Paulino-Passos and Francesca ToniMonotonicity and Noise-Tolerance in Case-Based Reasoning with Abstract Argumentation details
  • long Bettina Fazzinga, Sergio Flesca and Filippo FurfaroReasoning over Attack-incomplete AAFs in the Presence of Correlations details
  • long Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns and Nikolai KäferAdmissibility in Probabilistic Argumentation details
in Gather enter 2021-11-09T15:30:00+01:00 - 2021-11-09T16:00:00+01:00 15:30 - 16:00


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


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

DC Lightning + Posters

chair: Magdalena Ortiz, Jens Classen
in Gather enter 2021-11-09T17:15:00+01:00 - 2021-11-09T17:30:00+01:00 17:15 - 17:30


2021-11-09T17:30:00+01:00 - 2021-11-09T18:30:00+01:00 17:30 - 18:30
Invited Talk:

Martin Grohe
The Logic of Graph Neural Networks

chair: Vaishak Belle

Wednesday, 10 Nov 2021

2021-11-10T09:00:00+01:00 - 2021-11-10T10:00:00+01:00 09:00 - 10:00
Great Moments in KR Talk:

Uli Sattler
Description Logic and OWL: A Tale of Discoveries, Design Choices, Challenges, and Lessons Learnt

chair: Meghyn Bienvenu
in Gather enter 2021-11-10T10:00:00+01:00 - 2021-11-10T10:15:00+01:00 10:00 - 10:15


2021-11-10T10:15:00+01:00 - 2021-11-10T11:25:00+01:00 10:15 - 11:25

Multi-Agent Systems

chair: Stefan Woltran
  • long Magdalena Kacprzak, Artur Niewiadomski and Wojciech PenczekSatisfiability Checking of Strategy Logic with Simple Goals details
  • long Julian Gutierrez, Lewis Hammond, Anthony Lin, Muhammad Najib and Michael WooldridgeRational Verification for Probabilistic Systems details
  • long Wojciech Jamroga, Wojciech Penczek and Teofil SidorukStrategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them details
  • long Bastien Maubert, Munyque Mittelmann, Aniello Murano and Laurent PerrusselStrategic Reasoning in Automated Mechanism Design details
  • RPR Track abstract Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona and Viviana MascardiSummarising a Holistic Approach to the Verification and Validation of Autonomous Cognitive Systems pdf
2021-11-10T10:15:00+01:00 - 2021-11-10T11:15:00+01:00 10:15 - 11:15

Robotics / Knowledge Graphs

chair: Alessandro Saffiotti
  • KR & Robotics long Best Student Paper Joint Runner-up Thomas Bolander, Lasse Dissing and Nicolai HerrmannDEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementation details
  • KR & Robotics short Philipp Matthias Schäfer, Franz Steinmetz, Stefan Schneyer, Timo Bachmann, Thomas Eiband, Florian Samuel Lay, Abhishek Padalkar, Christoph Sürig, Freek Stulp and Korbinian NottensteinerFlexible Robotic Assembly Based on Ontological Representation of Tasks, Skills, and Resources details
  • RPR Track abstract Mohan Sridharan, Tiago Mota and Ales LeonardisIntegrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics pdf
  • RPR Track abstract Nitisha Jain, Jan-Christoph Kalo, Wolf-Tilo Balke and Ralf KrestelDo Embeddings Actually Capture Knowledge Graph Semantics? pdf
  • RPR Track abstract Christoph Schütz, Loris Bozzato, Bernd Neumayr, Michael Schrefl and Luciano SerafiniKnowledge Graph OLAP: A multidimensional model and query operations for contextualized knowledge graphs pdf
  • RPR Track abstract Weixin Zeng, Xiang Zhao, Wei Wang, Jiuyang Tang and Zhen TanDegree-Aware Alignment for Entities in Tail pdf
in Gather enter 2021-11-10T11:25:00+01:00 - 2021-11-10T11:55:00+01:00 11:25 - 11:55


2021-11-10T14:15:00+01:00 - 2021-11-10T14:45:00+01:00 14:15 - 14:45

Diversity & Inclusion Session

chair: Magdalena Ortiz, Maria Vanina Martinez, Marco Maratea
room C
2021-11-10T14:45:00+01:00 - 2021-11-10T15:15:00+01:00 14:45 - 15:15

Break with activity

chair: Magdalena Ortiz, Maria Vanina Martinez and Marco Maratea
2021-11-10T15:15:00+01:00 - 2021-11-10T16:15:00+01:00 15:15 - 16:15

KR & Machine Learning

chair: Leo Bertossi
  • KR & ML long Ivan D. Rodriguez, Blai Bonet, Javier Romero and Hector GeffnerLearning First-Order Representations for Planning from Black Box States: New Results details
  • KR & ML long Brendan Juba, Hai Le and Roni SternSafe Learning of Lifted Action Models details
  • KR & ML long Robin Manhaeve, Giuseppe Marra and Luc De RaedtApproximate inference for Neural Probabilistic Logic Programming details
  • RPR Track abstract Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte and Sheila A. McIlraithInterpretable Sequence Classification via Discrete Optimization pdf
  • RPR Track abstract Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano and Sheila A. McIlraithLTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning (Extended Abstract) pdf
2021-11-10T15:15:00+01:00 - 2021-11-10T16:15:00+01:00 15:15 - 16:15

Answer Set / Logic Programming

chair: Tomi Janhunen
  • long Spencer Killen and Jia-Huai YouUnfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases details
  • long Thomas Eiter, Markus Hecher and Rafael KieselTreewidth-Aware Cycle Breaking for Algebraic Answer Set Counting details
  • long Jesse Heyninck and Ofer ArieliApproximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming details
  • short Fabio Aurelio D'Asaro, Paolo Baldi and Giuseppe PrimieroIntroducing k-lingo: a k-depth bounded version of ASP system clingo details
  • RPR Track abstract Giovanni Amendola, Mirek Truszczynski and Francesco RiccaExtending ASP to model problems beyond NP pdf
in Gather enter 2021-11-10T16:15:00+01:00 - 2021-11-10T16:45:00+01:00 16:15 - 16:45


in Gather enter 2021-11-10T16:45:00+01:00 - 2021-11-10T17:15:00+01:00 16:45 - 17:15
Informal discussion

Ernie Davis: Datasets and Benchmarks for Commonsense Reasoning

in Gather enter 2021-11-10T17:15:00+01:00 - 2021-11-10T17:30:00+01:00 17:15 - 17:30


see email 2021-11-10T17:30:00+01:00 - 2021-11-10T19:00:00+01:00 17:30 - 19:00

Mystery Adventure (group 1)

see email 2021-11-10T20:30:00+01:00 - 2021-11-10T22:00:00+01:00 20:30 - 22:00

Mystery Adventure (group 2)

Thursday, 11 Nov 2021

see email 2021-11-11T07:30:00+01:00 - 2021-11-11T09:00:00+01:00 07:30 - 09:00

Mystery Adventure (group 3)

2021-11-11T09:15:00+01:00 - 2021-11-11T10:00:00+01:00 09:15 - 10:00

Synthesis & Planning

chair: Wojtek Jamroga
  • long Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano and Sasha RubinSynthesizing Best-effort Strategies under Multiple Environment Specifications details
  • long Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli and Shufang ZhuSynthesis with Mandatory Stop Actions details
  • long David Rajaratnam and Michael ThielscherRepresenting and Reasoning with Event Models for Epistemic Planning details
2021-11-11T09:15:00+01:00 - 2021-11-11T10:00:00+01:00 09:15 - 10:00

Explanation 2

chair: Joao Marques-Silva
  • long Gianfranco Lamperti, Marina Zanella and Xiangfu ZhaoDiagnosis of active systems with abstract observations and compiled knowledge details
  • long Ringo Baumann and Markus UlbrichtChoices and their Consequences - Explaining LONGable Sets in Abstract Argumentation Frameworks details
  • long Shqiponja Ahmetaj, Robert David, Magdalena Ortiz, Axel Polleres, Bojken Shehu and Mantas SimkusReasoning about Explanations for Non-validation in SHACL details
in Gather enter 2021-11-11T10:00:00+01:00 - 2021-11-11T10:30:00+01:00 10:00 - 10:30


in Gather enter 2021-11-11T10:30:00+01:00 - 2021-11-11T10:45:00+01:00 10:30 - 10:45


in Gather enter 2021-11-11T10:45:00+01:00 - 2021-11-11T11:15:00+01:00 10:45 - 11:15
Informal discussion

Torsten Schaub: Pushing KRR to industry: From to

2021-11-11T13:45:00+01:00 - 2021-11-11T14:30:00+01:00 13:45 - 14:30

Belief Change

chair: Gabriele Kern-Isberner
  • long Marlo Souza and Renata WassermannBelief Contraction in Non-classical logics as Hyperintensional Belief Change details
  • long Patricia Everaere, Chouaib Fellah, Sébastien Konieczny and Ramon Pino PerezBorda, Cancellation and Belief Merging details
  • long Jandson S. Ribeiro and Matthias ThimmConsolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability details
2021-11-11T13:45:00+01:00 - 2021-11-11T14:30:00+01:00 13:45 - 14:30

Applications & Systems 1

chair: Uli Sattler
  • App & Systems long Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skočovský and Daria StepanovaAnswer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling details
  • KR & ML long Devendra Dhami, Mayukh Das and Sriraam NatarajanBeyond Simple Images: Human Knowledge-Guided GANs for Clinical Data Generation details
  • App & Systems short Patrick Rodler, Erich Teppan and Dietmar JannachRandomized Problem-Relaxation Solving for Over-Constrained Schedules details
  • short Yida Xin, Henry Lieberman and Peter ChinPATCHCOMM: Using Commonsense Knowledge to Guide Syntactic Parsers details
in Gather enter 2021-11-11T14:30:00+01:00 - 2021-11-11T15:00:00+01:00 14:30 - 15:00


in Gather enter 2021-11-11T15:00:00+01:00 - 2021-11-11T15:15:00+01:00 15:00 - 15:15


2021-11-11T15:15:00+01:00 - 2021-11-11T16:15:00+01:00 15:15 - 16:15
Invited Talk:

Joshua Tenenbaum
Reverse Engineering Human Cognitive Development: What Do We Start With, and How Do We Learn The Rest?

chair: Gerhard Lakemeyer
in Gather enter 2021-11-11T16:15:00+01:00 - 2021-11-11T16:30:00+01:00 16:15 - 16:30


2021-11-11T16:30:00+01:00 - 2021-11-11T17:30:00+01:00 16:30 - 17:30

Future of KR Session

chair: Carsten Lutz
room A
2021-11-11T19:00:00+01:00 - 2021-11-11T20:00:00+01:00 19:00 - 20:00

Social Dinner

chair: Long Tran-Thanh

Friday, 12 Nov 2021

2021-11-12T09:00:00+01:00 - 2021-11-12T10:00:00+01:00 09:00 - 10:00
Invited Talk:

Jochen Renz
Spatial and Physical Reasoning: From Angry Birds to Open World AI

chair: Michael Thielscher
in Gather enter 2021-11-12T10:00:00+01:00 - 2021-11-12T10:15:00+01:00 10:00 - 10:15


2021-11-12T10:15:00+01:00 - 2021-11-12T11:00:00+01:00 10:15 - 11:00

Epistemic Logic

chair: François Schwarzentruber
  • long Thomas Ågotnes and Yì Nicholas WángSomebody Knows details
  • long Yusuke Kawamoto, Tetsuya Sato and Kohei SuenagaFormalizing Statistical Beliefs in Hypothesis Testing Using Program Logic details
  • short Andreas Herzig, Frédéric Maris and Elise PerrotinA Dynamic Epistemic Logic with Finite Iteration and Parallel Composition details
  • short Andreas Herzig and Antonio Yuste-GinelOn the epistemic logic of incomplete argumentation frameworks details
2021-11-12T10:15:00+01:00 - 2021-11-12T11:00:00+01:00 10:15 - 11:00

Applications & Systems 2

chair: Martin Gebser
  • App & Systems long Mate Soos and Kuldeep S. MeelGaussian Elimination meets Maximum Satisfiability details
  • KR & ML long Taisuke Sato and Ryosuke KojimaBoolean network learning in vector spaces for genome-wide network analysis details
  • App & Systems short Marjolein Deryck, Nuno Comenda, Bart Coppens and Joost VennekensCombining Logic and Natural Language Processing to Support Investment Management details
  • App & Systems short Carl Corea, Matthias Thimm and Patrick DelfmannMeasuring Inconsistency over Sequences of Business Rule Cases details
in Gather enter 2021-11-12T11:00:00+01:00 - 2021-11-12T11:30:00+01:00 11:00 - 11:30


2021-11-12T14:00:00+01:00 - 2021-11-12T15:00:00+01:00 14:00 - 15:00

Description Logics

chair: Tommie Meyer
  • long Robin Nolte and Thomas SchneiderProperties of Module Notions and Atomic Decomposition details
  • long Claudia Cauli, Magdalena Ortiz and Nir PitermanClosed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security details
  • long Alessandro Artale, Andrea Mazzullo, Ana Ozaki and Frank WolterOn Free Description Logics with Definite Descriptions details
  • short Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova and Marcel SteinmetzMaking DL-Lite Planning Practical details
  • RPR Track abstract Franz Baader, Patrick Koopmann, Francesco Kriegel and Adrian NuradiansyahComputing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes pdf
2021-11-12T14:00:00+01:00 - 2021-11-12T14:55:00+01:00 14:00 - 14:55

Argumentation 3

chair: Francesca Toni
  • long Annemarie Borg and Floris BexEnforcing Sets of Formulas in Structured Argumentation details
  • long Zeynep G. Saribatur and Johannes P. WallnerExistential Abstraction on Argumentation Frameworks via Clustering details
  • short Wolfgang Dvořák, Matthias König and Stefan WoltranOn the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length details
  • short Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba and Matthias ThimmDistinguishability in Abstract Argumentation details
  • short Markus UlbrichtOn the Maximal Number of Complete Extensions in Abstract Argumentation Frameworks details
in Gather enter 2021-11-12T15:00:00+01:00 - 2021-11-12T15:30:00+01:00 15:00 - 15:30


in Gather enter 2021-11-12T15:30:00+01:00 - 2021-11-12T15:45:00+01:00 15:30 - 15:45


room A
2021-11-12T15:45:00+01:00 - 2021-11-12T16:30:00+01:00 15:45 - 16:30

Closing Session

chair: Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem