Program Friday, September 29th

Registration opens at 8:30 (LogistikCampus, Foyer).

9:00 – 10:00 Invited Talk: Gerhard Brewka
Computational Models of Argument: A Fresh View on Old AI Problems
(abstract)
(Lecture Hall of LogistikCampus; Chair: Gabriele Kern-Isberner)
10:00 – 10:30 Coffee Break
10:30 – 12:30 Technical Session #5: Logic and Reasoning
(Lecture Hall of LogistikCampus; Session Chair: Matthias Thimm)

David Fuenmayor and Christoph Benzmüller. Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic

Gerhard Schurz and Paul Thorn. A Priori Advantages of Meta-Induction and the No Free Lunch Theorem: a Contradiction?

Lucas Bechberger and Kai-Uwe Kühnberger. A Thorough Formalization of Conceptual Spaces for Machine Learning and Reasoning

Daniel Ringler and Heiko Paulheim. One Knowledge Graph to Rule them All? Analyzing the Differences between DBpedia, YAGO, Wikidata & co.

Daniel Gorin, Malte Meyn, Alexander Naumann, Miriam Polzer and Lutz Schröder. Ontological Modelling of a Psychiatric Clinical Practice Guideline

Nguyen Duy Hung. A Generalization of Probabilistic Argumentation with Dempster-Shafer Theory

Giovanni Sileno, Isabelle Bloch, Jamal Atif and Jean-Louis Dessalles. Similarity and contrast on conceptual spaces for pertinent description generation

12:30 – 14:00 Lunch Break
14:00 – 16:00 Technical Session #6: Multiagent Systems and Robots
(Lecture Hall of LogistikCampus; Session Chair: Christian Eichhorn)

Martin Aleksandrov and Toby Walsh. Expected Outcomes and Manipulations in Online Fair Division

Martin Aleksandrov and Toby Walsh. Most Competitive Mechanisms in Online Fair Division

Leonid Berov. Plotting through Fictional Minds: An Affective BDI Architecture for Modeling Narratives

Binal Javia and Philipp Cimiano. A Logical Programming Approach to Collaborative Autonomous Robotics

Nayabrasul Shaik, Thomas Liebig, Christopher Kirsch and Heinrich Mueller. Dynamic map update of non-static facility logistics environment with a multi-robot system

Bernhard Reiterer and Michael Hofbaur. Opportunistic Planning with Recovery for Robot Safety

Mihai Pomarlan, Sebastian Koralewski and Michael Beetz. From natural language instructions to structured robot plans

Lukas Reuter, Jan Ole Berndt and Ingo J. Timm. Simulation-Based Role Optimization in Organizations

16:00 – 16:00 Closing & Coffee Break

Long paper and sister conference presentations (plain font) are 15 + 5 minutes presentations, short paper presentations (italics) are 7 + 3 minutes presentations.