2003 |
6 | | Mathijs de Weerdt,
André Bos,
Hans Tonino,
Cees Witteveen:
A Resource Logic for Multi-Agent Plan Merging.
Ann. Math. Artif. Intell. 37(1-2): 93-130 (2003) |
2002 |
5 | EE | Hans Tonino,
André Bos,
Mathijs de Weerdt,
Cees Witteveen:
Plan coordination by revision in collective agent based systems.
Artif. Intell. 142(2): 121-145 (2002) |
2000 |
4 | | Mathijs de Weerdt,
André Bos,
Hans Tonino,
Cees Witteveen:
A Plan Fusion Algorithm for Multi-Agent Systems.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 56-65 |
3 | EE | Bart Jan Moree,
André Bos,
Hans Tonino,
Cees Witteveen:
Cooperation by Iterated Plan Revision.
ICMAS 2000: 191-198 |
1998 |
2 | | Hans Tonino:
A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines.
Workshop on Abstract State Machines 1998: 91-110 |
1992 |
1 | | Hans Tonino,
Ken-etsu Fujita:
On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System.
Ann. Pure Appl. Logic 57(3): 251-276 (1992) |