Relational differential dynamic logic: poster abstract.
Juraj KolcákIchiro HasuoJérémy DubutShin-ya KatsumataDavid SprungerAkihisa YamadaPublished in: HSCC (2019)
Keyphrases
- dynamic logic
- propositional dynamic logic
- modal logic
- relational databases
- reasoning about actions
- imperative programs
- high level
- relational data
- agent programming
- relational model
- multi relational
- entity relationship
- classical first order logic
- artificial intelligence
- multiple input
- first order logic
- higher level
- statistical relational learning
- relational learning
- database schema
- sufficient conditions
- low level