| Session | L3 |
| Title | Logic III |
| Chair | Alessio Lomuscio |
| 782 | Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases |
| Christian Muise, Tim Miller, Paolo Felli, Adrian R Pearce, Liz Sonenberg | |
| 397 | Arbitrary Public Announcement Logic with Mental Programs |
| Tristan Charrier, François Schwarzentruber | |
| 70 | Neuro-Symbolic Agents: Boltzmann Machines and Probabilistic Abstract Argumentation with Sub-Arguments |
| Regis Riveret, Jeremy Pitt, Dimitrios Korkinof, Moez Draief | |
| 102 | Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents |
| Sujata Ghosh, Fernando R. Velázquez-Quesada | |
| 597 | Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicates |
| Daniel J. Rosenkrantz, Madhav V. Marathe, Harry B. Hunt III, S. S. Ravi, Richard E. Stearns | |
| 144 | Argumentation-based Ranking Logics |
| Leila Amgoud, Jonathan Ben-Naim |