Logic Representation of Programs to Detect Arithmetic Anomalies.

Fevzi Belli Thomas Illgen

Published in: EUROMICRO (2000)

Keyphrases

anomaly detection
multi valued
detection algorithm
detection method
abnormal behavior
automatic detection
predicate calculus
logical representation
data mining
knowledge base
natural language
logic programming