Edit Profile (opens in new tab) Tonino, Hans Compute Distance To: Compute Author ID: tonino.hans Published as: Tonino, Hans Documents Indexed: 3 Publications since 1992 Co-Authors: 4 Co-Authors with 3 Joint Publications 49 Co-Co-Authors Co-Authors 0 single-authored 2 Bos, André 2 de Weerdt, Mathijs M. 2 Witteveen, Cees 1 Fujita, Ken-etsu Serials 1 Artificial Intelligence 1 Annals of Pure and Applied Logic 1 Annals of Mathematics and Artificial Intelligence Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 8 times in 7 Documents Cited by ▼ Year ▼ A resource logic for multi-agent plan merging. Zbl 1023.68097de Weerdt, Mathijs; Bos, André; Tonino, Hans; Witteveen, Cees 5 2003 On the adequacy of representing higher order intuitionistic logic as a pure type system. Zbl 0763.03007Tonino, Hans; Fujita, Ken-etsu 2 1992 Plan coordination by revision in collective agent based systems. Zbl 1043.68092Tonino, Hans; Bos, André; de Weerdt, Mathijs; Witteveen, Cees 1 2002 A resource logic for multi-agent plan merging. Zbl 1023.68097de Weerdt, Mathijs; Bos, André; Tonino, Hans; Witteveen, Cees 5 2003 Plan coordination by revision in collective agent based systems. Zbl 1043.68092Tonino, Hans; Bos, André; de Weerdt, Mathijs; Witteveen, Cees 1 2002 On the adequacy of representing higher order intuitionistic logic as a pure type system. Zbl 0763.03007Tonino, Hans; Fujita, Ken-etsu 2 1992 all cited Publications top 5 cited Publications all top 5 Cited by 19 Authors 2 Fabiano, Francesco 2 Pontelli, Enrico 1 Baral, Chitta R. 1 Barthe, Gilles 1 Bos, André 1 Burigana, Alessandro 1 de Weerdt, Mathijs M. 1 Dovier, Agostino 1 French, Tim 1 Gelfond, Gregory 1 Hatcliff, John 1 McCabe-Dansted, John Christopher 1 Pinchinat, Sophie 1 Reynolds, Mark Alexander 1 Sellink, M. P. A. 1 Son, Tran Cao 1 Sørensen, Morten Heine B. 1 Tonino, Hans 1 Witteveen, Cees Cited in 5 Serials 2 Artificial Intelligence 1 Theoretical Computer Science 1 International Journal of Foundations of Computer Science 1 Journal of Applied Non-Classical Logics 1 Theory and Practice of Logic Programming Cited in 2 Fields 7 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year