Program

last modified: 06 Nov 2021

All times are CET. The selector below allows you to display all times in your current timezone (estimated by your browser). Note that some regions will switch to standard time during the conference. This functionality is provided for your convenience, and we recommend that you double-check that the conversion is correct in your case.

Search titles and author lists

We 3 Th 4 Fr 5 Mo 8 Tu 9 We 10 Th 11 Fr 12 All

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)

room A

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

room B

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

Posters

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

Break

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 potassco.org to potassco.com

room A

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

room B

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