Martin von Berg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2025
Best venue rank
B
Where they publish
Papers
6 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 |
| 2021 | JELIA | Conditional Descriptor Revision and Its Modelling by a CSP. | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2021 | SAC | Towards a framework of hansson's descriptor revision for conditionals. | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | KI | Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. | Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle |