On the Semantics of Atomized Statements - the Parallel-Choice Option (Extended Abstract).

Peter M. W. Knijnenburg Joost N. Kok

Published in: FCT (1991)

Keyphrases

computer architecture
extended abstract
denotational semantics
parallel computing
formal semantics
programming language
cp nets
data sets
parallel processing
logical language
default reasoning
conceptual model
parallel algorithm
semantic information
logic programming
description logics
machine learning