A behavioural semantics for Linda-2.

Published in: Softw. Eng. J. (1991)

Keyphrases

logic programming
semantic information
genetic algorithm
conceptual model
logical language
artificial intelligence
information systems
multiscale
evolutionary algorithm
data model
co occurrence
logic programs
nonmonotonic logics
proof theory
collective decision making