Aron Spang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2024–2026
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FlAIRS | Implementing Nonmonotonic Reasoning From Weakly Consistent Conditional Belief Bases. | Christoph Beierle, Aron Spang, Lars-Phillip Spiegel, Jonas Haldimann |
| 2025 | ECSQARU | Implementing Lexicographic Inference Using Partial MaxSAT. | Jonas Haldimann, Aron Spang, Lars-Phillip Spiegel, Christoph Beierle |
| 2025 | JELIA | The InfOCF Library for Reasoning With Conditional Belief Bases. | Christoph Beierle, Jonas Haldimann, Arthur Sanin, Aron Spang, Lars-Phillip Spiegel, Martin von Berg |
| 2024 | FlAIRS | A Partial MaxSAT Approach to Nonmonotonic Reasoning with System W. | Christoph Beierle, Aron Spang, Jonas Haldimann |