conftrace_

nondeterministic reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

actual causation (1) situation calculus (1) nondeterministic domain (1) automated reasoning (1) formal methods (1) causal reasoning (1) causal inference (1)

Papers

Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025