SSP Group Meeting
Wednesday, April 17th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


Modelling Large MASs with Computational Logic

Wamberto Vasconcelos

The design and analysis of Large Multi-Agent Systems require new tools and methods. We are currently investigating, adapting and applying results and practices from Computational Logic, more specifically, Logic Programming, to support rapid prototyping and modelling of such systems. I shall give a demo of a proof-of-concept prototype incorporating some of the ideas presented.