- Kai Sauerwald. Semantics of Belief Change Operators for Intelligent Agents. KI, 38(1):89-93, August 2024.
- Daniel Kirchner. Computer-Verified Foundations of Metaphysics. KI, 38(1):95-98, August 2024.
- Guido Governatori. An ASP Implementation of Defeasible Deontic Logic. KI, 38(1):79-88, August 2024.
- Brandon Rozek, Selmer Bringsjord. Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning. KI, 38(1):69-77, August 2024.
- Xavier Parent 0001. Report on "Axiomatizing Conditional Normative Reasoning". KI, 38(1):107-111, August 2024.
- Emery A. Neufeld. Learning Normative Behaviour Through Automated Theorem Proving. KI, 38(1):25-43, August 2024.
- Christoph Beierle, Jonas Haldimann, Leon Schwarzer. CLKR: Conditional Logic and Knowledge Representation. KI, 38(1):61-67, August 2024.
- James T. Oswald, Brandon Rozek, Thomas Macaulay Ferguson. Modeling $\mathscr {C}^{0}$ Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals. KI, 38(1):45-59, August 2024.
- Melissa Antonelli. Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract. KI, 38(1):99-105, August 2024.
- Alexander Steen, Christoph Benzmüller. What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der Torre. KI, 38(1):17-23, August 2024.