Modal Tableaux for Reasoning About Actions and Plans.
Marcos A. CastilhoOlivier GasquetAndreas HerzigPublished in: ECP (1997)
Keyphrases
- reasoning about actions
- modal logic
- situation calculus
- initial state
- dynamic logic
- action sequences
- action language
- logic programming
- temporal logic
- decision procedures
- action theories
- fluent calculus
- event calculus
- nonmonotonic logics
- reasoning tasks
- minimal change
- plan recognition
- indirect effects
- propositional dynamic logic
- plan generation
- partially ordered
- propositional logic
- planning problems
- logic programs
- domain description
- general purpose
- knowledge base