Modelling contextuality by probabilistic programs with hypergraph semantics.
Peter D. BruzaPublished in: CoRR (2018)
Keyphrases
- probabilistic logic programs
- dynamic logic
- logic programming
- stable model semantics
- probabilistic knowledge
- bayesian networks
- normal logic programs
- high order
- control flow
- stable models
- formal semantics
- semantic information
- fixpoint semantics
- probabilistic model
- modelling language
- uncertain data
- computer programs
- generative model
- probabilistic logic
- higher order
- database
- programming language constructs
- database languages
- model theoretic
- conditional probabilities
- logic programs
- default reasoning
- object oriented
- semantics for logic programs
- relational databases
- high level