Issue 1-2/2024 NON-CLASSICAL REASONING
Content (13 Articles)
Non-Classical Reasoning for Contemporary AI Applications
- Open Access
- Editorial
Alexander Steen, Christoph Benzmüller
Challenges for Non-Classical Reasoning in Contemporary AI Applications
- Open Access
- Technical Contribution
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
- Interview
Alexander Steen, Christoph Benzmüller
Learning Normative Behaviour Through Automated Theorem Proving
- Open Access
- Technical Contribution
Emery A. Neufeld
Modeling Family Logics for Artificial Intelligence: Doxastic-Temporal Logics for Reasoning About Goals
- Technical Contribution
James T. Oswald, Brandon Rozek, Thomas M. Ferguson
CLKR: Conditional Logic and Knowledge Representation
- Open Access
- Systems Description
Christoph Beierle, Jonas Haldimann, Leon Schwarzer
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning
- Systems Description
Brandon Rozek, Selmer Bringsjord
Semantics of Belief Change Operators for Intelligent Agents
- Open Access
- Dissertation and Habilitation Abstracts
Kai Sauerwald
Computer-Verified Foundations of Metaphysics
- Open Access
- Dissertation and Habilitation Abstracts
Daniel Kirchner
Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract
- Open Access
- Dissertation and Habilitation Abstracts
Melissa Antonelli
