DRL: A Distributed Real-Time Logic Language.
Manuel DíazBartolomé RubioJosé M. TroyaPublished in: Comput. Lang. (1997)
Keyphrases
- real time
- formal language
- language learning
- multi agent
- natural language
- distributed systems
- dynamic logic
- intuitionistic logic
- proof theory
- low cost
- multi valued
- formal logic
- formal theory
- lightweight
- logic programming
- programming language
- general purpose
- control system
- distributed environment
- model theoretic
- modal operators
- event processing
- deductive databases
- reasoning about actions
- first order logic
- predicate calculus
- logic programming language
- agent programming
- autonomous mobile