Modal reduction principles across relational semantics.
Willem ConradieAndrea De DomenicoKrishna ManoorkarAlessandra PalmigianoMattia PanettiereDaira Pinto PrietoApostolos TzimoulisPublished in: CoRR (2022)
Keyphrases
- nonmonotonic logics
- relational databases
- formal semantics
- dynamic logic
- data model
- relational model
- logic programming
- relational data
- modal logic
- reduction method
- relational operators
- operational semantics
- theoretical framework
- entity relationship
- logical framework
- default theories
- speech acts
- propositional logic
- statistical relational learning
- model theoretic
- aggregate functions
- modal operators
- decision diagrams
- semantic information
- algebraic structure
- database query languages
- databases