diff-SAT - A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming.
Matthias NicklesPublished in: CoRR (2021)
Keyphrases
- answer set programming
- probabilistic reasoning
- answer set solvers
- logic programming
- modulo theories
- logic programs
- tree decomposition
- answer sets
- answer set programs
- knowledge representation
- reasoning tasks
- bayesian networks
- probabilistic logic
- sat solvers
- constraint satisfaction
- automated reasoning
- stable model semantics
- satisfiability problem
- nonmonotonic reasoning
- sat problem
- probabilistic inference
- phase transition
- belief networks
- first order logic
- default reasoning
- default logic
- satisfiability modulo theories
- knowledge base
- stable models
- general purpose
- search algorithm
- probabilistic model
- statistical relational learning