Lifted inference for statistical statements in probabilistic answer set programming.
Damiano AzzoliniFabrizio RiguzziPublished in: Int. J. Approx. Reason. (2023)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- constraint logic programming
- answer set programs
- reasoning tasks
- causal theories
- stable models
- natural language
- stable model semantics
- probabilistic logic
- bayesian networks
- update semantics
- artificial intelligence
- relational databases
- fixpoint
- probabilistic reasoning
- knowledge representation
- disjunctive logic programming
- strong equivalence
- haplotype inference