An Architectural Semantics for LOTOS.

Kenneth J. Turner

Published in: PSTV (1987)

Keyphrases

formal semantics
logic programming
semantic information
logical language
high level
expert systems
domain knowledge
semantic representation
operational semantics
transformation rules
neural network
knowledge representation
natural language processing
wordnet
default reasoning
argumentation semantics