Compactness in Semantics for Merge and Fair Merge.

J. W. de Bakker Jeffery I. Zucker

Published in: Logic of Programs (1983)

Keyphrases

logic programming
real time
information systems
neural network
real world
data mining
metadata
case study
high level
bayesian networks
expert systems
semantic information
conceptual model
argumentation semantics