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

Wednesday, 10 Nov 2021

room A

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

Break

room A

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

room B

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

Posters

room A

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

room A

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

room B

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