Martin von Berg

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Nonmonotonic Inference

Top Venues

Publications

Martin von Berg, Arthur Sanin, Christoph Beierle
Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems. FoIKS (2024)
Martin von Berg, Arthur Sanin, Christoph Beierle
Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem. ECSQARU (2023)
Christoph Beierle, Martin von Berg, Arthur Sanin
Realization of c-Inference as a SAT Problem. FLAIRS (2022)
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
Towards a framework of hansson's descriptor revision for conditionals. SAC (2021)
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA (2021)
Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR (2020)
Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI (2020)