last modified: 06 Nov 2021

Search titles and author lists

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