Strips-like Planning in the DALI Logic Programmming Language.
Stefania CostantiniArianna TocchioPublished in: WOA (2003)
Keyphrases
- planning problems
- ai planning
- domain independent
- dynamic logic
- operational semantics
- logic programming
- formal theory
- formal language
- natural language
- proof theory
- intuitionistic logic
- language learning
- highly expressive
- predicate logic
- heuristic search
- programming language
- conditional logic
- logic programming language
- order sorted
- modal logic
- agent programming
- lambda calculus
- classical planning
- deontic logic
- representation language
- computational linguistics
- multi valued
- automated reasoning
- planning domains
- state space