A Probabilistic Extension of the Stable Model Semantics.
Joohyung LeeYi WangPublished in: AAAI Spring Symposia (2015)
Keyphrases
- logic programs
- logic programming
- stable models
- semantics for logic programs
- normal logic programs
- fixpoint
- situation calculus
- stable model semantics
- answer sets
- answer set programming
- autoepistemic logic
- probabilistic reasoning
- bayesian networks
- datalog programs
- deductive databases
- normal form
- disjunctive datalog
- hybrid probabilistic logic programs
- magic sets
- logic programs with negation
- database systems
- open world
- default theories
- horn clauses
- default logic
- programming language
- knowledge representation