A weakest pre-expectation semantics for mixed-sign expectations.

Benjamin Lucien Kaminski Joost-Pieter Katoen

Published in: LICS (2017)

Keyphrases

formal semantics
neural network
information systems
information technology
semantic information
website
case study
data model
domain knowledge
logic programming
statistically significant
conceptual graphs
specification language
logical language
argumentation semantics
update semantics