An Algebraic Semantics of Logic Programs as Structured Transition Systems.
Andrea CorradiniUgo MontanariPublished in: NACLP (1990)
Keyphrases
- transition systems
- semantics of logic programs
- model checking
- concurrent systems
- temporal logic
- deductive databases
- logic programs
- finite state
- control flow
- answer sets
- logic programming
- fixpoint
- practical reasoning
- reactive systems
- fully observable
- petri net
- answer set programming
- data flow
- markov chain
- artificial intelligence