Relational Differential Dynamic Logic.
Juraj KolcákJérémy DubutIchiro HasuoShin-ya KatsumataDavid SprungerAkihisa YamadaPublished in: TACAS (1) (2020)
Keyphrases
- dynamic logic
- relational databases
- imperative programs
- modal logic
- reasoning about actions
- relational data
- propositional dynamic logic
- data model
- multi relational
- classical first order logic
- relational model
- modal operators
- neural network
- entity relationship
- statistical relational learning
- first order logic
- multi dimensional
- agent programming
- multiple input
- general purpose
- case based reasoning
- bayesian networks