Specifying the Semantics of Machine Instructions.

Cristina Cifuentes Shane Sendall

Published in: IWPC (1998)

Keyphrases

batch processing
formal semantics
model theoretic
real time
data sets
neural network
machine learning
description logics
logic programming
active rules
nonmonotonic logics
update semantics
intended meaning