Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.
Pietro GallianiAllen L. MannPublished in: Stud Logica (2013)
Keyphrases
- first order logic
- compositional semantics
- imperfect information
- probabilistic reasoning
- formal semantics
- natural language
- knowledge representation
- alternating time temporal logic
- inference rules
- game theoretic
- markov logic networks
- representation language
- inductive logic programming
- game playing
- game theory
- probabilistic model
- logic programming
- discourse structure
- game tree
- bayesian networks
- machine learning
- nash equilibrium
- finite automata
- natural language processing
- model theoretic