Satisfiability Degree Analysis and Deductive Reasoning.

Kueiming Lo Chongyuan Yin Jian Luo

Published in: IEEE Intell. Syst. (2016)

Keyphrases

deductive reasoning
machine learning
statistical analysis
information technology
database
real world
data mining
information retrieval
image segmentation
data analysis
evolutionary algorithm
description logics
medical images
temporal logic