Verified First-Order Monitoring with Recursive Rules.

Sheila Zingg Srdan Krstic Martin Raszyk Joshua Schneider Dmitriy Traytel

Published in: TACAS (2) (2022)

Keyphrases

real time
monitoring system
higher order
horn clauses
data sets
production rules
first order logic
classification rules
rule induction
machine learning
genetic algorithm
rough sets
background knowledge
human experts
rule discovery
linear temporal logic