Reasoning About Higher-Order Relational Specifications
Yuting WangKaustuv ChaudhuriAndrew GacekGopalan NadathurPublished in: CoRR (2013)
Keyphrases
- higher order
- relational data
- relational databases
- data model
- natural images
- pairwise
- high order
- high level
- delay insensitive
- low order
- specification language
- spatial reasoning
- relational model
- lower order
- formal theory
- statistical relational learning
- knowledge base
- databases and data warehouses
- entity relationship
- markov random field
- qualitative reasoning
- relational queries
- formal specification
- conditional random fields
- practical reasoning
- logic programs