conftrace_

actual cause

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

program abstraction (1) situation calculus (1) abstract reasoning (1) abstraction framework (1) logic programming (1) program analysis (1) causal reasoning (1) causal inference (1)

Papers

From Actions to Programs as Abstract Actual Causes AAAI 2022