Martin von Berg

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

Collaborative distances:

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

2024

An implementation of nonmonotonic reasoning with c-representations using an SMT solver.

Martin von Berg, Arthur Sanin, Christoph Beierle

Int. J. Approx. Reason., 2024

Scaling Up Reasoning from Conditional Belief Bases.

Christoph Beierle, Jonas Haldimann, Arthur Sanin, Leon Schwarzer, Aron Spang, Lars-Phillip Spiegel, Martin von Berg

Proceedings of the Scalable Uncertainty Management - 16th International Conference, 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