A predicate logic foundation for financial audit systems.

John A. Akinyemi Sylvanus A. Ehikioya

Published in: IASTED Conf. on Software Engineering and Applications (2004)

Keyphrases

predicate logic
formal logic
data mining
probabilistic inference
machine learning
software engineering
natural language processing
data mining techniques
lower level
semantic net