| Skip to main content | Skip to sub navigation |

This is now an inactive research group it's members have moved on. You can find them at their new research groups:

Speaker(s): Dr. Rafael H. Bordini
Organiser: Dr Enrico H Gerding
Time: 10/03/2008 14:00-15:00
Location: B32/3077


This talk will provide an overview of a particular approach to programming multi-agent systems and how we aim to do formal verification of systems programmed according to that approach. The talk covers some features of "Jason", a Java-based interpreter for a variant of a logic-based agent-oriented programming language called AgentSpeak, and mentions various ongoing research strands related to it. In particular, the talk will concentrate on the JASDL tool which extends Jason so that programmers can take advantage of ontological knowledge available on the web when developing agents. The talk also gives a brief account of recent research aimed at developing a library of common features of agent programming languages so as to facilitate the use model-checking techniques for the verification of multi-agent systems written in such languages.

Presentation Links

Zepler TV Podcast

Speaker Biography

Dr. Rafael H. Bordini

Dr. Rafael H. Bordini is Lecturer in Computer Science at the University of Durham, UK. He received a PhD from the University of London (UCL) in 1999, and worked as a visiting lecturer at UFRGS (Porto Alegre, Brazil), then as a research fellow at the University of Liverpool, before joining the University of Durham. Dr. Bordini has published over 60 peer-reviewed papers in journals and conferences and is best known for his work on agent-oriented programming languages, as well as his work on model checking multi-agent systems. For further details, visit his homepage (see link above).