Reasoning about higher-order relational specifications.
Yuting WangKaustuv ChaudhuriAndrew GacekGopalan NadathurPublished in: PPDP (2013)
Keyphrases
- higher order
- high order
- relational data
- relational databases
- natural images
- high level
- lambda calculus
- formal specification
- markov random field
- pairwise
- relational learning
- low order
- relational queries
- delay insensitive
- hidden markov models
- knowledge base
- spatial reasoning
- functional requirements
- causal reasoning
- statistical relational learning
- formal theory
- lower order
- case study