About

João Leite is Professor of Computer Science at the Department of Computer Science, NOVA School of Science and Technology, NOVA University of Lisbon.

He obtained his PhD in Computer Science from NOVA University Lisbon in 2002. Before that, he obtained a MSc in Computer Science from NOVA University Lisbon in 1997 and graduated in Electronic Engineering from the University of Coimbra in 1994.

His primary research interests include:

  • Artificial Intelligence
  • Knowledge Representation and Reasoning
  • Neuro-symbolic Artificial Intelligence
  • Answer-Set Programming
  • Argumentation Theory
  • Multi-Agent Systems
Current Appointments:

Profiles:

Research

Publications

He authored and co-edited several books and journal special issues, and co-authored several papers.

Projects

He led and participated in several research projects and several scientific networks.

Software

He developed or coordinated the development of several software.

Events

He organised several scientific events, and participated in a large number of program committees.

Publications

Books and Journal Special Issues

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.

More info...

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.

More info...

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

More info...

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.

More info...

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.

More info...

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.

More info...

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.

More info...

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.

More info...

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.

More info...

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.

More info...

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.

More info...

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.

More info...

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.

More info...

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 info...

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 info...

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.

More info...

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 info...

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 info...

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 info...

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 info...

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 info...

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.

More info...

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 info...

Papers

  • J. Leite, M. Slota. A Brief History of Updates of Answer-Set Programs. Theory and Practice of Logic Programming, 23(1):57-110, 2023. [PDF]

  • R. Gonçalves, M. Knorr, J. Leite. Forgetting in Answer Set Programming - A Survey. Theory and Practice of Logic Programming, 23(1):111-156, 2023. [PDF]

  • J. Ferreira, M. de Sousa Ribeiro, R. Gonçalves, J. Leite. Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. In G. Kern-Isberner, G. Lakemeyer, and T. Meyer (eds.), Procs. of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR'22), 2022. [PDF]

  • M. Knorr, C. V. Damásio, R. Gonçalves and J. Leite. Towards Provenance in Heterogeneous Knowledge Bases. In G. Gottlob, D. Inclezan and M. Maratea (eds.), Procs of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR'22), LNAI 13416, 2022. [PDF]

  • M. Knorr, C. V. Damásio, R. Gonçalves and J. Leite. Modular Provenance in Multi-Context Systems (Extended Abstract). In F. Baader et al. (eds.), Proceedings of the Third Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'22), 2022. [PDF] [PDF]

  • M. de Sousa Ribeiro and J. Leite. Aligning Artificial Neural Networks and Ontologies towards Explainable AI. In Procs. of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI'21), pp. 4932-4940, AAAI Press, 2021. [PDF]

  • R. Gonçalves, T. Janhunen, M. Knorr, J. Leite. On Syntactic Forgetting Under Uniform Equivalence. In W. Faber, G. Friedrich, M. Gebser, and M. Morak (eds.), Procs. of the 17th European Conference on Logics in Artificial Intelligence (JELIA'21), pp. 297-312, LNCS 12678, Springer 2021. [PDF]

  • J. Heyninck, R. Gonçalves, M. Knorr, J. Leite. Tractable Reasoning Using Logic Programs with Intensional Concepts. In W. Faber, G. Friedrich, M. Gebser, and M. Morak (eds.), Procs. of the 17th European Conference on Logics in Artificial Intelligence (JELIA'21), pp. 329-345, LNCS 12678, Springer 2021. [PDF]

  • R. Ferreira, Ca. Lopes, R. Gonçalves, M. Knorr, L. Krippahl, J. Leite. Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. In G. Marreiros, F. S. Melo, N. Lau, H. L. Cardoso and L. P. Reis (eds.), Procs of the 20th EPIA Conference on Artificial Intelligence (EPIA'21), pp. 338-350, LNCS 12981, Springer 2021. [PDF]

  • J. Ferreira, D. Lavado, R. Gonçalves, M. Knorr, L. Krippahl, J. Leite. Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. In G. Marreiros, F. S. Melo, N. Lau, H. L. Cardoso and L. P. Reis (eds.), Procs of the 20th EPIA Conference on Artificial Intelligence (EPIA'21), pp. 363-375, LNCS 12981, Springer 2021. [PDF]

  • M. de Sousa Ribeiro and J. Leite. On Generating Symbolic Explanations for Recurrent Neural Networks (Extended Abstract). In F. Baader et al. (eds.), Proceedings of the Second Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'21), 2021. [PDF]

  • M. de Sousa Ribeiro and J. Leite. Towards Generating Symbolic Explanations for Recurrent Neural Networks - a position paper. In E. Della Valle, T. Eiter, D. Le Phuoc and K. Schekotihin, Procs of the Fifth Stream Reasoning Workshop (SRW'21), 2021. [PDF]

  • R. Gonçalves, M. Knorr, J. Leite, S. Woltran. On the limits of forgetting in Answer Set Programming. Artificial Intelligence 286:103307, 2020. [PDF]

  • Vedran Kasalica, M. Knorr, J. Leite, C. Lopes. NoHR: An Overview. Künstliche Intelligenz 34(4): 509-515, 2020. [PDF]

  • M. de Sousa Ribeiro, L. Krippahl, J. Leite. Explainable Abstract Trains Dataset. CoRR abs/2012.12115, 2020. [PDF]

  • R. Gonçalves, T. Janhunen, M. Knorr, J. Leite, and S. Woltran. Obfuscating Knowledge in Modular Answer Set Programming. In M. V. Martínez and I. Varzinczak (eds.), Procs of the 18th International Workshop on Non-Monotonic Reasoning (NMR'20), 2020. [PDF]

  • J. Heyninck, R. Gonçalves, M. Knorr, and J. Leite. Towards Efficient Reasoning with Intensional Concepts. In M. V. Martínez and I. Varzinczak (eds.), Procs of the 18th International Workshop on Non-Monotonic Reasoning (NMR'20), 2020. [PDF]

  • R. Gonçalves, T. Janhunen, M. Knorr, J. Leite, S. Woltran. Forgetting in Modular Answer Set Programming. In Procs. of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI'19), pp. 2843-2850, AAAI Press, 2019. [PDF]

  • M. Berthold, R. Gonçalves, M. Knorr, J. Leite. A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Theory and Practice of Logic Programming 19(5-6):1038-1055, 2019. [PDF]

  • V. Kasalica, I. Gerochristos, J. J. Alferes, A. S. Gomes, M. Knorr, J. Leite. Telco Network Inventory Validation with NoHR. In M. Balduccini, Y. Lierler, and S. Woltran (eds.), Procs of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19), pp. 18-31, LNCS 11481, Springer, 2019. [PDF]

  • J. G. Martins, A. Platzer, J. Leite. Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. S. Cerrito and A. Popescu (eds.), Procs of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'19), pp. 428-445, LNCS 11714, Springer, 2019. [PDF]

  • M. Berthold, R. Gonçalves, M. Knorr, J. Leite. Forgetting in Answer Set Programming with Anonymous Cycles. In. P. M. Oliveira, P. Novais, and L. P. Reis (eds.). In Procs of the 19th EPIA Conference on Artificial Intelligence (EPIA'19), pp. 552-564, LNCS 11805, Springer, 2019. [PDF]

  • J. Leite, T. C. Son, P. Torroni, S. Woltran. Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). Journal of Logic and Computation 28(3): 475-476 (2018). [PDF]

  • G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite, J. Pührer. Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artificial Intelligence 256:68-104, 2018. [PDF]

  • R. Gonçalves, T. Janhunen, M. Knorr, J. Leite, S. Woltran. Variable Elimination for DLP-Functions. In M. Thielscher, F. Toni and F. Wolter (eds.), Procs of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18), pp. 643-644, AAAI Press, 2018. [PDF]

  • R. Gonçalves, M. Knorr, J. Leite and S. Woltran. When you must forget: Beyond strong persistence when forgetting in answer set programming. Theory and Practice of Logic Programming 17(5-6):837-854, 2017. [PDF]

  • J. Leite. A Bird's-Eye View of Forgetting in Answer-Set Programming. Invited Talk. In M. Balduccini and T. Janhunen (eds.), Procs. of the Fourteen International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’17), pp.10-22 , Springer-Verlag, LNAI 10377, 2017. [PDF]

  • C. Lopes, M. Knorr and J. Leite. NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. In M. Balduccini and T. Janhunen (eds.), Procs. of the Fourteen International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’17), pp.236-249 , Springer-Verlag, LNAI 10377, 2017. [PDF]

  • O. Sabuncu and J. Leite. moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. In M. Balduccini and T. Janhunen (eds.), Procs. of the Fourteen International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’17), pp.336-342 , Springer-Verlag, LNAI 10377, 2017. [PDF]

  • R. Gonçalves, M. Knorr and J. Leite. Iterative Variable Elimination in ASP. In E. Oliveira, J. Gama, Z. Vale and H. Cardoso (eds.), Progress in Artificial Intelligence - Procs. of the 18th EPIA Conference on Artificial Intelligence (EPIA'17), pp.643-656, Springer-Verlag, LNAI 10423, 2017. [PDF]

  • J. Leite. Efficient Reasoning with Rules and Ontologies. Invited Talk. In H. J. van den Herik, A. P. Rocha and J. Filipe (eds.), Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART'17), Volume 1, pp.7, SciTePress, 2017. [PDF]

  • R. Gonçalves, M. Knorr, and J. Leite. You Can't Always Forget What You Want: on the limits of forgetting in answer set programming. In M. Fox and G. Kaminka (eds.), Proceedings of the 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, Holland, 2016, Proceedings. Frontiers in Artificial Intelligence and Applications, IOS Press 2016. [PDF]

  • R. Gonçalves, M. Knorr, and J. Leite. The Ultimate Guide to Forgetting in Answer Set Programming. In C. Baral, J. P. Delgrande, F. Wolter (eds.), Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR’16), pp.135-144, AAAI Press, 2016. [PDF]

  • G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite, and J. Pührer. Inconsistency Management in Reactive Multi-Context Systems. In M. Loizos (ed.), Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Springer-Verlag, LNAI, 2016. [PDF]

  • R. Gonçalves, M. Knorr, and J. Leite. Forgetting in ASP: The Forgotten Properties. In M. Loizos (ed.), Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Springer-Verlag, LNAI, 2016. [PDF]

  • G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite, and J. Pührer. Towards Inconsistency Management in Reactive Multi-Context Systems. In R. Booth, G. Casini, S. Klarman, G. Richard and I. Varzinczak (eds.), Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16), The Hague, Holland, August 29, vol 1626 of CEUR Workshop Proceedings, 2016. [PDF]

  • R. Gonçalves, M. Knorr, and J. Leite. On Some Properties of Forgetting in ASP. In R. Booth, G. Casini, S. Klarman, G. Richard and I. Varzinczak (eds.), Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16), The Hague, Holland, August 29, vol 1626 of CEUR Workshop Proceedings, 2016. [PDF]

  • M. Slota, J. Leite and T. Swift. On updates of hybrid knowledge bases composed of ontologies and rules. Artificial Intelligence, 229 pp. 33–104, 2015. [PDF]

  • T. Kaminski, M. Knorr and J. Leite. Efficient Paraconsistent Reasoning with Ontologies and Rules. In Q. Yang and M. Wooldridge (eds.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI'15), pp.3098--3105, AAAI Press, 2015. [PDF]

  • N. Costa, M. Knorr and J. Leite. Next Step for NoHR: OWL 2 QL. In M. Arenas and O. Corcho (Eds.) Proceedings of the 14th International Semantic Web Conference (ISWC'15), Springer-Verlag, LNCS 9366, 2015. [PDF]

  • N. Costa, M. Knorr and J. Leite. Querying LUBM with Non-monotonic Features in Protégé using NoHR. In S. Villata and J. Heflin (editors), Proceedings of the P&D Track at the 14th International Semantic Web Conference (ISWC'15), CEUR Workshop Proceedings, 2015. [PDF]

  • R. Gonçalves, M. Knorr and J. Leite. Minimal Change in Evolving Multi-Context Systems. In F. Pereira, P. Machado, E. Costa and A. Cardoso, Proceedings of the 17th Portuguese Conference on Artificial Intelligence EPIA 2015, Springer-Verlag, LNAI, 2015. [PDF]

  • V. Ivanov, M. Knorr and J. Leite. Reasoning over Ontologies and Non-monotonic Rules. In F. Pereira, P. Machado, E. Costa and A. Cardoso, Proceedings of the 17th Portuguese Conference on Artificial Intelligence EPIA 2015, Springer-Verlag, LNAI, 2015. [PDF]

  • T. Kaminski, M. Knorr and J. Leite. Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). In D. Calvanese and B. Konev (eds.) Proceedings of the 28th International Workshop on Description Logics, vol 1350 of CEUR Workshop Proceedings, 2015. [PDF]

  • N. Costa, M. Knorr and J. Leite. Extending NoHR for OWL 2 QL. In O. Papini (ed.), First workshop on Ontologies and logic programming for query answering, Buenos Aires, July 2015. [PDF]

  • T. Kaminski, M. Knorr and J. Leite. Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. In T. Hahmann et al. (eds.), First Joint Ontologies Workshop, Buenos Aires, July 2015. [PDF]

  • M. Correia, J. Cruz and J. Leite. On the Efficient Implementation of Social Abstract Argumentation. In T. Schaub, G. Friedrich, B. O'Sullivan (eds.) 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, 2014, Proceedings. Frontiers in Artificial Intelligence and Applications, IOS Press 2014. [PDF]

  • R. Gonçalves, M. Knorr and J. Leite. Evolving Multi-Context Systems. In T. Schaub, G. Friedrich, B. O'Sullivan (eds.) 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, 2014, Proceedings. Frontiers in Artificial Intelligence and Applications, IOS Press 2014. [PDF]

  • M. Slota and J. Leite. The Rise and Fall of Semantic Rule Updates based on SE Models. Theory and Practice of Logic Programming. 14(6):869-907, 2014. [PDF]

  • M. Knorr, M. Slota, M. Homola and J. Leite. What if no hybrid reasoner is available? - Hybrid MKNF in Multi-Context Systems. Journal of Logic and Computation. 24(6):1279-1311, 2014. [PDF]

  • M. Knorr, R. Gonçalves and J. Leite. On Efficient Evolving Multi-Context Systems. In D.-N. Pham and S.-B. Park (eds), Trends in Artificial Intelligence - Proceedings of the 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI’14), Springer-Verlag, LNAI 8862, pp.284-296, 2014. [PDF]

  • M. Slota, M. Balaz and J. Leite. On Supporting Strong and Default Negation in Answer-Set Program Updates. In A. Bazzan and K. Pichara (eds), Advances in Artificial Intelligence - Proceedings of the 14th Ibero-American Conference on AI (IBERAMIA’14), Springer-Verlag, LNAI 8864, 2014. [PDF]

  • M. Slota, M. Balaz and J. Leite. On Strong and Default Negation in Logic Program Updates. In S. Konieczny and H. Tompits (eds.), Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR'14), Vienna, Austria, July 17-19, INFSYS Research Report 1843-14-01, July 2014. [PDF]

  • R. Gonçalves, M. Knorr and J. Leite. Evolving Bridge Rules in Evolving Multi-Context Systems. In N. Bulling, L. van der Torre, S. Villata, W. Jamroga and W. Vasconcelos (Eds.), Proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XV), Springer-Verlag, LNAI 8624, 2014. [PDF]

  • R. Gonçalves, M. Knorr and J. Leite. Towards Efficient Evolving Multi-Context Systems (Preliminary Report). In S. Ellmauthaler and J. Pühre (eds.) First International Workshop on Reactive Concepts in Knowledge Representation, ReactKnow’14, Prague, Czech Republic, 2014. [PDF]

  • R. Gonçalves, M. Knorr and J. Leite. On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). In S. Ellmauthaler and J. Pühre (eds.) First International Workshop on Reactive Concepts in Knowledge Representation, ReactKnow’14, Prague, Czech Republic, 2014. [PDF]

  • M. Slota, M. Balaz and J. Leite. On Strong and Default Negation in Answer-Set Program Updates. Theory and Practice of Logic Programming 13(4-5-Online supplement), 2014. [PDF]

  • M. Slota and J. Leite. On Condensing a Sequence of Updates in Answer-Set Programming. In F. Rossi (Ed.) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI’13), pp.1097-1103, AAAI Press, 2013. [PDF]

  • V. Ivanov, M. Knorr and J. Leite. A Query Tool for EL with Non-monotonic Rules. In H. Alani and L. Kagal (Eds.) Proceedings of the 12th International Semantic Web Conference (ISWC’13), pp216-231, Springer-Verlag, LNCS 8218, 2013. [PDF]

  • V. Ivanov, M. Knorr and J. Leite. NoHR: Querying EL with Non-monotonic rules. In E. Blomqvist and T. Groza (Eds.) Proceedings of the ISWC 2013 Posters & Demos Track, CEUR, 2013. [PDF]

  • R. Gonçalves, J. Leite, M. Knorr, and M. Slota. Non-monotonic Temporal Goals. In P. Cabalar and T. C. Son (Eds.), Procs. of the Twelveth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’13), pp.374-386 , Springer-Verlag, LNAI 8148, 2013. [PDF]

  • M. Slota, M. Balaz and J. Leite. Early Recovery in Logic Program Updates. In P. Cabalar and T. C. Son (Eds.), Procs. of the Twelveth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’13), pp.512-517, Springer-Verlag, LNAI 8148, 2013. [PDF]

  • M. Knorr, A. Gabaldon, R. Gonçalves, J. Leite and M. Slota. Time is up! - Norms with Deadlines in Action Languages. In J. Leite, T. C. Son, P. Torroni, L. Van der Torre and S. Woltran (Eds.), Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), pp.223-238, Springer-Verlag, LNAI 8143, 2013. [PDF]

  • S. Egilmez, J. Martins and J. Leite. Extending Social Abstract Argumentation with votes on attacks. In E. Black, S. Modgil and N. Oren (Eds.) Procs of 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13), 2013. [PDF]

  • J. Alferes, R. Gonçalves and J. Leite. Equivalence of defeasible normative systems. Journal of Applied Non-Classical Logics 23(1–2): 25–48, 2013. [PDF]

  • S. Modgil, F. Toni, F. Bex, I. Bratko, C. I. Chesñevar, W. Dvořák, M. A. Falappa, X. Fan, S. A Gaggl, A. J. García, M. P. González, T. F. Gordon, J. Leite, M. Možina, C. Reed, G. R. Simari, S. Szeider, P. Torroni, and S. Woltran. The added value of argumentation. Chapter 21 in Agreement Technologies, Law, Governance and Technology Series 8, pp. 357-404. Springer-Verlag, 2013. [PDF]

  • M. Knorr, A. Gabaldon, R. Gonçalves, J. Leite and M. Slota. Towards Action Languages with Norms and Deadlines. In J. Ji, H. Strass and X. Wang (Eds.), Proceedings of the The Tenth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC’13), Beijing, China, August 2013. [PDF]

  • M. Slota and J. Leite. Robust equivalence models for semantic updates of answer-set programs. In G. Brewka, T. Eiter and S. McIlraith (eds.), Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), pages 158–168, AAAI Press, 2012.[PDF] [PDF]

  • M. Slota and J. Leite. A Unifying Perspective on Knowledge Updates. In L. Fariñas del Cerro, A. Herzig and J. Mengin (eds.), Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Springer-Verlag, LNAI 7519, pages 372-384, 2012. [PDF]

  • M. Homola, M. Knorr, J. Leite and M. Slota. MKNF Knowledge Bases in Multi-Context Systems. In M. Fisher, L. van der Torre, M. Dastani, and G. Governatori (eds.), Proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIII), Springer-Verlag, LNAI 7486, Montpellier, France, August 27-28, pages 146-162, 2012.[PDF] [PDF]

  • M. Alberti, A. S. Gomes, R. Gonçalves, M. Knorr, J. Leite, and M. Slota. Normative systems require hybrid knowledge bases (extended abstract). In V. Conitzer, M. Winikoff, L. Padgham, and W. van der Hoek Torre, editors, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), IFAAMAS, pages 1425-1426, 2012.[PDF] [PDF]

  • J. Leite and J. Martins. Social Abstract Argumentation. In T. Walsh (Ed.) Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI’11), AAAI Press, pages 2287-2292, 2011. [PDF]

  • M. Slota, J. Leite and T. Swift. Splitting and Updating Hybrid Knowledge Bases. Theory and Practice of Logic Programming 11(4–5): 801–819, 2011. [PDF]

  • J. Martins, A. Platzer and J. Leite. Statistical Model Checking for Distributed Probabilistic Control Hybrid Automata with Smart Grid Applications. In S. Qin and Z. Qiu (Eds.) Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM'11), Springer-Verlag, LNCS 6991, pages 131–146, 2011. [PDF]

  • M. Slota and J. Leite. Back and Forth Between Rules and SE-Models. In J. Delgrande and W. Faber (Eds.), Procs. of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’11), Springer-Verlag, LNAI 6645, pages 174–186, 2011. [PDF]

  • M. Alberti, A. S. Gomes, R. Gonçalves, J. Leite and M. Slota. Normative Systems Represented as Hybrid Knowledge Bases. In J. Leite, P. Torroni, T, Ågotnes, G. Boella and L. Van der Torre (Eds.), Computational Logic in Multi-Agent Systems, 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, Proceedings, Springer-Verlag, LNAI 6814, 2011. [PDF]

  • J. Alferes, A. Gabaldon and J. Leite. Evolving Logic Programs with Temporal Operators. In M. Balduccini and T.C. Son (Eds.), Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Springer-Verlag, LNAI 6565, pages 193–212, 2011.. [PDF]

  • P. Torroni, M. Prandini, M. Ramilli, J. Leite and J. Martins. Arguments against the Troll. In Proceedings of the Eleventh AI*IA Symposium on Artificial Intelligence, Brescia, December 1-3, 2010, pp. 232-235. Arti Grafiche Apollonio, Brescia, Italy, 2010. ISBN: 9-788890-492419. [PDF]

  • C. Damásio, J. Alferes and J. Leite. A Declarative Semantics for the Rule Interchange Format Production Rule Dialect. In P.F. Patel-Schneider, Yu.Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks and Birte Glimm (eds.), Proceedings of the 9th International Semantic Web Conference, ISWC’10, Shanghai, China, November 2010, Springer-Verlag, LNAI 6496, pages 798-813, 2010. [PDF]

  • M. Slota and J. Leite. On Semantic Update Operators for Answer-Set Programs. In H. Coelho, R. Studer and M. Wooldridge (ed.) 19th European Conference on Artificial Intelligence, ECAI 2010, Lisbon, Portugal, 2010, Proceedings. Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 957-962, IOS Press 2010. [PDF]

  • M. Slota and J. Leite. Towards Closed World Reasoning in Dynamic Open Worlds. Theory and Practice of Logic Programming 10(4–6):547–564, 2010. [PDF]

  • M. Slota and J. Leite. Marrying stable models with belief update. In T. Meyer and E. Ternovska (eds.), Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10), Toronto, Canada, May 14-16, 2010. [PDF]

  • J. Leite. Playing with Rules. Invited Paper, In M. Baldoni, J.Bentahar, J. Lloyd and B. Van Riemsdijk (eds.), Declarative Agent Languages and Technologies VII, Seventh International Workshop, DALT 2009, Budapest, Hungary, May 2009, Selected, Revised, and Invited Papers, Springer-Verlag, LNAI 5948, pages 1-19, 2010. [PDF]

  • J. Leite, J. Alferes, and B. Mito. Resource allocation with answer-set programming. In Keith S. Decker, Jaime Sichman, Carles Sierra, and Cristiano Castelfranchi, editors, Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, pages 649-656, 2009. [PDF]

  • M. Ilic, J. Leite and M. Slota. ERASP - A System for Enhancing Recommendations using Answer-Set Programming. International Journal of Reasoning-based Intelligent Systems 1(3/4):147–163, 2009. [PDF]

  • J. J. Alferes, A. Gabaldon and J. Leite. A Logic Programming System for Evolving Programs with Temporal Operators. In L. S. Lopes, N. Lau, P. Mariano and L. M. Rocha (eds.), Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, Springer-Verlag, LNAI 5816, pages 101-112, 2009. [PDF]

  • M. Slota and J. Leite. EVOLP: Transformation-based semantics. In F. Sadri and K. Satoh, editors, Computational Logic in Multi-Agent Systems, 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, September 10-11, 2007, Revised Selected and Invited Papers, volume LNAI 5056, pages 117-136. Springer-Verlag, 2008. [PDF]

  • M. Slota and J. Leite. EVOLP: an implementation. In F. Sadri and K. Satoh, editors, Computational Logic in Multi-Agent Systems, 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, September 10-11, 2007, Revised Selected and Invited Papers, volume LNAI 5056, pages 288-298. Springer-Verlag, 2008. [PDF]

  • J. Alferes, A. Gabaldon and J. Leite. Evolving Logic Programming based Agents with Temporal Operators. In L. Jain, M. Gini, B. B. Faltings, T. Terano, C. Zhang, N. Cercone and L. Cao editors, Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technologies, pages 238-244, IEEE Computer Society, 2008. [PDF]

  • M. Ilic, J. Leite, and M. Slota. Scalable dynamic user preferences for recommender systems through the use of the well-founded semantics. In L. Jain, P. Lingras, M. Klusch, J. Lu, C. Zhang, N. Cercone and L. Cao editors, Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence, pages 840-846, IEEE Computer Society, 2008. [PDF]

  • M. Ilic, J. Leite, and M. Slota. Explicit dynamic user profiles for a collaborative filtering recommender system. In H. Geffner et al., editor, Proceedings of the 11th Ibero-American Conference on Artificial Intelligence (IBERAMIA'08), volume LNAI 5290, pages 352-361. Springer-Verlag, 2008. [PDF]

  • J. Leite and M. Ilic. Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. In J. Neves, M. Santos and J. Machado (eds), Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007 Proceedings, LNAI 4874, Springer, Pag. 29-42, December 2007. [PDF]

  • M. Slota and J. Leite. EVOLP - Transformation-based Implementation. In F. Sadri and K. Satoh (eds), Pre-Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Pag. 290-294, September 2007. [PDF]

  • M. Slota and J. Leite. Operational Semantics for EVOLP. In: F. Sadri and K. Satoh (eds), Pre-Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Pag. 118-133, September 2007. [PDF]

  • J. Leite. The Knowledge Evolution Group at CENTRIA. In The Association for Logic Programming Newsletter, August 2007. [PDF]

  • J. J. Alferes and J. Leite. Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. Journal of Applied Logics, 5(3), 389-391, 2007. [PDF]

  • V. Nigam and J. Leite. Adding Knowledge Updates to 3APL. In R. Bordini, M. Dastani, J. Dix and A. El F. Seghrouchni (eds.), Programming Multi-Agent-Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers, pp 165-181, Springer-Verlag, LNAI 4411, 2007. [PDF]

  • J. Leite and L. Soares. Adding Evolving Abilities to a Multi-Agent System. In K. Inoue, K. Satoh and F. Toni (eds.), Computational Logic in Multi-Agent Systems, 7th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VII, Hakodate, Japan, May 2006, Revised Selected and Invited Papers, pp246-265, Springer-Verlag, LNAI 4371, 2007. [PDF]

  • V. Nigam and J. Leite. A Dynamic Logic Programming based System for Agents with Declarative Goals. In M. Baldoni and U. Endriss (eds.), Declarative Agent Languages and Technologies IV, Fourth International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised, and Invited Papers, pp.174-190, Springer-Verlag, LNAI 4327, 2006. [PDF]

  • J. Leite and M. Babini. Dynamic Knowledge Based User Modeling for Recommender Systems. In A. Felfernig and M. Zanker (eds.), Procs of the ECAI 2006 Workshop on Recommender Systems, pp134-138, Riva del Garda, Italy, 2006. [PDF]

  • J. Leite and L. Soares. Enhancing a Multi-Agent System with Evolving Logic Programs. In K. Inoue, K. Satoh and F. Toni (eds.), Pre-Procs. of the 7th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA VII), pp. 207-222, Hakodate, Japan, 2006. [PDF]

  • R. H. Bordini, L. Braubach, M. Dastani, A. El F. Seghrouchni, J. J. Gomez-Sanz, J. Leite, G. O'Hare, A. Pokahr and A. Ricci. A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica 30(1): 33-44, 2006. [PDF]

  • V. Nigam and J. Leite. Using Dynamic Logic Programming to Obtain Agents with Declarative Goals - preliminary report. In M. Baldoni and U. Endriss (eds.), Pre-Procs. of the 4th International Workshop on Declarative Agent Languages and Technologies, (DALT’06), pp.114-129, Hakodate, Japan, 2006. [PDF]

  • V. Nigam and J. Leite. Incorporating Knowledge Updates in 3APL - preliminary report. In R. Bordini, M. Dastani, J. Dix and A. El F. Seghrouchni (eds.), Pre-Procs. of the 4th International Workshop on Programming Multi-Agent Systems, (PROMAS’06), pp.69-84, Hakodate, Japan, 2006. [PDF]

  • J. Leite and L. Soares. Evolving Characters in Role-Playing Games. In R. Trappl (ed.), Cybernetics and Systems 2006, 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), vol 2, pp. 515-520, Vienna, Austria, Austrian Society for Cybernetic Studies, 2006. [PDF]

  • J. J. Alferes, F. Banti, A. Brogi and J. A. Leite. The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1): 7-32, 2005. [PDF]

  • J. A. Leite. On Some Differences Between Semantics of Logic Program Updates. In C. Lemaître, C.A. Reyes, and J. A. Gonzalez (eds.), Procs. of the IX Ibero-American Conference on Artificial Intelligence (IBERAMIA'04), pp. 375–385, Springer-Verlag, LNAI 3315, 2004. [PDF]

  • J. Leite and P. Torroni. Fifth International Workshop on Computational Logic in Multi-Agent Systems - CLIMA V. In AgentLink News 16: 39, December 2004. [PDF]

  • J. J. Alferes, F. Banti, A. Brogi and J. A. Leite. Semantics for Dynamic Logic Programming: a principle-based approach. In V. Lifschitz and I. Niemelä, (eds.), Procs. of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), pages 8-20, Springer-Verlag, LNAI 2923, 2004. [PDF]

  • J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. Logic Programming for Evolving Agents. In M. Klusch, S. Ossowski, A. Omicini, H. Laamanen, (eds.), Procs. of the 7th International Workshop on Cooperative Information Agents (CIA'03), pages 281-297, Springer-Verlag, LNAI 2782, 2003. [PDF]

  • J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. An Evolving Agent with EVOLP. In N. Leone, P. Rullo (eds.), Procs. of APPIA-GULP-PRODE'02 Joint Conf. on Declarative Programming (AGP'03), Reggio Calabria, Italy, September 2003. [PDF]

  • J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. An Evolvable Rule-Based E-mail Agent. In F. Moura Pires and S. Abreu (eds.), Progress in Artificial Intelligence, 11th Portuguese International Conference on Artificial Intelligence (EPIA'03), Springer, LNAI, December 2003. [PDF]

  • J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. Evolving Logic Programs. In S. Flesca, S. Greco, N. Leone, G. Ianni (eds.), Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), pages 50-61, Springer-Verlag, LNCS 2424, 2002. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira, H. Przymusinska and T. C. Przymusinski. A Language for Multi-dimensional Updates. In J. Dix, J. A. Leite and K. Satoh (eds.), Proceedings of the 3rd International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA'02), pages 19-34, no. 93 of Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, 2002. Also in Electronic Notes in Theoretical Computer Science 70(5), 2002. [PDF]

  • J. Dix, J. A. Leite and K. Satoh. Preface. In J. Dix, J. A. Leite and K. Satoh (eds.), Proceedings of the 3rd International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA'02), pages iii-v, no. 93 of Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, 2002. Also in Electronic Notes in Theoretical Computer Science 70(5), 2002. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira, H. Przymusinska and T. C. Przymusinski. A Language for Updates with Multiple Dimensions. In J. J. Moreno-Navarro and J. M. Carballo (eds.), Procs. of the APPIA-GULP-PRODE'02 Joint Conference on Declarative Programming (AGP'02), pages 325-341, Faculdad de Informática de Madrid, Madrid, Spain, 2002. [PDF]

  • J. Dix, J. A. Leite and K. Satoh. A Report on the 2002 Workshop on Computational Logic in Multi-agent Systems (CLIMA'02). In The Association for Logic Programming Newsletter, 15(3): 5 pages, August 2002. [PDF]

  • J. A. Leite. Evolving Knowledge Bases - Specification and Semantics. PhD thesis, Universidade Nova de Lisboa, pp xx + 271, July 2002. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira. MINERVA - A Dynamic Logic Programming Agent Architecture. In J. J. Meyer and M. Tambe (eds.), Intelligent Agents VIII, pages 141-157, Springer-Verlag, LNAI 2333, 2002. [PDF]

  • J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. Computing Environment-Aware Agent Behaviours with Logic Program Updates. In A. Pettorossi (ed), Logic Based Program Synthesis and Transformation, 11th International Workshop, (LOPSTR'01), Selected Papers, pages 216-232, Springer-Verlag, LNCS 2372, 2002. [PDF]

  • J. J. Alferes, P. Dell'Acqua, E. Lamma, J. A. Leite, L. M. Pereira and F. Riguzzi. A Logic Based Approach to Multi-Agent Systems. Invited paper in The Association for Logic Programming Newsletter, 14(3): 13 pages, August 2001. [PDF]

  • J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. Environment-aware Computations via Program Updates. In A. Pettorossi (ed), Pre-Proceedings of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'01), pages 112-123, Paphos, Cyprus, November 2001. [PDF]

  • J. A. Leite. A Modified Semantics for LUPS. In P. Brazdil and A. Jorge (eds.), Progress in Artificial Intelligence, 10th Portuguese International Conference on Artificial Intelligence (EPIA'01), pages 261-275, Springer-Verlag, LNAI 2258, December 2001. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira. On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. In P. Brazdil and A. Jorge (eds.), Progress in Artificial Intelligence, 10th Portuguese International Conference on Artificial Intelligence (EPIA'01), pages 276-289, Springer-Verlag, LNAI 2258, December 2001. [PDF]

  • P. Dell'Acqua, J. A. Leite and L. M. Pereira. Evolving Multi-Agent Viewpoints - an architecture. In P. Brazdil and A. Jorge (eds.), Progress in Artificial Intelligence, 10th Portuguese International Conference on Artificial Intelligence (EPIA'01), pages 169-182, Springer-Verlag, LNAI 2258, December 2001. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira. Combining Societal Agents' Knowledge. In L. M. Pereira and P. Quaresma (eds.), Procs. of the APPIA-GULP-PRODE'01 Joint Conference on Declarative Programming (AGP'01), pages 313-327, Évora, Portugal, September 2001. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira. Multi-dimensional Dynamic Knowledge Representation. In T. Eiter, W. Faber and M. Truszczynski, Procs. of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), pages 365-378, Springer-Verlag, LNAI 2173, 2001. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira. MINERVA - A Dynamic Logic Programming Agent Architecture. In J. J. Meyer and M. Tambe (eds.), Pre-Procs. of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL'01), pages 133-145, Seattle, USA, August 2001. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira. Multi-dimensional Logic Programming. Technical Report, Dept. de Informatica, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2001. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira. MINERVA - Combining Societal Agents Knowledge. Technical Report, Dept. de Informatica, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2001. [PDF]

  • J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Dynamic Updates of Non-Monotonic Knowledge Bases. The Journal of Logic Programming 45(1-3): 43-70, September/October 2000. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira. Dynamic Logic Programming with Multiple Dimensions. In L. Garcia and M. Chiara Meo (eds.), Procs. of the APPIA-GULP-PRODE'00 Joint Conference on Declarative Programming (AGP'00), La Habana, Cuba, December 2000. [PDF]

  • J. A. Leite, J. J. Alferes and L. M. Pereira. Multi-dimensional Dynamic Logic Programming. In F. Sadri and K. Satoh (eds.), Procs. of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00), pages 17-26, London, England, July 2000. [PDF]

  • J. A. Leite, F. C. Pereira, A. Cardoso and L. M. Pereira. Metaphorical Mapping consistency via Dynamic Logic Programming. In G. Wiggins (ed.), Procs. of the AISB Symposium on Creative and Cultural Aspects and Applications of AI and Cognitive Science (AISB'00), pages 41-50, AISB, Birmingham, England, April 2000. [PDF]

  • J. J. Alferes, J. A. Leite, L. M. Pereira, P. Quaresma. Planning as Abductive Updating. In D. Kitchin (ed.), Procs. of the AISB Symposium on AI Planning and Intelligent Agents (AISB'00), pages 1-8, AISB, Birmingham, England, April 2000. [PDF]

  • P. Dell'Acqua, J. A. Leite and L. M. Pereira. Evolving Multi-Agent Viewpoints - an architecture. ITN Technical Report, LiTH-ITN-R-2000-3, Dept. of Science and Technology (ITN), Linköping University, Sweden, 2000. [PDF]

  • M. Ferrand, J. A. Leite and A. Cardoso. Improving Optical Music Recognition by means of Abductive Constraint Logic Programming. In P. Barahona and J. J. Alferes (eds.), Progress in Artificial Intelligence, 9th Portuguese International Conference on Artificial Intelligence (EPIA'99), pages 342-356, Springer-Verlag, LNAI 1695, September 1999. [PDF]

  • M. Ferrand, J. A. Leite and A. Cardoso. Hypothetical Reasoning: an application to Optical Music Recognition. In M. C. Meo and M. V. Ferro (eds.), Procs. of the APPIA-GULP-PRODE'99 Joint Conference on Declarative Programming (AGP'99), pages 367-381, L'Aquila, Italy, September 1999. [PDF]

  • J. A. Leite. ESSLLI’99 - The Eleventh Summer School in Logic, Language and Information: -a student view report. In The Compulog Magazine – The Newsletter of the European Network in Computational Logic, December 1999. [PDF]

  • J. A. Leite and L. M. Pereira. Iterated Logic Program Updates. In J. Jaffar (ed.), Procs. of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98), Manchester, England, pages 265-278, MIT Press, June 1998. [PDF]

  • J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Dynamic Logic Programming. In A. Cohn, L. Schubert and S. Shapiro (eds.), Procs. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, pages 98-109, Morgan Kaufmann, June 1998. [PDF]

  • J. A. Leite and L. M. Pereira. Generalizing updates: from models to programs. In J.Dix, L.M. Pereira and T.C.Przymusinski (eds), Logic Programming and Knowledge Representation, Selected Extended Papers from LPKR'97, pages 224-246, Springer-Verlag, LNAI 1471, 1998. [PDF]

  • J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Updates of Logic Programs by Logic Programs. In M. Klopotek, M. Michalewicz, Z. Ras (eds), Procs. of Intelligent Information Systems VII (IIS'98), Malbork, Poland, pages 160-177, Wydawnictwo IPI PAN, June 1998. [PDF]

  • J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Dynamic Logic Programming. In J. L. Freire, M. Falaschi and M. Vialres-Ferro (eds.), Procs. of the 1998 Joint Conference on Declarative Programming (AGP'98), La Coruña, Spain, pages 393-408, July 1998. [PDF]

  • J. A. Leite and L. M. Pereira. Actualização de Programas em Lógica. Technical Report, Dept. de Informatica, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 1998. [PDF]

  • J. A. Leite, M. Ferrand and A. Cardoso. RIEM: a System for Recognition and Interpretation of Music Writing (in portuguese). Internal Report RI-DEI-001-98, Dept. Engenharia Informatica, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, 1998. [PDF]

  • J. A. Leite. Logic Program Updates. M.Sc. Dissertation, Dept. de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, November 1997. [PDF]

  • J. A. Leite and L. M. Pereira. Generalizing updates: from models to programs. In J.Dix, L.M. Pereira and T.C.Przymusinski (eds), Procs. of the ILPS'97 workshop on Logic Programming and Knowledge Representation (LPKR'97), Port Jefferson, Long Island, NY, USA, pages 1-24, October 1997. [PDF]

  • J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Dynamic Logic Programming. Linköping Electronic Articles in Computer and Information Science, Vol. 2(1997): nr 18. http://www.ep.liu.se/ea/cis/1997/018/. December 12, 1997. [PDF]

  • J. A. Leite and M. Ferrand. RIEM: Reconhecimento e Interpretação de Escrita Musical. B.Sc. Dissertation, Dept. de Engenharia Electrotécnica, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, July 1994. [PDF]

Projects

Sustainable Stone by Portugal

Dates: 2022-2025

Funding Agency: PRR

Reference:

Role: Local Co-PI

The project (led by ACPMR) will work for the valorisation of natural stone for a digital and qualified future.


More details...

NEURASPACE - AI Fights Space Debris

Dates: 2022-2025

Funding Agency: PRR

Reference:

Role: Participant

The project (led by Neuraspace) aims to create a new value chain in the space economy, more specifically in space traffic management


More details...

MD2TRUST - Trustworthy data science for improving healthcare efficiency

Dates: 2021-2022

Funding Agency: FCT

Reference: CMU/TIC/0016/2021

Role: Participant

The project (led by C. Soares) aimed at developing a recommender system for referral of specialist care doctors to be used by primary care doctors, that is compatible with current referral practice, and that can transparently encourage organizational change, towards a more effective patient-centric healthcare management.


More details...

KRR for scenario generation and parametric optimization

Dates: 2021-2022

Funding Agency: Siemens

Reference: FCTNOVA/Siemens/12

Role: PI

The project aimed at using knowledge representation and reasoning techniques to derive a methodology to automate the parametric optimization process for different design concepts, and to reduce the parameter space of the scenarios to test.


More details...

Pack4Sustain - Promoting sustainable packaging through eco-design

Dates: 2020-2022

Funding Agency: SPV

Reference:

Role: Participant

The project (led by A. Pires, CENTIMFE) aimed at developing a tool to help users achieve more sustainable packaging by allowing them to evaluate the level of circularity and the potential for environamental impact of their packages.


More details...

FORGET - Efficiently Forgetting what Needs to be Forgotten

Dates: 2018-2022

Funding Agency: FCT

Reference: PTDC/CCI-INF/32219/2017

Role: PI

The project aimed developing a theory, architecture and tools to forget information from data and knowledge bases.


More details...

RIVER - Reasoning with Knowledge and Streams

Dates: 2018-2022

Funding Agency: FCT

Reference: PTDC/CCI-COM/30952/2017

Role: Co-PI

The project aimed at developing a theory, architecture and tools to joint use of knowledge bases and data streams.


More details...

The Politics of constraints: Discursive strategies in a three-level game

Dates: 2017-2019

Funding Agency: Santander-Totta

Reference: SantanderTotta/2017

Role: Co-PI

This award-winning collaborative research project aimed determining how political decision-makers in Portugal, France and Spain legitimize their public policy choices in public opinion at a time when governments are strongly constrained by international actors, particularly by the European Union and the financial markets.


More details...

Bridging Theory and Practice: Update Semantics and Multi-shot ASP

Dates: 2017-2019

Funding Agency: FCT

Reference: 441.00.DAAD

Role: Co-PI

The project aimed at bridging the gap between theory and practice regarding update answer set semantics for dynamic logic programs and multi-shot Answer Set Programming (ASP) solving.


More details...

Knowledge-Aware Cyber-Physical Systems

Dates: 2015-2019

Funding Agency: NSF

Reference: CNS-1446712

Role: Participant

The project, (led by A. Platzer, CMU), aimed at investigating the fundamental problem of the limits of knowledge in cyber-physical systems.


More details...

ERRO - Efficient Reasoning with Rules and Ontologies

Dates: 2011-2015

Funding Agency: FCT

Reference: PTDC/EIA-CCO/121823/2010

Role: PI

The project aimed at developing a theory, architecture and tools to joint use of knowledge representation rules and ontologies.


More details...

ReDik - Reasoning with Dynamic and Incomplete Knowledge

Dates: 2011-2013

Funding Agency: FCT

Reference: FCT/2487/3/6/2011/S

Role: PI

The project aimed at addressing the problem of reconciling different reasoning techniques to deal with inconsistent knowledge in dynamic, open and heterogeneous domains.


More details...

ASPEN - Answer Set Programming with BoolEaN Satisfiability

Dates: 2010-2014

Funding Agency: FCT

Reference: PTDC/EIA-CCO/110921/2009

Role: Local-PI

The project, (led by I. Lynce, IST/UL) aimed at providing a flexible albeit competitive Answer Set Programming solver, which will be able to take into account the user needs and preferences.


More details...

DiFoS - Dialogical Foundations of Semantics

Dates: 2009-2013

Funding Agency: ESF

Reference: LogICCC/0001/2007

Role: Participant

The DiFoS project, (led by R. Kahle) aimed at describing the foundational value of Lorenzen's dialogical logic, and embed it into a modern scientific context taking into account its historical roots.


More details...

Asia-Link - Computational Logic as a Foundation for Computer Science and Intelligent Systems

Dates: 2004-2007

Funding Agency: EU

Reference: IST Asia-Link/VN/001

Role: Participant

This project, (led by S. Hölldobler, TU Dresden) aimed at promoting Computational Logic in Southeast Asia.


More details...

FLUX - FleXible Logical Updates

Dates: 2002-2005

Funding Agency: FCT

Reference: POSI/SRI/40958/2001

Role: Participant

The project (led by J. Alferes) aimed at establishing a extensible declarative language for the speci cation of dynamic knowledge, and to apply it to realistic application domains.


More details...

TARDE - Tabulation and Revision in a Distributed Prolog Environment

Dates: 2001-2004

Funding Agency: FCT

Reference: PRAXIS XXI C/EEI/12097/98

Role: Participant

The project (led by C. Damásio) aimed at the cross fertilisation of the know-how in the implementation of PROLOG distributed systems with the know-how in tabling systems and reasoning techniques.


More details...

MENTAL - Mental Agents Architecture in Logic

Dates: 1997-2000

Funding Agency: FCT

Reference: PRAXIS 2/2.1/TIT/1593/95

Role: Participant

The project (led by L. M. Pereira) aimed at developing a logic programming architecture for rational multiple agents comprising combinations of various modes of reasoning, updating, planning, learning, and applications.


More details...

ACROPOLE - Actions and reasoning in Extended Logic Programming

Dates: 1994-1999

Funding Agency: FCT

Reference: PRAXIS XXI PBIC/C/TIT/2519/95

Role: Participant

The project (led by J. Alferes) aimed at defining a logic programming language sensitive to stimuli (or triggers), and with action performing abilities too, not just over a program itself but on its environment as well.


More details...

RIEM - A System for Optical Recognition and Interpretation of Printed Music

Dates: 1993-1994

Funding Agency: UC

Reference: UC/PFC/LEE/1

Role: Participant

The project (led by A. Cardoso) aimed at developing a system for Optical Music Recognition and Interpretation.


More details...

Networks

APPLY - European Network for Argumentation and Public Policy Analysis

Dates: 2019-2022

Funding Agency: EU

Reference: CA17132

Role: Participant

The European network for Argumentation and Public PoLicY analysis (APPLY) aims to improve the way European citizens understand, evaluate and contribute to public decision-making on such matters of common concern as climate change or energy policies. Addressing this need from a multidisciplinary perspective on argumentation, the APPLY Action identifies gaps between the citizens’, policymakers’ and scholarly experts’ argumentation, and explores ways of treating them.


More details...

SintelNet - European Network for Social Intelligence

Dates: 2011-2014

Funding Agency: EU

Reference: FP7-ICT-2009-C-286370

Role: Participant

SINTELNET is a Coordination Action whose aim is to explore the interplay of future and emerging information technologies and the development of Philosophy, Humanities and the Social Sciences.


More details...

EMCL - ERASMUS-Mundus International M.Sc. Program in Computational Logic

Dates: 2004-2020

Funding Agency: EU

Reference:

Role: Participant

The European Master's Program in Computational Logic (EMCL) was a two years joint MSc programme offering a joint degree between four European universities as a part of the Erasmus Mundus co-operation and mobility programme.


More details...

AgentLink III - Co-ordination Action for Agent Based Computing

Dates: 2004-2006

Funding Agency: EU

Reference: IST-2003-002006

Role: Participant

AgentLink III is a Network of Excellence acting as a unifying focus for agent-based activities, whose long-term goal is to put Europe at the leading edge of international competitiveness in this increasingly important area.


More details...

DALT - Declarative Agent Languages and Tecnologies

Dates: 2003-2012

Funding Agency:

Reference:

Role: Co-Founder

Workshop Series on Declarative Agent Languages and Tecnologies


More details...

CoLogNET - Network of Excellence in Computational Logic

Dates: 2002-2005

Funding Agency: EU

Reference: IST-2001-33123

Role: Participant

CologNet is a network of excellence whose objective is to combine the scattered communities working in Computational Logic into a virtual centre of excellence and to provide an entry point via website, email distribution lists as well as workshops and online documents and a newsletter.


More details...

CLIMA - Computational Logic in Multi-Agent Systems

Dates: 2000-2014

Funding Agency:

Reference:

Role: Co-Founder

Workshop Series on Computational Logic in Multi-Agent Systems


More details...

Software

SWARG

SWARG is an online debating tool based on Social Abstract Argumentation.


More details...

Pack4Sustain

Pack4Sustain is an online tool to classify packages according to their recyclability.


More details...

NOVA GTI

The NOVA GTI (NOVA Game Theory Interactive) is an experimental platform, to be used as a teaching aid to play games specified in normal and extensive forms, including both perfect and imperfect Information, both through a web-interface or through an API.


More details...

NoHR

NoHR (Nova Hybrid Reasoner) is a plug-in for the ontology editor Protégé that allows its users to query knowledge bases composed of both an Ontology in any of the tractable OWL 2 profiles (and even beyond) and a set of Reasoning Rules.


More details...

DLP

DLP (Dynamic Logic Programming) is an implementation with a web interface that computes the dynamic stable models of a dynamic logic program.


More details...

EVOLP

EVOLP (Evolving Logic Programming) is an implementation with a web interface that computes the evolving stable models of an evolving logic program.


More details...

ERASP

ERASP is a prototypical recommmender system enhanced with features from Answer-Set Programming


More details...

DRASP

DRASP is an implementation that computes the repairs of a relational database implemented in PostgreSQL to restore consistency due to the specification of new integrity constraints.


More details...

RIEM

RIEM is an optical music recognition system that reads scanned sheets of music and outputs SCORE and MIDI files.


More details...

Events

Organisation

...
Program Committee Co-Chair

20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA’17). Nice, France, October/November 2017.

...
Program Committee Co-Chair

Fourteenth European Conference on Logics in Artificial Intelligence (JELIA’14). Funchal, Madeira, Portugal, September 2014.

...
Symposium Co-Chair

7th European Starting AI Researcher’ Symposium(STAIRS’14). Prague, Czech Republic, August 2014.

...
Workshop Co-Chair

Fourteenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV). Corunna, Spain, 16-17 September 2013.

...
Workshop Co-Chair

Twelfth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII). Barcelona, Spain, 17-18 July 2011.

...
Workshop Co-Chair

Third International Workshop on Languages Methodologies And Development Tools for Multi-Agent System (LADS’010). Lyon, France, August 30th - September 2nd, 2010.

...
Workshop Co-Chair

Eleventh International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI). Lisbon, Portugal, 16-17 August 2010.

...
Workshop Co-Chair

Second International Workshop on Languages Methodologies And Development Tools for Multi-Agent System (LADS’009). Turin, Italy, 7-11 September 2009.

...
Special Session Organiser

Twelfth International Workshop on Non-Monotonic Reasoning (NMR’08), Sydney, Australia, September 13-15, 2008.

...
Summer School Co-Chair

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

...
Workshop Co-Chair

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

...
Conference Chair

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

...
Workshop Co-Chair

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

...
Workshop Co-Chair

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

...
Workshop Co-Chair

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

...
Workshop Co-Chair

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

...
Workshop Co-Chair

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

Program Committees

Teaching

University (selection)

Artificial Intelligence

Bachelor in Computer Science and Engineering

Nova University Lisbon

2002-2007; 2009-2010; 2016-current

Computational Game Theory

Master in Computer Science and Engineering

Nova University Lisbon

2016-current

Knowledge Representation and Reasoning

Master in Computer Science and Engineering

Nova University Lisbon

2011-2015; 2016-2020

Multi-Agent Systems

Master in Computer Science and Engineering

Nova University Lisbon

2003-2008; 2009-2015

Databases

Bachelor in Computer Science and Engineering

Nova University Lisbon

2002-2015

Conferences and Summer Schools

Agent Programming Languages

Course at 17th European Agent Systems Summer School (EASSS'15), Barcelona, Spain, July 2015.

Programação Orientada a Agentes

Course at Workshop-Escola de Sistemas de Agentes, seus Ambientes e apliCaçcões (WESAAC'14), Porto Alegre, Brazil, May 2014.

Evolving Logic Programming

Tutorial at 2013 Basic Training Camp of the European PhD Program in Computational Logic, Dresden, Germany, November 2013.

Programming Multi-Agent Systems

Course at 13th European Agent Systems Summer School (EASSS'12), Valencia, Spain, May/June 2012

(joint with K. Hindriks)

Agent Oriented Programming

Course at 7th Workshop-School on Agent Systems, Environments and Applications (WESAAC’12), Florianópolis, Brazil, May 2012.

Programming Multi-Agent Systems

Course at 12th European Agent Systems Summer School (EASSS'11), Girona, Spain, July 2011

(joint with M. Dastani)

Programming Multi-Agent Systems

Course at 11th European Agent Systems Summer School (EASSS'09), Turin, August/September 2009

(joint with K. Hindriks)

Programming Languages for Multi-Agent Systems

Course at 9th European Agent Systems Summer School (EASSS'07), Durham, August 2007

(joint with R. Bordini and M. Dastani)

Answer-Set Programming

Course at EA Summer School on Computational Logic and Logic Foundations of Computer Science, Hanoi, Vietname, July/August 2007.

Programming Languages and Development Tools for Multi-Agent Systems

Tutorial at 8th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'09), Budapest, Hungary, May 2009

(joint with M. Dastani and K. Hindriks)

Programming Languages and Development Tools for Multi-Agent Systems

Tutorial at 7th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'08), Estoril, Portugal, May 2008

(joint with R. Bordini, M. Dastani and K. Hindriks)

Programming Languages and Development Tools for Multi-Agent Systems

Tutorial at 6th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'07), Honolulu, Hawaii, USA, May 2007

(joint with R. Bordini, M. Dastani and M. Winikoff)

Programming Languages and Development Tools for Multi-Agent Systems

Tutorial at 5th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06), Honolulu, Hakodate, Japan, May 2006

(joint with R. Bordini, M. Dastani and M. Winikoff)

Contact

Location:

Campus de Caparica, 2829-516 Caparica, Portugal

Call:

+351 212948300