The LTI-USP Strategy to the 2020/2021 Multi-Agent Programming Contest

2021 ◽  
pp. 108-133
Author(s):  
Marcio Fernando Stabile ◽  
Jaime S. Sichman
Keyword(s):  
Agent Programming ◽  
Multi Agent

Herding Agents - JIAC TNG in Multi-Agent Programming Contest 2008

2009 ◽  
pp. 228-232 ◽  
Author(s):  
Axel Hessler ◽  
Jan Keiser ◽  
Tobias Küster ◽  
Marcel Patzlaff ◽  
Alexander Thiele ◽  
...  
Keyword(s):  
Agent Programming ◽  
Multi Agent

Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems

2013 ◽  
pp. 366-390 ◽  
Author(s):  
Tobias Ahlbrecht ◽  
Christian Bender-Saebelkampf ◽  
Maiquel de Brito ◽  
Nicolai Christian Christensen ◽  
Jürgen Dix ◽  
...  
Keyword(s):  
Agent Programming ◽  
Multi Agent

The Multi-Agent Programming Contest 2012

2013 ◽  
pp. 174-195 ◽  
Author(s):  
Michael Köster ◽  
Federico Schlesinger ◽  
Jürgen Dix
Keyword(s):  
Agent Programming ◽  
Multi Agent

The 15th Multi-Agent Programming Contest

2021 ◽  
pp. 3-20
Author(s):  
Tobias Ahlbrecht ◽  
Jürgen Dix ◽  
Niklas Fiekas ◽  
Tabajara Krausburg
Keyword(s):  
Agent Programming ◽  
Multi Agent

FIT BUT: Rational Agents in the Multi-Agent Programming Contest

2021 ◽  
pp. 23-45
Author(s):  
Vaclav Uhlir ◽  
Frantisek Zboril ◽  
Frantisek Vidensky
Keyword(s):  
Rational Agents ◽  
Agent Programming ◽  
Multi Agent

On the Formal Specification and Verification of Multi-Agent Systems

1997 ◽  
Vol 06 (01) ◽  
pp. 37-65 ◽  
Author(s):  
Michael Fisher ◽  
Michael Wooldridge
Keyword(s):  
Programming Language ◽  
Formal Specification ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Agent Programming ◽  
Formal Specification And Verification ◽  
Multi Agent ◽  
Specification And Verification

This article describes first steps towards the formal specification and verification of multi-agent systems, through the use of temporal belief logics. The article first describes Concurrent METATEM, a multi-agent programming language, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifying Concurrent METATEM systems is demonstrated through a number of examples. The article concludes with a brief discussion on the wider implications of the work, and in particular on the use of similar logics for reasoning about multi-agent systems in general.

Sign in / Sign up

Export Citation Format

Share Document