The Meaning of Negative Premises in Transition System Specifications.

Roland N. Bol Jan Friso Groote

Published in: J. ACM (1996)

Keyphrases

positive and negative
natural language
delay insensitive
high level
information content
formal specification
operational semantics
concurrent systems
data sets
information systems
clustering algorithm
training set
inference rules
specification language
control flow