Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets.
Keijo HeljankoPublished in: Fundam. Informaticae (1999)
Keyphrases
- logic programs
- stable model semantics
- petri net
- stable models
- answer set programming
- logic programming
- normal logic programs
- answer sets
- fixpoint
- computational properties
- reasoning tasks
- deductive databases
- inductive logic programming
- closed world
- disjunctive logic programs
- state space
- search problems
- constraint satisfaction
- loop formulas
- magic sets