CLIMA 2000: London, UK

Ken Satoh, Fariba Sadri (Eds.): CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00).

Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh: A Defeasible Reasoning System in Multi-Agent Environment. 1-6 BibTeX
Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent System. 7-16 BibTeX
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Logic Programming. 17-26 BibTeX
Tadashi Araragi, Kiyoshi Kogure: Dynamic Downloading of Communications Protocols Using a Logic Based Agent System. 27-34 BibTeX
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing Collaborative and Competitive Coordination among Abductive. 35-43 BibTeX
Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau: IMPACTing SHOP: Planning in a Multi-agent Environment. 44-55 BibTeX
Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen: A Plan Fusion Algorithm for Multi-Agent Systems. 56-65 BibTeX
Antonio Brogi, Simone Contiero, Franco Turini: On the Interplay between Reactivity and Computation. 66- BibTeX