Arthur Sanin

According to our database, Arthur Sanin authored at least 5 papers between 2022 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