Arthur Sanin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2025
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2023 | ECSQARU | Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem. | Martin von Berg, Arthur Sanin, Christoph Beierle |
| 2022 | FlAIRS | Realization of c-Inference as a SAT Problem. | Christoph Beierle, Martin von Berg, Arthur Sanin |