Intuitive Implication Logic System.

Hongguang Wang Na Li Guoping Du

Published in: FSKD (2) (2009)

Keyphrases

logical implication
modal logic
logic programming
data sets
formal theory
classical logic
automated reasoning
artificial intelligence
bayesian networks
functional dependencies
case study
website
horn clauses
digital circuits
databases
abductive reasoning
deontic logic
real time
propositional dynamic logic