Stochastic Relational Presheaves and Dynamic Logic for Contextuality.
Kohei KishidaPublished in: QPL (2014)
Keyphrases
- dynamic logic
- reasoning about actions
- modal logic
- relational data
- relational databases
- imperative programs
- data model
- multiple input
- propositional dynamic logic
- monte carlo
- stochastic optimization
- artificial intelligence
- relational model
- statistical relational learning
- knowledge representation
- model checking
- relational learning
- learning automata