Multi-agent Logic with Distances Based on Linear Temporal Frames.
Vladimir V. RybakovSergey BabenyshevPublished in: ICAISC (2) (2010)
Keyphrases
- multi agent
- linear temporal logic
- temporal order
- cooperative
- spatio temporal
- temporal coherence
- logic programming
- intelligent agents
- reference frame
- reinforcement learning
- temporal consistency
- moving objects
- multi agent systems
- temporal information
- euclidean distance
- distance function
- temporal correlation
- single frame
- classical logic
- temporal relations
- multi valued
- proof theory
- temporal domain
- knowledge representation
- model checking
- linear systems
- multiple agents
- temporal databases
- coalition formation
- frame rate
- modal logic
- spatial and temporal
- video frames