Hybrid dynamic logic institutions for event/data-based systems.

Rolf Hennicker Alexander Knapp Alexandre Madeira

Published in: Formal Aspects Comput. (2021)

Keyphrases

data sets
data structure
database
data collection
synthetic data
raw data
high quality
computer systems
expert systems
distributed systems
data quality
data processing
data analysis
high dimensional data
knowledge base
missing data
artificial intelligence
data mining
dynamic logic