- Address
- Current activities
- Area Chair for the 24th Conference on Artificial Intelligence (AAAI-10)
- Area Chair for the 19th European Conference on Artificial Intelligence (ECAI-10)
- Member of the Program Committee for the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10)
- KR-2010 Doctoral Consortium (Program Committee)
- Member of the Program Committee for the 12th European Conference on Logics in Artificial Intelligence (JELIA-10)
- Member of the Program Committee for the 20th Brazilian Symposium on Artificial Intelligence (SBIA-10)
- Member of the Program Committee for the 4th International Conference on Knowledge Science, Engineering & Management (KSEM-10)
- Member of the Program Committee for the 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-10)
- Member of the Program Committee for Thirty Years of Nonmonotonic Reasoning (Program Committee)
- Member of the Program Committee for the International Workshop on Nonmonotonic Reasoning (NMR)
- Member of the Program Committee for the Third International Symposium on Practical Cognitive Agents and Robots (PCAR-10)
- Member of the Program Committee for the 24th Workshop on Constraint Logic Programming (WLP)
- Member of the Program Committee for the Workshop on Planning in Games at ICAPS
- Recent activities
- Member of the Senior Program Committee of the International Joint Conference on Artificial Intelligence (IJCAI-09)
- Co-Organizer of the IJCAI-09 Workshop on General Game Playing (GIGA'09)
- Member of the Program Committee of the International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense-2009)
- Member of the Program Committee of the Australasian Joint Conference on Artificial Intelligence (AI-09)
- Member of the Program Committee of the International Workshop on Computatiponal Logic in Multi-Agent Systems (CLIMA-09)
- Member of the Program Committee of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-09)
- Projects
- General Game Playing
- Logic-Based Knowledge Representation
- Logical Foundation and Implementation Technology for Automated Negotiation - an Australian Research Council (ARC) Discovery Project
- Designing an Axiomatisation Language for Autonomous Agents and Mobile Robots
- Current teaching activities
- Curriculum vitae
- Publications
General Game Playing Website
FLUX Website
KR-08 Tutorial "KR-Techniques for General Game Playing"
AAAI-08 Tutorial "General Game Playing"
IJCAI-07 Tutorial "The Art and Science of Action Programming Languages"
Address
CV