2 papers
cs.AI2025
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani +2
Structural Equation Models (SEM) are the standard approach to representing causal dependencies between variables in causal models. In this paper we propose a new interpretation of…
cs.LO2019
A First-Order Logic for Reasoning about Knowledge and Probability
Siniša Tomović, Zoran Ognjanović, Dragan Doder
We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The propose…