Interests
Areas of Interest
- Adaptive Agents
- Adaptive software systems / agent architecture design
- Automated temporal and causal reasoning systems
- Belief revision
- Entropy and self-organisation in complex multi-agent systems
- Logic and model theory applications in artificial intelligence (belief revision, modelling evolutionary and negotiation games), systems theory (reasoning about action), and software correctness
- Machine learning and knowledge mining
- Modeling dataflow computations
- Modeling simulation tasks
- Models of paraphrasing under constraints
- Nonmonotonic logic
- Object-oriented, agent-oriented, behaviour-based, and logic programming/design patterns
- Qualitative reasoning
- Semantics and simulation of dynamic multi-agent systems
- Semantic description of web services
- Temporal deductive databases
- Theory dynamics