On the Independencies Hidden in the Structure of a Probabilistic Logic Program.
Kilian RückschloßFelix WeitkämperPublished in: CoRR (2023)
Keyphrases
- logic programs
- logic programming
- fixpoint
- answer sets
- inside outside algorithm
- answer set programming
- normal logic programs
- inductive logic programming
- background knowledge
- stable models
- logic program updates
- bayesian networks
- horn clauses
- probabilistic logic
- computational properties
- declarative semantics
- prolog programs
- fixpoint semantics
- general logic programs