On the Complexity of Model Checking and Inference in Minimal Models.
Lefteris M. KirousisPhokion G. KolaitisPublished in: LPNMR (2001)
Keyphrases
- model checking
- pspace complete
- temporal logic
- minimal models
- formal specification
- formal verification
- logic programs
- finite state machines
- verification method
- computational complexity
- formal methods
- propositional logic
- probabilistic inference
- logic programming
- np hard
- decision problems
- inference process
- np complete
- truth maintenance systems
- bayesian networks