last modified: 06 Nov 2021

Search titles and author lists

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)