Aron Spang

According to our database, Aron Spang authored at least 3 papers in 2024.

Collaborative distances:

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

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