Reasoning about relational granulation in modal logics.
Churn-Jung LiauT. Y. LinPublished in: GrC (2005)
Keyphrases
- modal logic
- modal operators
- decision procedures
- temporal logic
- inference rules
- nonmonotonic logics
- epistemic logic
- relational data
- relational databases
- situation calculus
- classical logic
- default logic
- rough sets
- data model
- granular computing
- object oriented
- autoepistemic logic
- fuzzy model
- database systems
- description logics
- programming language
- bayesian networks