Search the dblp DataBase

Publications of Author

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