Relational Logic with Framing and Hypotheses: Technical Report.
Anindya BanerjeeDavid A. NaumannMohammad NikoueiPublished in: CoRR (2016)
Keyphrases
- technical report
- database language
- relational databases
- modal logic
- classical logic
- relational data
- relational learning
- information systems
- multi valued
- hypothesis testing
- predicate logic
- digital circuits
- logic programming
- data model
- computational properties
- artificial intelligence
- learning algorithm
- multiple hypotheses
- automated reasoning
- data mining
- statistical relational learning
- proof theory
- machine learning