Inference in Probabilistic Answer Set Programming Under the Credal Semantics.
Damiano AzzoliniFabrizio RiguzziPublished in: AI*IA (2023)
Keyphrases
- answer set programming
- logic programming
- stable model semantics
- probabilistic reasoning
- reasoning tasks
- logic programs
- update semantics
- causal theories
- bayesian networks
- answer sets
- credal networks
- disjunctive logic programming
- stable models
- answer set semantics
- belief networks
- default theories
- inference process
- constraint logic programming
- action language
- strong equivalence
- inductive logic programming
- programming language
- probabilistic logic
- deductive databases
- answer set programs
- knowledge base
- model theoretic
- statistical relational learning
- probabilistic inference
- knowledge representation
- autoepistemic logic
- probabilistic model
- haplotype inference
- maximum entropy
- nonmonotonic reasoning
- proof theory
- default reasoning
- derivation rules
- machine learning
- declarative programming
- conditional probabilities
- graphical models
- update operators
- relational databases
- qualitative spatial and temporal reasoning