Nicolas Rühling

According to our database, Nicolas Rühling authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report.

Nicolas Rühling, Torsten Schaub, Tobias Stolzmann

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

2022

plingo: A system for probabilistic reasoning in clingo based on lpmln.

Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

CoRR, 2022

Plingo: A System for Probabilistic Reasoning in Clingo Based on LP ^MLN.

Susana Hahn, Tomi Janhunen, Roland Kaminski, Javier Romero, Nicolas Rühling, Torsten Schaub

Proceedings of the Rules and Reasoning, 2022