2008 |
19 | | Frank Guerin,
Wamberto Weber Vasconcelos:
AISB 2008 Convention: Communication, Interaction and Social Intelligence, 1st-4th April 2008, University of Aberdeen
AISB 2008 |
18 | EE | Emmanuel M. Tadjouddine,
Frank Guerin,
Wamberto Weber Vasconcelos:
Abstractions for model-checking game-theoretic properties of auctions.
AAMAS (3) 2008: 1613-1616 |
17 | EE | Frank Guerin:
Constructivism in AI: Prospects, Progress and Challenges.
AISB Convention 2008: 20-27 |
16 | | Frank Guerin,
Wamberto Weber Vasconcelos:
The AISB Convention.
AISB Convention 2008 |
15 | EE | Emmanuel M. Tadjouddine,
Frank Guerin,
Wamberto Weber Vasconcelos:
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms.
DALT 2008: 197-214 |
2007 |
14 | EE | Frank Guerin,
Wamberto Weber Vasconcelos:
A component-based approach to standardising agent communication.
AAMAS 2007: 35 |
13 | EE | Emmanuel M. Tadjouddine,
Frank Guerin:
Verifying Dominant Strategy Equilibria in Auctions.
CEEMAS 2007: 288-297 |
12 | EE | Frank Guerin,
Wamberto Weber Vasconcelos:
Component-Based Standardisation of Agent Communication.
DALT 2007: 227-244 |
11 | EE | Mehdi Khoury,
Frank Guerin,
George Macleod Coghill:
Learning dynamic models of compartment systems by combining symbolic regression with fuzzy vector envisionment.
GECCO (Companion) 2007: 2769-2776 |
10 | EE | Frank Guerin:
Applying game theory mechanisms in open agent systems with complete information.
Autonomous Agents and Multi-Agent Systems 15(2): 109-146 (2007) |
2006 |
9 | EE | Frank Guerin,
Emmanuel M. Tadjouddine:
Realising Common Knowledge Assumptions in Agent Auctions.
IAT 2006: 579-586 |
2003 |
8 | EE | Frank Guerin,
Jeremy Pitt:
Verification and Compliance Testing.
Communication in Multiagent Systems 2003: 98-112 |
2002 |
7 | EE | Frank Guerin,
Jeremy Pitt:
Proving properties of open agent systems.
AAMAS 2002: 557-558 |
6 | EE | Frank Guerin,
Jeremy Pitt:
Guaranteeing Properties for E-commerce Systems.
AMEC 2002: 253-272 |
2001 |
5 | EE | Frank Guerin,
Jeremy Pitt:
Denotational semantics for agent communication language.
Agents 2001: 497-504 |
2000 |
4 | EE | Alexander Artikis,
Frank Guerin,
Jeremy Pitt:
Integrating Interaction Protocols and Internet Protocols for Agent-Mediated E-Commerce.
AMEC 2000: 47-69 |
3 | EE | Jeremy Pitt,
Frank Guerin,
Christos Stergiou:
Protocols and intentional specifications of multi-party agent conversions for brokerage and auctions.
Agents 2000: 269-276 |
2 | EE | Frank Guerin,
Jeremy Pitt:
A Semantic Framework for Specifying Agent Communication Languages.
ICMAS 2000: 395-396 |
1 | EE | Christos Stergiou,
Jeremy Pitt,
Frank Guerin,
Alexander Artikis:
Implementing Multi-party Agent Conversations.
IEA/AIE 2000: 4-13 |