Schedule Tuesday, September 5

	A	D	E	I	J	L	M
1	September 5
2
3	8:30-9:00	Opening
4
5		Room A		Room B		Room C
6
7	9:00-10:15	KRR Application 1		Computational aspects of knowledge representation and Uncertainty		DC (9:05-10:15): Introduction and Invited Talk
8		Denise Angilica, Mario Avolio, Giovanni Beraldi, Giovambattista Ianni and Francesco Pacenza	From Vision to Execution: Enabling Reasoning and Knowledge Representation in Hybrid Intelligent Robots Playing Mobile Games	Vít Punčochář	Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics	Mary-Anne Williams: Leading Innovation and Collaboration in Knowledge Representation Research
9		Agi Kurucz, Frank Wolter and Michael Zakharyaschev	Definitions and (Uniform) Interpolants in First-Order Modal Logic	Tommaso Flaminio, Sandro Preto and Sara Ugolini	Reasoning about probability via continuous functions
10		Benjamin Alt, Franklin Kenghagho Kenfack, Andrei Haidu, Darko Katic, Rainer Jäkel and Michael Beetz	Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations	Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal and Jonni Virtema	Unified Foundations of Team Semantics via Semirings
11
12	10:15-10:45	Coffee Break
13
14	10:45-12:05	Computational aspects of knowledge representation and Uncertainty		Explainable AI and Preferences		DC (10:40-12:10): Learning & Cognition
15		David Fernández-Duque, Brett McLean and Lukas Zenger	A Family of Decidable Bi-intuitionistic Modal Logics	Shaked Almog and Meir Kalech	Diagnosis for Post Concept Drift Decision Trees Repair	Matteo Magnini	Symbolic Transfer Learning through Knowledge Manipulation Methods
16		Lukas Gerlach and David Carral	Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination	Alexander Bochman	Default Logic as a Species of Causal Reasoning	Adam Ishay	Neuro-Symbolic Reasoning by Coupling Neural Networks with Symbolic Logic
17		Tim Lyon and Piotr Ostropolski-Nalewaja	Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules	Mauricio Salerno, Raquel Fuentetaja and Jendrik Seipp	Eliminating Redundant Actions from Plans using Classical Planning	Mingkun Xu	Constructing graph-based Structured Framework for Bridging Cognition and Neuromorphic Computing
18		Jonas Philipp Haldimann and Christoph Beierle	Finest Syntax Splittings of Ranking Functions and Total Preorders on Worlds	Toryn Q. Klassen, Christian Muise and Sheila McIlraith	Planning with Epistemic Preferences	Vasileios Theodoros Markos	Towards Cognitive Representatives
19		Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann and Aniello Murano	Strategic Abilities of Forgetful Agents in Stochastic Environments	Francesco Leofante, Elena Botoeva and Vineet Rajani	Counterfactual Explanations and Model Multiplicity: a Relational Verification View	Francis Ward	Deceptive AI Systems
20						Samuele Pollaci	A Category-Theoretic Perspective on Approximation Fixpoint Theory
21
22	12:05 – 14:00	Lunch Break
23
24	14:00 – 15:00	Invited Talk: Luc de Raedt (KU Leuven): How to Make Logics Neurosymbolic
25
26	15:00-15:50	RPR (5)		Learning		DC (15:05-15:50): Planning
27				Simon Ståhlberg, Blai Bonet and Hector Geffner	Learning General Policies with Policy Gradient Methods	Kumar Manas	Heterogeneous Knowledge source Representation Learning for Automated Driving
28				Yannet Interian and Sara Bernardini	Learning Interpretable Heuristics for WalkSAT	Nazlı Nur Karabulut	Solving Isomorphic Dec-POMDPs Using Bayesian Games
29						Augusto B. Corrêa	Grounding Planning Tasks
30
31	15:50-16:20	Coffee Break
32
33				Commonsense Reasoning		DC (16:15-18:00): Applications
34	16:20-18:00	RPR (9) (16:20 – 17:50)		Pietro Galliani, Oliver Kutz and Nicolas Troquard	Succinctness and Complexity of ALC with Counting Perceptrons	Elena Štefancová	Targeting the Transparency of Recommender Systems by Employing Knowledge Representation
35				Xinghan Liu, Emiliano Lorini, Andreas Herzig and Carlos Aguilera-Ventura	Counterfactual Reasoning via Grounded Distance	Deniz Gorur	Judgemental Forecasting in Argumentation Theory
36				Sean Zammit and Michael Thielscher	General Game Playing With State-Independent Communication	Caren Al Anaissy	Applying Formal Argumentation Theory to Legal Reasoning
37		ICCMA argumentation system competition (17:50-18:00)		Marco Wilhelm	Integrating Linear Arithmetic Constraints Into Conditional Maximum Entropy Reasoning	M. Jaleed Khan	Leveraging Heterogeneous Knowledge Graphs for Scene Graph Enrichment in Neurosymbolic Visual Understanding and Reasoning
38						Peter Anthony	Malware Detection Based on Explainable AI
39						Anouk Michelle Oudshoorn	Combining SHACL and Ontologies
40						Anton Gnatenko	Ontology-Mediated Queries in Temporal Description Logics
41	18:00-18:30	KR Manifesto