Probabilistic reasoning with answer sets.
Chitta BaralMichael GelfondJ. Nelson RushtonPublished in: Theory Pract. Log. Program. (2009)
Keyphrases
- probabilistic reasoning
- answer sets
- logic programming
- logic programs
- answer set programming
- probabilistic logic
- automated reasoning
- bayesian networks
- answer set programs
- knowledge representation
- probabilistic inference
- nonmonotonic reasoning
- first order logic
- fixpoint
- constraint satisfaction
- normal logic programs
- default reasoning
- deductive databases
- reasoning tasks
- inductive logic programming
- programming language
- belief networks
- knowledge base
- default logic
- stable models
- reasoning systems
- incomplete information
- graphical models
- software engineering
- artificial intelligence
- high level
- model theoretic
- loop formulas