Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors.

David M. Cerna Wolfgang Schreiner Temur Kutsia

Published in: SCSS (2016)

Keyphrases

predicate logic
artificial intelligence
databases
data streams
data analysis
np hard
domain knowledge
information extraction
graphical models