Specifying credal sets with probabilistic answer set programming.
Denis Deratani MauáFábio Gagliardi CozmanPublished in: ISIPTA (2023)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- constraint logic programming
- reasoning tasks
- causal theories
- bayesian networks
- knowledge representation
- stable model semantics
- stable models
- probabilistic reasoning
- haplotype inference
- answer set programs
- orders of magnitude
- qualitative spatial and temporal reasoning
- declarative programming
- disjunctive logic programming
- causal networks
- probabilistic logic
- fixpoint
- horn clauses
- default logic
- general purpose