Detailed Schedule

	A	D	E	F	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
42
43
44	September 6
45
46	8:30 – 9:30	Invited Talk: Michael Gelfond (Texas Tech University): Knowledge Representation in the Languages of Logic Programs under Answer Set Semantics
47
48	9:30-10:20	Belief Revision and Update			Computational aspects of knowledge representation
49		Patricia Everaere, Chouaib Fellah, Sébastien Konieczny and Ramon Pino Perez	Weighted Merging of Propositional Belief Bases		Agata Ciabattoni and Dmitry Rozplokhas	Streamlining Input/Output Logics with Sequent Calculi
50		Eduardo Fermé, Sébastien Konieczny, Ramon Pino Perez and Nicolas Schwind	Credible Models of Belief Update		Stéphane Demri and Raine Rönnholm	How to Manage a Budget with ATL+
51
52	10:20-10:50	Coffee Break
53
54	10:50-12:10	Automated Reasoning and Argumentation			Application of KR
55		Tim Lyon, Lucía Gómez Álvarez and Nicola Gigante	Standpoint Linear Temporal Logic		Yakoub Salhi and Michael Sioutis	A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning
56		Elena Umili, Roberto Capobianco and Giuseppe De Giacomo	Grounding LTLf specifications in image sequences		Ruolin Wang, Yuejiao Xu, Jie Peng and Jianmin Ji	A$^2$CoST: An ASP-based Avoidable Collision Scenario Testbench for Autonomous Vehicles
57		Lars Bengel and Matthias Thimm	Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation		Panagiotis Kouvaros, Francesco Leofante, Blake Edwards, Calvin Chung, Dragos Margineantu and Alessio Lomuscio	Verification of Semantic Key Point Detection for Aircraft Pose Estimation
58		Michael Bernreiter and Matthias König	From Qualitative Choice Logic to Abstract Argumentation		Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto and Yazmín Ibáñez-García	Combining Global and Local Merges in Logic-based Entity Resolution
59		Ringo Baumann and Anne-Marie Heine	On Conflict-free Labellings – Realizability, Construction and Patterns of Redundancy
60
61
62	12:10-14:00	Lunch Break
63
64	14:00-15:00	Invited Talk: Claudia d’Amato (University of Bari): On the need of semantics when tackling Knowledge Graph completion under a Machine Learning perspective
65
66	15:00 – 15:30	Coffee Break
67
68	15:30- 17:10	RPR (3) (15:30 – 16:00)			Multi-Agent Systems and Knowledge Compilation
69		Computational aspects of knowledge representation (16:00 – 17:15)			Shuwen Liu, Bernardo Cuenca Grau, Ian Horrocks and Egor V. Kostylev	Revisiting Inferential Benchmarks for Knowledge Graph Completion
70		Przemysław Andrzej Wałęga, Michal Zawidzki and Christoph Haase	Computing All Facts Entailed By An LTL Specification		Maksim Gladyshev, Natasha Alechina, Mehdi Dastani and Dragan Doder	Group Responsibility for Increasing Risk
71		Alessandro Artale, Luca Geatti, Nicola Gigante, Andrea Mazzullo and Angelo Montanari	A singly exponential transformation of LTL[X, F] into pure past LTL		Rafael Kiesel and Thomas Eiter	Knowledge Compilation and more with SharpSAT-TD
72		Thomas Lukasiewicz, Enrico Malizia and Cristian Molinaro	Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Preferred Repairs		Wojtek Jamroga and Yan Kim	Practical Abstraction for Model Checking of Multi-Agent Systems
73
74	17:20 –	Excursion & Banquet
75
76	September 7
77
78	8:30 – 9:30	Invited Talk: Torsten Schaub (University of Potsdam): ASP in Industry, here and there
79
80	9:30 – 10:45	Logic Programming			Argumentation and Reasoning About Knowledge
81		Markus Hecher and Rafael Kiesel	The Impact of Structure in Answer Set Counting: Fighting Cycles and its Limits		Daxin Liu, Qihui Feng, Vaishak Belle and Gerhard Lakemeyer	Concerning Measures in a First-order Logic with Actions and Meta-beliefs
82		Zeynep G. Saribatur and Stefan Woltran	Foundations for Projecting Away the Irrelevant in ASP Programs		Ofer Arieli and Jesse Heyninck	Simple Contrapositive Assumption-Based Argumentation with Partially-Ordered Preferences
83		Jorge Fandinno and Vladimir Lifschitz	Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs		Daphne Odekerken, Tuomo Lehtonen, Annemarie Borg, Johannes P. Wallner and Matti Järvisalo	Argumentative Reasoning in ASPIC+ under Incomplete Information
84
85	10:45 – 11:15	Coffee Break
86
87	11:15 – 12:15	DI Session
88
89	12:15 – 14:00	Lunch Break
90
91
92	14:00 – 15:40	Applications of KR		14:00 – 15:40	Explainable AI
93		Periklis Mantenoglou, Dimitrios Kelesis and Alexander Artikis	Complex Event Recognition with Allen Relations		Federico Sabbatini and Roberta Calegari	Explainable Clustering with CREAM
94		Adam Ishay, Zhun Yang and Joohyung Lee	Neuro-Symbolic Reasoning with Large Language Models and Answer Set Programming: A Case Study on Logic Puzzles		Lance Kennedy, Issouf Kindo and Arthur Choi	On Training Neurons with Bounded Compilations
95		Valeria Fionda, Antonio Ielo and Francesco Ricca	Logic-based Composition of Business Process Models		Clément Carbonnel, Martin Cooper and Joao Marques-Silva	Tractable Explaining of Multivariate Decision Trees
96		Frederico Aleixo, Matthias Knorr and Joao Leite	Revising Boolean Logical Models of Biological Regulatory Networks		David Tena Cucala, Bernardo Cuenca Grau, Boris Motik and Egor Kostylev	On the Correspondence Between Max-Sum GNNs and Datalog
97
98
99	15:40 – 16:10	Coffee Break
100
101	16:10 – 17:50	Argumentation & Explainable AI			Belief Revision
102		Antonio Rago, Hengzhi Li and Francesca Toni	Interactive Explanations by Conflict Resolution via Argumentative Exchanges		Jesse Heyninck, Giovanni Casini, Thomas Meyer and Umberto Straccia	Revising typical beliefs: one revision to rule them all
103		Cándido Otero, Dennis Craandijk and Floris Bex	ORLA: Learning Explainable Argumentation Models		Daira Pinto Prieto, Ronald de Haan and Aybüke Özgün	A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence
104		Matti Berthold, Anna Rapberger and Markus Ulbricht	Forgetting Aspects in Assumption-Based Argumentation		Nicolas Schwind, Sébastien Konieczny and Ramon Pino Perez	Iteration of Iterated Belief Revision
105		Rita T. Sousa, Sara Silva and Catia Pesquita	Explainable representations for relation prediction in knowledge graphs		Alejandro J. Mercado, Daniel Grimaldi and Ricardo Oscar Rodriguez	Weak-ensconcement for Shielded base contraction
106
107
108	September 8
109
110	8:30 – 9:30	Invited Talk: Rineke Verbrugge (University of Groningen): Reasoning about reasoning about reasoning: from logic to the lab
111
112	9:30 – 10:45	Description Logic			Computational aspects of knowledge representation
113		Carsten Lutz, Quentin Manière and Robin Nolte	Querying Circumscribed Description Logic Knowledge Bases		Michel Leclère, Marie-Laure Mugnier and Guillaume Pérution-Kihli	Query Rewriting with Disjunctive Existential Rules and Mappings
114		Lucía Gómez Álvarez, Sebastian Rudolph and Hannes Strass	Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+		Claire David, Nadime Francis and Victor Marsault	Run-Based Semantics for RPQs
115		Ronald Fagin, Phokion Kolaitis, Domenico Lembo, Lucian Popa and Federico Scafoglieri	A Framework for Combining Entity Resolution and Query Answering in Knowledge Bases		Meghyn Bienvenu and Camille Bourgaux	Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
116
117	10:45 – 11:15	Coffee Break
118
119	11:15 – 12:05	Planning			Constraint Acquisition and Description Logic
120		Ava Clifton and Charles Gretton	Property Directed Reachability for Planning Revisited		Grégoire Menguy, Sebastien Bardin, Nadjib Lazaar and Arnaud Gotlieb	Active Disjunctive Constraint Acquisition
121		Dominik Drexler, Jendrik Seipp and Hector Geffner	Learning Hierarchical Policies by Iteratively Reducing the Width of Sketch Rules		Carsten Lutz and Lukas Schulze	Description Logics with Abstraction and Refinement
122
123	12:05 – 14:00	Lunch Break
124
125	13:30 – 14:00	Coffee Break
126
127	14:00 – 15:15	Argumentation			Reasoning about Knowledge and Knowledge Compilation
128		Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht and Johannes P. Wallner	Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity		Paulius Dilkas and Vaishak Belle	Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures
129		Lydia Blümel and Matthias Thimm	Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics		Marcos Cramer, Samuele Pollaci and Bart Bogaerts	Mathematical Foundations for Joining Only Knowing and Common Knowledge
130		Henry Prakken	Relating Abstract and Structured Accounts of Argumentation Dynamics: the Case of Expansions		Sourav Chakraborty, Avijeet Ghosh, Sujata Ghosh and François Schwarzentruber	On simple expectations and observations of intelligent agents: A complexity study
131
132	15:15 – 15:45	Closing