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