QualiFood: An Intelligent Quality Food Evaluation Using Logical Satisfiability Reasoning On Spark.
Salima BenbernouMourad OuziriPublished in: IEEE BigData (2019)
Keyphrases
- logical reasoning
- high quality
- logical rules
- quality evaluation
- quality assessment
- computational complexity
- automated reasoning
- logical implication
- computational properties
- higher quality
- evaluation method
- satisfiability problem
- evaluation model
- knowledge base
- sat problem
- propositional logic
- decision procedures
- reasoning problems
- probabilistic knowledge
- knowledge representation
- terminological reasoning