Logical Operational Semantics of Parlog, Part I: And-Parallelism.

Egon Börger Elvinia Riccobene

Published in: PDK (1991)

Keyphrases

operational semantics
model theoretic
formal semantics
data model
mental states
shared memory
denotational semantics
declarative semantics
activity diagrams
logic programming language
databases
artificial intelligence
black box
agent programming