An Audit Logic for Accountability
J. G. CederquistRicardo CorinM. A. C. DekkerSandro EtalleJ. I. den HartogPublished in: CoRR (2005)
Keyphrases
- logic programming
- modal logic
- classical logic
- neural network
- defeasible logic
- logical framework
- multi valued
- intrusion detection
- automated reasoning
- data mining techniques
- search algorithm
- multiscale
- case study
- databases
- belief revision
- information systems
- information retrieval
- machine learning
- digital circuits
- predicate logic