Nets over Many Sorted Operator Domains and Their Semantics.

Gisbert Dittrich Wolfgang Merzenich

Published in: FCT (1977)

Keyphrases

real world
cp nets
application domains
semantic information
logic programming
cross domain
default reasoning
operational semantics
high level
keywords
natural language
semantic representation
continuous domains
relational structures