3 papers
cs.AI2018
Causal Modeling with Probabilistic Simulation Models
Duligur Ibeling
Recent authors have proposed analyzing conditional reasoning through a notion of intervention on a simulation program, and have found a sound and complete axiomatization of the log…
cs.LO2018
CVC4 at the SMT Competition 2018
Clark Barrett, Haniel Barbosa, Martin Brain +8
This paper is a description of the CVC4 SMT solver as entered into the 2018 SMT Competition. We only list important differences from the 2017 SMT Competition version of CVC4. For f…
cs.LO2018
On the Conditional Logic of Simulation Models
Duligur Ibeling, Thomas Icard
We propose analyzing conditional reasoning by appeal to a notion of intervention on a simulation program, formalizing and subsuming a number of approaches to conditional thinking i…