Non-monotonic Negation in Hybrid Probabilistic Logic Programs.
Emad SaadEnrico PontelliPublished in: AI&M (2006)
Keyphrases
- hybrid probabilistic logic programs
- logic programs
- logic programming
- normal logic programs
- answer sets
- stable models
- answer set programming
- fixpoint
- background knowledge
- deductive databases
- nonmonotonic reasoning
- inductive logic programming
- default reasoning
- stable model semantics
- knowledge representation and reasoning
- default logic
- answer set semantics
- knowledge base
- knowledge representation