A Hybrid Dynamic Logic for Event/Data-Based Systems.

Rolf Hennicker Alexandre Madeira Alexander Knapp

Published in: FASE (2019)

Keyphrases

data sets
data analysis
data structure
database
raw data
data processing
data mining techniques
data quality
computer systems
data collection
distributed systems
high quality
input data
knowledge discovery
synthetic data
missing data
high level
artificial intelligence
dynamic logic