Runtime Self-Checking via Temporal (Meta-)Axioms for Assurance of Logical Agent Systems.
Stefania CostantiniGiovanni De GasperisPublished in: CILC (2014)
Keyphrases
- agent systems
- intelligent agents
- dynamic environments
- agent technology
- agent oriented
- multi agent systems
- knowledge base
- agent based systems
- logical theories
- intelligent virtual agents
- temporal constraints
- temporal information
- temporal reasoning
- mobile agents
- spatio temporal
- information security
- agent programming
- temporal knowledge
- intelligent systems
- software development