Abduction in (Probabilistic) Answer Set Programming.
Damiano AzzoliniElena BellodiFabrizio RiguzziPublished in: CILC (2022)
Keyphrases
- answer set programming
- logic programming
- meta level reasoning
- logic programs
- answer sets
- reasoning tasks
- constraint programming
- causal networks
- causal theories
- default reasoning
- constraint logic programming
- probabilistic reasoning
- stable model semantics
- abductive reasoning
- answer set programs
- knowledge representation
- haplotype inference
- nonmonotonic reasoning
- background knowledge
- qualitative spatial and temporal reasoning
- automated reasoning
- disjunctive logic programming
- probabilistic logic
- default logic
- probabilistic relational
- update semantics
- knowledge base
- probability theory
- bayesian networks