Login / Signup
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