Joćo Leite

Home      Research       Teaching       Miscellaneous

Events

10th European Agent System Summer School (EASSS'08). Caparica, Portugal, 5-9 May 2008.

Summer School Co-Chair.

M. Dastani and J. Leite (eds.), Proceedings of the 10th European Agent System Summer School (EASSS'08), pp xii + 401, Lisbon, Portugal, May 2008.

More details...

First International Workshop on Languages Methodologies And Development Tools for Multi-Agent System (LADS’007). Durham, UK, 4-6 September 2007.

Workshop Co-Chair.

Proceedings:M. Dastani, A. El Fallah-Seghrouchni, J. Leite and P. Torroni (eds.), Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS'007, Durham, UK, September 4-6, 2007. Revised Selected Papers. Vol. 5118 of Lecture Notes in Artificial Intelligence. xii + 278 p. Softcover. Heidelberg: Springer, ISBN 978-3-540-85057-1, 2008.

More details...

Ninth European Conference on Logics in Artificial Intelligence (JELIA'04). Lisbon, Portugal, 27-30 September 2004.

Conference Chair.

Proceedings: J. J. Alferes and J. Leite (eds.), Logics in Artificial Intelligence. Ninth European Conference, JELIA 2004, Lisbon, Portugal, September 2004, Proceedings. Vol. 3229 of Lecture Notes in Artificial Intelligence.  xiv + 744 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 3-540-23242-7, 2004.

More details...

Fifth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA V). Lisbon, Portugal, 29-30 September 2004.

Workshop Co-Chair.

Pre-Proceedings: J. Leite and P. Torroni (eds.), Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, pp x + 260, Lisbon, Portugal, ISBN: 972-9119-37-6, September 2004.

Post-Proceedings: J. Leite and P. Torroni (eds.), Computational Logic in Multi-Agent Systems. 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-31, 2004, Revised Selected and Invited Papers. Vol. 3487 of Lecture Notes in Artificial Intelligence. xii + 281 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 3-540-28060-X, 2005.

More details...

Second International Workshop on Declarative Agent Languages and Technologies (DALT'04). New York, USA, 19 September 2004.

Workshop Co-Chair. 

Pre-Proceedings: J. Leite, A. Omicini, P. Torroni and P. Yolum (eds.), Workshop notes of the 2nd International Workshop on Declarative Agent Languages and Technologies, (DALT''04), pp vi + 312, New York, USA, July 2004.

Post-Proceedings: J. Leite, A. Omicini, P. Torroni and P. Yolum (eds.), Declarative Agent Languages and Technologies II. Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Vol. 3476 of Lecture Notes in Artificial Intelligence.  xii + 289 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 3-540-26172-9, 2005.

More details...

Fourth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA IV). Fort Lauderdale, USA, 6-7 January 2004.

Workshop Co-Chair.

Pre-Proceedings: J. Dix and J. A. Leite (eds.), Proceedings of the 4th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA IV. ITZ Bericht Band 1 Heft 5, x + 229 p. Softcover, PAPIERFLIEGER, Clausthal-Zellerfeld, ISBN 3-89720-688-9, 2003.

Post-Proceedings: J. Dix and J. Leite (eds.), Computational Logic in Multi-Agent Systems. 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers. Vol. 3259 of Lecture Notes in Artificial Intelligence. XII + 251 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 3-540-24010-1, 2004.

More details...

First International Workshop on Declarative Agent Languages and Technologies (DALT'03). Melbourne, Australia, 15 July 2003.

Workshop Co-Chair.

Pre-Proceedings: J. A. Leite, A. Omicini, L. Sterling and P. Torroni (eds.), Workshop notes of the 1st International Workshop on Declarative Agent Languages and Technologies, (DALT''03), pp iv + 178, Melbourne, Australia, July 2003.

Proceedings: J. Leite, A. Omicini, L. Sterling, and P. Torroni (eds.), Declarative Agent Languages and Technologies. First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Vol. 2990 of Lecture Notes in Artificial Intelligence.  xii + 281 p. Softcover. Heidelberg: Springer-Verlag. ISBN: 3-540-22124-7, 2004.

More details...

Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'02). Copenhagen, Denmark, 1 August 2002.

Workshop Co-Chair.

Pre-Proceedings: J. Dix, J. A. Leite and K. Satoh (eds.), Pre-Proceedings of the 3rd International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA'02), pp x + 181, no. 93 of Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, ISSN 0109-9779, 2002.

Proceedings: J. Dix, J. A. Leite and K. Satoh (eds.), Proceedings of the 3rd International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA'02), Electronic Notes in Theoretical Computer Science 70(5), ISBN: 04445-12985, 2002.

More details...