Deriving a Correct Logic Program from the Formal Specification of a Non-Linear Planner.
Thomas Leo McCluskeyPublished in: ISMIS (1988)
Keyphrases
- formal specification
- logic programs
- logic programming
- answer sets
- model checking
- fixpoint
- stable models
- normal logic programs
- answer set programming
- reverse engineering
- inductive logic programming
- computational properties
- general logic programs
- prolog programs
- logic program updates
- stable model semantics
- inside outside algorithm
- finite state machines
- loop formulas
- artificial intelligence
- ai planning
- software engineering
- default reasoning
- planning domains
- temporal reasoning
- expressive power
- relational databases