Representing Transition Systems by Logic Programs.
Vladimir LifschitzHudson TurnerPublished in: LPNMR (1999)
Keyphrases
- logic programs
- transition systems
- logic programming
- model checking
- concurrent systems
- answer sets
- temporal logic
- stable models
- practical reasoning
- finite state
- fixpoint
- answer set programming
- normal logic programs
- control flow
- partial deduction
- strong equivalence
- object oriented
- markov decision processes
- distributed systems
- software engineering
- search algorithm