Strange Aeons

sesquipedalia verba
Simon Wells
Simon Wells

Simon Wells is an academic researching Argumentation Theory, Automated Reasoning, Intelligent Agents (IA) and MultiAgent Systems (MAS) all approached through a ludic lens.

He is particularly interested in how these tools can be usefully applied to critical literacy, security, gamification, and complex systems.

Twitter

My Other Sites

Affiliates

Tags

Archive

2012 (1)
2011 (12)
2010 (27)
2009 (3)
« Back to blog
 

A Visit from Rafael

Rafael Bordini will be visiting us in SoC next week. He will be giving a seminar entitled "A Verifiable Approach to Programming Multi-Agent Systems" and hopefully will spend the rest of the day chatting with ARG about possible avenues for joint work. The absract for his talk is as follows; "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. 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." I have met Rafael a couple of times and he is a thoroughly nice chap so I am quite looking forward to his visit. Anybody who can make it to the Wolfson Research Theatre on 27th February @ 12:30 should come along because they are in for a treat.
Posted
Views
Filed under: MAS SoC academia intelligent agents people research seminars
Posterous theme by Cory Watilo.
​