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
KR 2021 rooms
KR 2021 sessions are recorded. The video will show only the person talking (the presenter), so keep your microphone off if you don't want your camera feed to be accidentally included. Please refer to this page for more info. By entering the room you accept these conditions.
To enter, just click the button "enter room" (no passcode required).
In case you need this info, this session is assigned the Zoom meeting ID: (you will need the passcode - see email).
long Magdalena Kacprzak, Artur Niewiadomski and Wojciech PenczekSatisfiability Checking of Strategy Logic with Simple Goalsdetails
long Julian Gutierrez, Lewis Hammond, Anthony Lin, Muhammad Najib and Michael WooldridgeRational Verification for Probabilistic Systemsdetails
long Wojciech Jamroga, Wojciech Penczek and Teofil SidorukStrategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Themdetails
long Bastien Maubert, Munyque Mittelmann, Aniello Murano and Laurent PerrusselStrategic Reasoning in Automated Mechanism Designdetails
RPR Trackabstract 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 Systemspdf
KR & RoboticslongBest Student Paper Joint Runner-up Thomas Bolander, Lasse Dissing and Nicolai HerrmannDEL-based Epistemic Planning for Human-Robot Collaboration: Theory and Implementationdetails
KR & Roboticsshort 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 Resourcesdetails
RPR Trackabstract Mohan Sridharan, Tiago Mota and Ales LeonardisIntegrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Roboticspdf
RPR Trackabstract Christoph Schütz, Loris Bozzato, Bernd Neumayr, Michael Schrefl and Luciano SerafiniKnowledge Graph OLAP: A multidimensional model and query operations for contextualized knowledge graphspdf
RPR Trackabstract Weixin Zeng, Xiang Zhao, Wei Wang, Jiuyang Tang and Zhen TanDegree-Aware Alignment for Entities in Tailpdf
in Gather enter2021-11-10T11:25:00+01:00 -
2021-11-10T11:55:00+01:0011:25 - 11:55
KR & MLlong Ivan D. Rodriguez, Blai Bonet, Javier Romero and Hector GeffnerLearning First-Order Representations for Planning from Black Box States: New Resultsdetails
KR & MLlong Brendan Juba, Hai Le and Roni SternSafe Learning of Lifted Action Modelsdetails
KR & MLlong Robin Manhaeve, Giuseppe Marra and Luc De RaedtApproximate inference for Neural Probabilistic Logic Programmingdetails
RPR Trackabstract Maayan Shvo, Andrew C. Li, Rodrigo Toro Icarte and Sheila A. McIlraithInterpretable Sequence Classification via Discrete Optimizationpdf
RPR Trackabstract 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
App & Systemslong Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skočovský and Daria StepanovaAnswer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Schedulingdetails
KR & MLlong Devendra Dhami, Mayukh Das and Sriraam NatarajanBeyond Simple Images: Human Knowledge-Guided GANs for Clinical Data Generationdetails
App & Systemsshort Patrick Rodler, Erich Teppan and Dietmar JannachRandomized Problem-Relaxation Solving for Over-Constrained Schedulesdetails
short Yida Xin, Henry Lieberman and Peter ChinPATCHCOMM: Using Commonsense Knowledge to Guide Syntactic Parsersdetails
in Gather enter2021-11-11T14:30:00+01:00 -
2021-11-11T15:00:00+01:0014:30 - 15:00
in Gather enter2021-11-11T15:00:00+01:00 -
2021-11-11T15:15:00+01:0015:00 - 15:15