Making Relational Hoare Logic Alignment Complete.
Anindya BanerjeeRamana NagasamudramDavid A. NaumannPublished in: CoRR (2022)
Keyphrases
- database language
- relational data
- image alignment
- classical logic
- artificial intelligence
- relational databases
- knowledge representation
- logic programming
- modal logic
- proof theory
- real time
- epistemic logic
- abductive reasoning
- relational queries
- statistical relational learning
- ontology matching
- computational properties
- logical framework
- case study
- information systems
- databases