Implementation Issues of a Distributed Real-Time Logic Language.

Manuel Díaz Bartolomé Rubio José M. Troya

Published in: ICLP Workshop: Integration of Declarative Paradigms (1994)

Keyphrases

implementation issues
real time
formal language
operational semantics
dynamic logic
programming language
distributed systems
cooperative

distributed environment
proof theory
formal theory
logic programming
distributed stream processing
multi agent
natural language
intuitionistic logic

computer networks
camera network
highly expressive
modal logic
multimedia communication
predicate calculus
low cost
linear temporal logic

control system
query language
model theoretic
language learning
classical logic
specification language
computational linguistics
communication cost