Model checking with probabilistic tabled logic programming.
Andrey GorlinC. R. RamakrishnanScott A. SmolkaPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- logic programming
- model checking
- logic programs
- temporal logic
- probabilistic reasoning
- formal specification
- knowledge representation
- model checker
- programming language
- answer set programming
- nonmonotonic reasoning
- finite state machines
- knowledge base
- deductive databases
- epistemic logic
- default logic
- answer sets
- reasoning tasks
- stable models
- linear logic
- reasoning about actions
- bayesian networks
- probabilistic logic
- fixpoint
- conditional probabilities
- multi agent