Postulate satisfaction for inconsistency measures in monotonic logics and databases.
John GrantPublished in: J. Appl. Non Class. Logics (2023)
Keyphrases
- databases
- classical logic
- modal logic
- database
- knowledge discovery
- expressive power
- relational databases
- information systems
- user satisfaction
- data management
- data sources
- database management systems
- model checking
- evaluation measures
- inference rules
- learning algorithm
- quantitative measures
- integrity checking
- inconsistent information
- valued semantics