Martin von Berg

According to our database, Martin von Berg authored at least 6 papers between 2020 and 2024.

Collaborative distances:

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

2024

Scaling up Nonmonotonic c-Inference via Partial MaxSAT Problems.

Martin von Berg, Arthur Sanin, Christoph Beierle

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Representing Nonmonotonic Inference Based on c-Representations as an SMT Problem.

Martin von Berg, Arthur Sanin, Christoph Beierle

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

2022

Realization of c-Inference as a SAT Problem.

Christoph Beierle, Martin von Berg, Arthur Sanin

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

Towards a framework of hansson's descriptor revision for conditionals.

Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Conditional Descriptor Revision and Its Modelling by a CSP.

Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2020

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation.

Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020