August 31, 4:00 pm - 5:30 pm (CEST)


  • Zeynep G. Saribatur. Abstraction for ASP Planning
  • Mariela Morveli-Espinoza, Juan Carlos Nieves and Cesar A. Tacla. Towards an Imprecise Probability Approach for Abstract Argumentation
  • Mehul Bhatt and Jakob Suchan. Cognitive Vision and Perception: Deep Semantics Integrating AI and Vision for (Declarative) Reasoning about Space, Action, and Motion
  • Alexander Steen and Christoph Benzmüller. The Higher-Order Prover Leo-III
  • Loris Bozzato, Luciano Serafini and Thomas Eiter. Reasoning with Justifiable Exceptions in Contextual Hierarchies
  • Eleonora Chiodino, Antonio Lieto, Federico Perrone and Gian Luca Pozzato. A goal-oriented framework for knowledge invention and creative problem solving in cognitive architectures
  • Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle and Kai Sauerwald. Cognitive Logics – Features, Formalisms, and Challenges
  • Jakob Suchan and Mehul Bhatt. Driven by Commonsense: On the Role of Human-Centred Visual Explainability for Autonomous Vehicles
  • Aneta Koleva. Review of the Recent Techniques for Learning Commonsense Knowledge applied to the Winograd Schema Challenge
  • David Fuenmayor and Christoph Benzmüller. Normative Reasoning with Expressive Logic Combinations
  • Mohan Sridharan. Refinement-Based Architecture for Knowledge Representation, Explainable Reasoning, and Interactive Learning on Robots