Implementation Issues of a Distributed Real-Time Logic Language.
Manuel DíazBartolomé RubioJosé M. TroyaPublished 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