106 citations · 200 across the 12 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.AI2018★ 3 cited
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★ 3 cited
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…