Stable Models of Multi-Valued Formulas: Partial versus Total Functions.
Michael BartholomewJoohyung LeePublished in: KR (2014)
Keyphrases
- multi valued
- stable models
- logic programs
- single valued
- logic programming
- normal logic programs
- valued logic
- truth values
- answer set programming
- deductive databases
- fixpoint
- normal form
- stable model semantics
- logic synthesis
- boolean functions
- horn clauses
- database management systems
- machine learning
- answer sets
- integrity constraints
- random walk
- special case