– Intelligent agents and multi-agent systems
– Agent-based software engineering
– Multi-agent interaction, dialogue and argumentation
– Formal methods
– Validation and automatic verification (Model Checking)
– Non-classical logics (Temporal logic, Spatial logic, Dynamic logic, Epistemic logic, etc.)
– Temporal and spatial reasoning
– Decision theory
– Artificial intelligence and knowledge representation
– Security in multi-agent systems
– Semantic Web and semantic grid computing
There is a boundary to men's passions when they act from feelings; but none
when they are under the influence of imagination.
Edmund Burke
(1729-1797)