Home      Research       Teaching       Miscellaneous

Books

Authored

 

J. A. Leite, Evolving Knowledge Bases, vol 81 of Frontiers of Artificial Intelligence and Applications, xviii + 307 p. Hardcover. IOS Press,  ISBN: 1 58603 278 X, 2003.

 

Edited

 

J. Leite, T. C. Son, P. Torroni and S. Woltran, Computational Logic in Multi-Agent Systems (CLIMA XIV), Journal of Logic and Computation, 28(3), 2018.

J. Leite, T. C. Son, P. Torroni and S. Woltran, Applications of Logical Approaches to Argumentation, Argument & Computation, 6(1), 2015.

E. Fermé, J. Leite and M. Reis (eds.), Logics in Artificial Intelligence. Fourteenth European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 2014, Proceedings. Vol. 8761 of Lecture Notes in Artificial Intelligence.  xvi + 704 p. Softcover. Springer. ISBN: 978-3-319-11557-3, 2014.

U. Endriss and J. Leite (eds.), Proceedings of the Seventh Starting AI Researchers' Symposium, STAIRS 2014, Prague, Czech Republic, August 2014. Volume 264 of Frontiers in Artificial Intelligence and Applications. xii+303 p. Hardcover. IOS Press. ISBN: 978-1-61499-420-6, 2014.

J. Leite, P. Torroni, T. Agotnes, G. Boella and L. van der Torre, Computational Logic in Multi-Agent Systems (CLIMA XII), Journal of Logic and Computation, 24(6), 2014.

J. Leite, T. C. Son, P. Torroni, L. van der Torre and S. Woltran, Computational Logic in Multi-Agent Systems. 14th International Workshop, CLIMA XIV, Corunna, Spain, September 2013, Proceedings. Vol. 8143 of Lecture Notes in Artificial Intelligence. xxiv+391 p. Softcover. Heidelberg: Springer. ISBN 978-3-642-40623-2, 2013.

J. Dix and J. A. Leite (eds.), Computational Logic and Multi-Agent Systems, Annals of Mathematics and Artificial Intelligence, 62(1-2), ISSN: 1012-2443, 2011.

J. Leite, P. Torroni, T. Agotnes, G. Boella and L. van der Torre, Computational Logic in Multi-Agent Systems. 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings. Vol. 6814 of Lecture Notes in Artificial Intelligence. Xv+383 p. Softcover. Heidelberg: Springer. ISBN 978-3-642-22358-7 , 2011.

M. Dastani, A. El Fallah-Seghrouchni, J. Hubner and J. Leite (eds.), Languages, Methodologies and Development Tools for Multi-Agent Systems, Third International Workshop, LADS'010, Lyon, France, August 30th - September 2nd, 2010. Revised Selected Papers. Vol. 6822 of Lecture Notes in Artificial Intelligence. IX+153 p. Softcover. Heidelberg: Springer. ISBN 978-3-642-22722-6, 2011.

J. Dix, J. Leite, G. Governatori and W. Jamroga (eds.), Computational Logic in Multi-Agent Systems. 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010, Proceedings. Vol. 6245 of Lecture Notes in Artificial Intelligence. Xiv+258 p. Softcover. Heidelberg: Springer. ISBN: 978-3-642-14976-4, 2010.

M. Dastani, A. El Fallah-Seghrouchni, J. Leite and P. Torroni (eds.), Languages, Methodologies and Development Tools for Multi-Agent Systems, Second International Workshop, LADS'009, Turin, Italy, September 7-9, 2009. Revised Selected Papers. Vol. 6039 of Lecture Notes in Artificial Intelligence. xii + 183 p. Softcover. Heidelberg: Springer, ISBN: 978-3-642-13337-4 , 2010.

M. Baldoni, C. Baroglio, J. Bentahar, G. Boella, M. Cossentino, M. Dastani, B. Dunin-Keplicz, G. Fortino, M. P. Gleizes, J. Leite, V. Mascardi, J. A. Padget, J. Pavón, A. Polleres, A. El Fallah-Seghrouchni, P. Torroni and R. Verbrugge: Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW’09), Turin, Italy, September 7-10, Vol 494 of CEUR Workshop Proceedings, 2009.

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.

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

J. J. Alferes and J. Leite (eds.), Selected Papers from the Ninth European Conference on Logics in Artificial Intelligence (JELIA’04), Journal of Applied Logics, 5(3), ISSN: 1570-8683, 2007.

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.

 

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.

 

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.

 

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.

 

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.

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.

 

 

J. Dix, J. A. Leite and K. Satoh (eds.), Computational Logic and Multi-Agent Systems, Annals of Mathematics and Artificial Intelligence, 42(1-3), ISSN: 1012-2443, 2004.

 

 

 

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.

 

 

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.

 

 

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.

 

 

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.

 

 

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.