A Brief Discussion about the Credal Semantics for Probabilistic Answer Set Programs.
Damiano AzzoliniPublished in: ICLP Workshops (2023)
Keyphrases
- answer set programs
- answer sets
- logic programming
- stable models
- update operators
- answer set programming
- logic programs
- update semantics
- stable model semantics
- answer set semantics
- bayesian networks
- model theoretic
- formal semantics
- reasoning tasks
- probabilistic logic
- event calculus
- deductive databases
- modal logic
- belief revision
- knowledge base