First Page | Meta Content | |
---|---|---|
Document Date: 2013-06-05 07:31:20Open Document File Size: 263,88 KBShare Result on FacebookCitySul / /CompanyAutonomous Systems / /CountryGermany / Brazil / United Kingdom / /FacilityClausthal University of Technology / Federal University of Rio Grande / University College London / NASA Ames Research Center / University of Liverpool / Institute of Informatics / King’s College / Peer Review College / /IndustryTermclassic protocols / multiagent systems / years tools / multi-agent applications / software agents / agent-oriented software engineering / agent technology / software toolkit / transportation networks / model checking multi-agent systems / typical agent-based applications / surveillance applications / symbolic model checking algorithms / software systems / real-world applications / agent systems / multi-agent systems / theoretical design principles underpinning systems / multi-agent solutions / present axiomatic systems / search techniques / realworld applications / real-world systems / assistive technology / /OrganizationINF-UFRGS / DALT Spring School / University College London / Steering Committee of ProMAS / Clausthal University of Technology / PC / King’s College London / University of Liverpool / Durham University / EPSRC / AAMAS / 15th European Agent Systems Summer School / Institute of Informatics / NASA Ames Research Center / Federal University of Rio Grande / London Knowledge Lab / Peer Review College / /PersonRafael Bordini / Amanda Coles / Louise Dennis / Michael Luck / João Leite / Simon Parsons / Jade / Frans Oliehoek / Matthijs Spaan / Koen Hindriks / Mehdi Dastani / Paolo Turrini / Franco Raimondi / Andrew Coles / Michael Fisher / Raphael Bordini / Michael Wooldridge / Nicolas Maudet / Steve Phelps / Jack / Michael Rovatsos / Alessio Lomuscio / Nils Bulling / Sara Bernardini / Minerva / /Positionresearch scientist / computer science Tutor / tutor / multi-agent systems Tutor / agent systems Tutor / multi-agent research methodologies Tutor / space Tutor / Negotiation Tutor / Voting theory Tutor / Dialogue Tutor / assistant professor / Lecturer / visiting professor / research associate in the Planning Group / associate professor / member / /Technologysymbolic model checking algorithms / agent technology / artificial intelligence / Agreement technologies / /SocialTag |