CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...



AISB opportunities Bulletin Item

Postdoctoral position in KR & Agents, Melbourne, AUSTRALIA

KR & Agent Postdoc Position: RMIT University Melbourne Australia Seeking Expressions of Interest

We will be soon advertising a postdoctoral position between 2-3 years, starting early to mid 2012, 
working within the Intelligent Agents Group at RMIT University in Melbourne, and the Artificial 
Intelligence Laboratory at University of New South Wales in Sydney. The project will also involve 
collaboration with staff from "La Sapienza" University in Rome, Italy. The specific position is as 
a postdoc on the ARC grant ``Optimisation of embedded virtual complex systems by re-using a library
of available components''. This project involves developing principled representation and reasoning
mechanisms for tackling the so-called behaviour composition problem in ways amenable for practical

In a nutshell, the behaviour composition problem involves automatically synthesising a controller-
coordinator that can implement a given desired but non-existing target complex behaviour (e.g., a 
home entertainment system) by using a set of available existing behaviour modules (e.g., video 
cameras, TVs, lights, music and game devices, etc.). A behaviour here refers to the operational 
logic of a system and is general represented as a transition system. This composition synthesis 
problem is important in that it can be recast in a variety of forms within several sub-areas of 
Artificial Intelligence and Computer Science, including robot ecologies and intelligent spaces, 
agent programming and multi-agent system, web-service composition, automated planning, among others.
In particular, this project aims at developing a framework for behaviour composition that will 
cater for: (a) unsolvable problem instances where no perfect controller exists; (b) difficult 
instances where sub-optimal solutions may suffice; and (c) relevant domain specific information 
that is not being considered by any approach to date.

We are looking for a person with an excellent record of working on practical knowledge 
representation and reasoning problems, producing high quality publications with good impact. 
We are looking for expertise in areas of artificial intelligence such as automated planning, 
optimisation, knowledge representation and reasoning, intelligent agents, verification, and 
synthesis. The person should be able to work well in a team, but should also be able to take a 
lead role in driving forward the research.

RMIT has a large computer science department with a well established and internationally recognised
research group in the area of Intelligent Agents. Melbourne is a hub for a significant amount of 
research and development in Intelligent Agents and their applications and is the home of "Agents 
Victoria" a group of industry, government and university groups, involved in agent research and 
applications. UNSW is ranked among the top 100 for Computer Science in the Academic Ranking of 
World Universities. It is a partner in the ARC Centre of Excellence for Autonomous Systems (CAS) 
which is the second largest robotics research group in the world with a leading reputation for 
both fundamental research and the application of this to industry.

More information can be found in the following link:

Please email expressions of interest to Sebastian Sardina . Please 
put POSTDOC in the subject header.

Some URLs:

Some references:

Nitin Yadav and Sebastian Sardina. Decision theoretic behavior composition. In Tumer, Yolum, 
Sonenberg, and Stone, editors, Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), 
pages 575-582, Taipei, Taiwan, May 2011. ACM Press.

Strder, T., Pagnucco, M. Realising Deterministic Behavior from Multiple Non-Deterministic 
Behaviors, In Proceedings of the Twentyfirst International Joint Conference on Artificial 
Intelligence (IJCAI'09), pp. 936 -- 941, Pasedena, USA, July 2009.

Sebastian Sardina, Fabio Patrizi, and Giuseppe De Giacomo. Behavior composition in the presence 
of failure. In Gerhard Brewka and Jerome Lang, editors, Proceedings of Principles of Knowledge 
Representation and Reasoning (KR), pages 640-650, Sydney, Australia, September 2008. AAAI Press