A reduction semantics for direct-style asynchronous observables.

Philipp Haller Heather Miller

Published in: J. Log. Algebraic Methods Program. (2019)

Keyphrases

formal semantics
information systems
logic programming
reduction method
real time
semantic information
logical language
data sets
machine learning
information retrieval
case study
conceptual model
authorship attribution