Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories.
Till HofmannStefan SchuppGerhard LakemeyerPublished in: CoRR (2024)
Keyphrases
- situation calculus
- finite domain
- action theories
- modal operators
- concurrent actions
- constraint programming
- constraint propagation
- constraint satisfaction problems
- constraint logic programming
- reasoning about actions
- satisfiability problem
- event calculus
- logical theories
- initial state
- action language
- constraint solving
- constraint solver
- bounded treewidth
- modal logic
- state variables
- answer set programming
- constraint satisfaction
- combinatorial problems
- search space
- temporal logic
- linear programming
- general purpose
- utility function
- first order logic
- indirect effects
- programming language