Tensors over Semirings for Latent-Variable Weighted Logic Programs.
Esma BalkirDaniel GildeaShay B. CohenPublished in: CoRR (2020)
Keyphrases
- logic programs
- latent variables
- logic programming
- probabilistic model
- answer set programming
- answer sets
- stable models
- latent variable models
- topic models
- fixpoint
- random variables
- real valued
- computational properties
- partial deduction
- prolog programs
- hidden variables
- constraint satisfaction problems
- inductive logic programming
- prior knowledge
- normal logic programs
- logic program updates
- stable model semantics
- recursive programs
- minimal models
- autoepistemic logic
- functional programs
- loop formulas
- semi supervised