Tensors over Semirings for Latent-Variable Weighted Logic Programs.
Esma BalkirDaniel GildeaShay B. CohenPublished in: IWPT 2020 (2020)
Keyphrases
- logic programs
- latent variables
- logic programming
- probabilistic model
- answer sets
- random variables
- stable models
- real valued
- fixpoint
- latent variable models
- prior knowledge
- answer set programming
- computational properties
- prolog programs
- hidden variables
- partial deduction
- topic models
- constraint satisfaction problems
- autoepistemic logic
- normal logic programs
- loop formulas
- recursive programs
- term rewriting systems
- artificial intelligence
- stable model semantics
- databases
- strong equivalence
- inductive logic programming
- graphical models
- information extraction
- logic program updates