Logical Operational Semantics of Parlog. Part II: Or-Parallelism.

Egon Börger Elvinia Riccobene

Published in: RCLP (1991)

Keyphrases

conditional probabilities
operational semantics
model theoretic
formal semantics
denotational semantics
mental states
agent programming
activity diagrams
data model
shared memory
declarative semantics
logic programming language
natural language
description logics
online learning
integrity constraints