Aron Spang

According to our database, Aron Spang authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

The InfOCF Library for Reasoning With Conditional Belief Bases.

Christoph Beierle, Jonas Haldimann, Arthur Sanin, Aron Spang, Lars-Phillip Spiegel, Martin von Berg

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

Implementing Lexicographic Inference Using Partial MaxSAT.

Jonas Haldimann, Aron Spang, Lars-Phillip Spiegel, Christoph Beierle

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2025

2024

Scaling Up Reasoning from Conditional Belief Bases.

Christoph Beierle, Jonas Haldimann, Arthur Sanin, Leon Schwarzer, Aron Spang, Lars-Phillip Spiegel, Martin von Berg

Proceedings of the Scalable Uncertainty Management - 16th International Conference, 2024

Using SAT and Partial MaxSAT for Reasoning with System Z and System W.

Christoph Beierle, Aron Spang, Jonas Haldimann

Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024

A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W.

Christoph Beierle, Aron Spang, Jonas Haldimann

Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024