Instrumenting Microservices for Concurrent Audit Logging: Beyond Horn Clauses.

Nicolas D. Ahn Sepehr Amir-Mohammadian

Published in: COMPSAC (2022)

Keyphrases

horn clauses
inference rules
first order logic
inductive logic programming
conceptual clustering
logic programs
database queries
intrusion detection
main memory databases
lattice theory
function symbols
data mining techniques
database
np complete
general purpose
knowledge discovery
reinforcement learning