Hybrid Probabilistic Logic Programs with Non-monotonic Negation.
Emad SaadEnrico PontelliPublished in: ICLP (2005)
Keyphrases
- hybrid probabilistic logic programs
- logic programs
- normal logic programs
- logic programming
- stable models
- fixpoint
- answer set programming
- answer sets
- background knowledge
- default reasoning
- deductive databases
- answer set semantics
- inductive logic programming
- knowledge representation
- nonmonotonic reasoning
- horn clauses
- bayesian networks
- stable model semantics
- databases
- knowledge base
- artificial intelligence