Scalable Neural-Probabilistic Answer Set Programming.
Arseny SkryaginDaniel OchsDevendra Singh DhamiKristian KerstingPublished in: J. Artif. Intell. Res. (2023)
Keyphrases
- database systems
- answer set programming
- logic programming
- logic programs
- answer sets
- constraint logic programming
- database
- reasoning tasks
- causal theories
- meta level reasoning
- answer set programs
- bayesian networks
- stable model semantics
- tree decomposition
- probabilistic reasoning
- update semantics
- deductive databases
- nonmonotonic reasoning
- programming language
- probabilistic logic
- general purpose
- object oriented
- knowledge base