SMT-Based Diagnosis of Multi-Agent Temporal Plans.
Gianluca TortaRoberto MicalizioPublished in: AAMAS (2018)
Keyphrases
- multi agent
- spatial and temporal
- spatio temporal
- fault diagnosis
- medical diagnosis
- cooperative
- planning under uncertainty
- temporal analysis
- temporal information
- model based diagnosis
- temporal data
- multiagent systems
- temporal constraints
- temporal reasoning
- temporal patterns
- fault detection
- totally ordered
- temporal evolution
- multi agent systems
- temporal dimension
- multiagent environments
- multiple faults
- oriented programming
- plan generation
- cognitive agents
- space time
- statistical machine translation
- plan execution
- plan recognition
- temporal databases
- reinforcement learning