Login / Signup
ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints.
Divij Handa
Pavel Dolin
Shrinidhi Kumbhar
Chitta Baral
Tran Cao Son
Published in:
CoRR (2024)
Keyphrases
</>
reasoning about actions
indirect effects
situation calculus
logic programming
action language
dynamic logic
fluent calculus
action theories
action sequences
propositional dynamic logic
constraint satisfaction
minimal change
database
reasoning tasks
constrained optimization
domain description
dynamic programming