Automated Verification of Weak Equivalence within the SMODELS System.
Tomi JanhunenEmilia OikarinenPublished in: Theory Pract. Log. Program. (2007)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- logic programs
- answer set programming
- answer set semantics
- answer sets
- logic programming
- stable models
- normal logic programs
- graph theory
- knowledge representation
- stable model semantics
- propositional logic
- datalog programs
- theorem proving
- neural network
- temporal logic
- bayesian networks
- social networks