A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations.

Benjamin Lucien Kaminski Joost-Pieter Katoen

Published in: CoRR (2017)

Keyphrases

logic programming
semantic information
formal semantics
data sets
genetic algorithm
clustering algorithm
case study
object oriented
natural language processing
conceptual model
schema mappings
speech acts
model theoretic
intended meaning