Rewriting Logic Semantics of a Plan Execution Language
Gilles DowekCésar A. MuñozCamilo RochaPublished in: SOS (2009)
Keyphrases
- plan execution
- dynamic logic
- imperative programs
- proof theory
- formal language
- modal operators
- operational semantics
- highly expressive
- model theoretic
- fixed point semantics
- conditional logic
- propositional dynamic logic
- logical language
- formal semantics
- predicate calculus
- intuitionistic logic
- logic programming
- modal logic
- plan generation
- rewriting rules
- rule engine
- nonmonotonic logics
- dynamic environments
- plan recognition
- programming language
- reasoning about actions
- logic programs
- deductive databases
- description logics
- dynamic constraints
- temporal constraints
- temporal planning
- situation calculus
- default logic
- conjunctive queries
- ambient intelligence
- visual features
- active rules
- transformation rules