A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics.
Matthias NicklesPublished in: JELIA (2016)
Keyphrases
- logic programming
- probabilistic reasoning
- stable model semantics
- logic programs
- classical first order logic
- answer set programming
- disjunctive logic programs
- stable models
- probabilistic logic
- deductive databases
- nonmonotonic reasoning
- probabilistic knowledge
- normal logic programs
- first order logic
- model theoretic
- answer set programs
- automated reasoning
- answer sets
- default reasoning
- knowledge representation
- reasoning tasks
- programming language
- fixpoint
- knowledge base
- horn clauses
- inductive logic programming
- default logic
- markov logic networks
- bayesian logic programs
- answer set semantics
- statistical relational learning
- probabilistic inference
- background knowledge
- constraint satisfaction
- declarative programming
- artificial intelligence
- machine learning