last modified: 06 Nov 2021

Search titles and author lists

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