Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants.

Silvano Colombo Tosatto Guido Governatori Nick van Beest

Published in: CoRR (2021)

Keyphrases

complexity analysis
theoretical analysis
lower bound
first order logic
real time
information systems
computational complexity
multiscale
data mining
machine learning
artificial intelligence
cooperative
search algorithm
artificial neural networks