Relational Logic with Framing and Hypotheses.
Anindya BanerjeeDavid A. NaumannMohammad NikoueiPublished in: FSTTCS (2016)
Keyphrases
- database language
- relational databases
- logic programming
- relational data
- modal logic
- computational properties
- predicate logic
- statistical relational learning
- classical logic
- logical framework
- database
- hypothesis space
- sound and complete axiomatization
- automated reasoning
- data mining
- probability theory
- multi relational
- relational learning
- inference rules
- defeasible logic
- relational structures
- nonmonotonic logics
- database schema
- data model
- relational queries
- asynchronous circuits
- linear logic
- proof theory
- real time