Quasi-classical reasoning in paraconsistent databases.
Badrinath JayakumarRajshekhar SunderramanPublished in: Ann. Math. Artif. Intell. (2018)
Keyphrases
- databases
- database
- logic programming
- knowledge base
- database systems
- knowledge discovery
- database queries
- data model
- automated reasoning
- information systems
- data sources
- machine learning
- reasoning systems
- spatial reasoning
- horn logic
- valued logic
- reasoning process
- qualitative reasoning
- probabilistic reasoning
- data integration
- data management
- metadata