conftrace_

nondeterministic domain

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

situation calculus (2) causal reasoning (2) history condition (1) actual causation (1) nondeterministic reasoning (1) temporal logic (1) complexity bound (1) automated reasoning (1) formal methods (1) knowledge representation (1)

Papers

Reasoning About Actual Causes in Nondeterministic Domains AAAI 2025 Reasoning About Causal Knowledge in Nondeterministic Domains IJCAI 2025 Planning for LTLf /LDLf Goals in Non-Markovian Fully Observable Nondeterministic Domains IJCAI 2019