Variants of multi-relational semantics for propositional non-normal modal logics.
Erica CalardoAntonino RotoloPublished in: J. Appl. Non Class. Logics (2014)
Keyphrases
- multi relational
- modal logic
- autoepistemic logic
- nonmonotonic logics
- default logic
- epistemic logic
- propositional logic
- multi relational data
- relational domains
- decision procedures
- model theoretic
- statistical relational learning
- default theories
- relational learning
- kripke models
- multi relational data mining
- temporal logic
- modal operators
- default reasoning
- nonmonotonic reasoning
- link prediction
- inference rules
- pattern mining
- logic programming
- first order logic
- formal semantics
- automated reasoning
- machine learning
- relational databases
- social network analysis
- inductive logic programming
- logical framework
- theorem proving