2.3k citations · 2.4k across the 19 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022
Causal Abstraction with Soft Interventions
Riccardo Massidda, Atticus Geiger, Thomas Icard +1
Causal abstraction provides a theory describing how several causal models can represent the same system at different levels of detail. Existing theoretical proposals limit the anal…
cs.LO2022
A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting
Lawrence S. Moss, Thomas F. Icard
This paper obtains a completeness result for inequational reasoning with applicative terms without variables in a setting where the intended semantic models are the full structures…