Generic Trace Semantics and Graded Monads.

Stefan Milius Dirk Pattinson Lutz Schröder

Published in: CALCO (2015)

Keyphrases

formal semantics
logic programming
alternating time temporal logic
high level
data sets
domain specific
model checking
logical language
neural network
machine learning
learning algorithm
case study
domain knowledge
semantic representation
operational semantics
execution traces