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

Posters:

• 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