Z and Natural Semantics.

Published in: Z User Workshop (1994)

Keyphrases

formal semantics
data sets
databases
default reasoning
owl ontologies
speech acts
real world
genetic algorithm
artificial systems
logical language
argumentation semantics
intended meaning