Modelling contextuality by probabilistic programs with hypergraph semantics.
Peter D. BruzaPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- probabilistic logic programs
- fixpoint semantics
- stable models
- higher order
- logic programs
- logic programming
- generative model
- stable model semantics
- formal semantics
- bayesian networks
- control flow
- probabilistic model
- probabilistic logic
- computer programs
- uncertain data
- probabilistic reasoning
- normal logic programs
- programming language constructs
- probability theory
- declarative semantics
- fixpoint
- semantic information
- programming language
- transformation rules
- deductive databases
- hypergraph model
- np hard
- pairwise