Research Interests

 

    – 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)