Towards More Flexible Database Systems: A Logical Framework Based on Extended Possibilistic Truth Values.
Guy De TréRita M. M. De CaluwePublished in: DEXA Workshops (2004)
Keyphrases
- logical framework
- inference rules
- truth values
- possibilistic logic
- database systems
- first order logic
- theorem proving
- modal logic
- belief revision
- reasoning tasks
- linear logic
- database
- theorem prover
- data model
- database design
- argumentation frameworks
- bayesian networks
- conditional probabilities
- propositional logic
- data management
- relational database systems
- automated reasoning
- multi valued
- query processing
- artificial intelligence
- machine learning