What's Decidable About Program Verification Modulo Axioms?
Umang MathurP. MadhusudanMahesh ViswanathanPublished in: TACAS (2) (2020)
Keyphrases
- first order logic
- action theories
- situation calculus
- knowledge base
- expressive power
- propositional logic
- inference rules
- relational databases
- knowledge representation
- datalog programs
- transitive closure
- set theory
- information systems
- artificial intelligence
- genetic algorithm
- complete axiomatization
- polynomial hierarchy
- database
- inductive logic programming
- expert systems
- search algorithm
- real time