First-order reasoning for higher-order concurrency.
Vasileios KoutavasMatthew HennessyPublished in: Comput. Lang. Syst. Struct. (2012)
Keyphrases
- higher order
- natural images
- pairwise
- markov random field
- high order
- database systems
- concurrency control
- knowledge base
- knowledge representation
- conditional random fields
- probabilistic logic
- low order
- reasoning systems
- reasoning process
- lower order
- model based reasoning
- databases
- data flow
- reasoning tasks
- automated reasoning
- uncertain information
- legal reasoning
- qualitative reasoning
- probabilistic reasoning
- first order logic