L) logic styles.

Ramin Rafati A. Z. Charaki G. R. Chaji Seid Mehdi Fakhraie Kenneth Carless Smith

Published in: ISCAS (3) (2002)

Keyphrases

modal logic
logic programming
automated reasoning
classical logic
real world
multi valued
set theory
predicate logic
sound and complete axiomatization
databases
data mining
artificial intelligence
website
inference rules
probabilistic logic
asynchronous circuits