Scalable online first-order monitoring.

Joshua Schneider David A. Basin Frederik Brix Srdan Krstic Dmitriy Traytel

Published in: Int. J. Softw. Tools Technol. Transf. (2021)

Keyphrases

real time
online learning
monitoring system
decision support
machine learning
collaborative learning
first order logic
neural network
social networks
higher order
logic programming