logics.

Hui Shao Chi-Ying Tsui

Published in: ASP-DAC (2009)

Keyphrases

expressive power
modal logic
inference rules
conditional logic
propositional calculus
fuzzy logic
epistemic logic
real world
machine learning
feature selection
data model
classical logic
proof theory