João Leite

Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota: Normative systems require hybrid knowledge bases. AAMAS 2012: 1425-1426

Martin Homola, Matthias Knorr, João Leite, Martin Slota: MKNF Knowledge Bases in Multi-Context Systems. CLIMA 2012: 146-162

Martin Slota, João Leite: A Unifying Perspective on Knowledge Updates. JELIA 2012: 372-384

Martin Slota, João Leite: Robust Equivalence Models for Semantic Updates of Answer-Set Programs. KR 2012

Jürgen Dix, João Leite: Preface to the special issue on computational logics in multi-agent systems. Ann. Math. Artif. Intell. 62(1-2): 1-5 (2011)

Martin Slota, João Leite, Terrance Swift: Splitting and updating hybrid knowledge bases. TPLP 11(4-5): 801-819 (2011)

José Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 193-212

Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota: Normative Systems Represented as Hybrid Knowledge Bases. CLIMA 2011: 330-346

João Martins, André Platzer, João Leite: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. ICFEM 2011: 131-146

João Leite, João Martins: Social Abstract Argumentation. IJCAI 2011: 2287-2292

Martin Slota, João Leite: Back and Forth between Rules and SE-Models. LPNMR 2011: 174-186

João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (Eds.): Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Lecture Notes in Computer Science 6814, Springer 2011, isbn 978-3-642-22358-7

Mehdi Dastani, Amal El Fallah-Seghrouchni, Jomi Hübner, João Leite (Eds.): Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6822, Springer 2011, isbn 978-3-642-22722-6

Martin Slota, João Leite: Back and Forth Between Rules and SE-Models (Extended Version). CoRR abs/1102.5385 (2011)

Martin Slota, João Leite, Terrance Swift: Splitting and Updating Hybrid Knowledge Bases (Extended Version). CoRR abs/1105.0288 (2011)

Martin Slota, João Leite: Towards closed world reasoning in dynamic open worlds. TPLP 10(4-6): 547-563 (2010)

Martin Slota, João Leite: On Semantic Update Operators for Answer-Set Programs. ECAI 2010: 957-962

Carlos Viegas Damásio, José Júlio Alferes, João Leite: Declarative Semantics for the Rule Interchange Format Production Rule Dialect. International Semantic Web Conference (1) 2010: 798-813

Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (Eds.): Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6245, Springer 2010, isbn 978-3-642-14976-4

Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni (Eds.): Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6039, Springer 2010, isbn 978-3-642-13337-4

Martin Slota, João Leite: Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version). CoRR abs/1004.4342 (2010)

João Leite, José Júlio Alferes, Belopeta Mito: Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656

João Leite: Playing with Rules. DALT 2009: 1-19

José Júlio Alferes, Alfredo Gabaldon, João Leite: A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112

Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Introductory Essay of LADS'009. MALLOW 2009

Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah-Seghrouchni, Paolo Torroni, Rineke Verbrugge (Eds.): Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009

José Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244

Manoela Ilic, João Leite, Martin Slota: Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA 2008: 352-361

Manoela Ilic, João Leite, Martin Slota: Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics. Web Intelligence 2008: 840-846

Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni (Eds.): Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5118, Springer 2008, isbn 978-3-540-85057-1

José Júlio Alferes, João Leite: Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. J. Applied Logic 5(3): 389-391 (2007)

Martin Slota, João Leite: EVOLP: Tranformation-Based Semantics. CLIMA 2007: 117-136

Martin Slota, João Leite: EVOLP: An Implementation. CLIMA 2007: 288-298

João Leite, Manoela Ilic: Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops 2007: 29-42

Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Amal El Fallah-Seghrouchni, Jorge J. Gómez-Sanz, João Leite, Gregory M. P. O'Hare, Alexander Pokahr, Alessandro Ricci: A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica (Slovenia) 30(1): 33-44 (2006)

João Leite, Luís Soares: Adding Evolving Abilities to a Multi-Agent System. CLIMA 2006: 246-265

Vivek Nigam, João Leite: A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190

Vivek Nigam, João Leite: Adding Knowledge Updates to 3APL. PROMAS 2006: 165-181

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1): 7-32 (2005)

João Alexandre Leite, Paolo Torroni (Eds.): Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3487, Springer 2005, isbn 3-540-28060-X

João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum (Eds.): Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3476, Springer 2005, isbn 3-540-26172-9

Jürgen Dix, João Alexandre Leite, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004)

João Alexandre Leite: On Some Differences Between Semantics of Logic Program Updates. IBERAMIA 2004: 375-385

José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20

Jürgen Dix, João Alexandre 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. Lecture Notes in Computer Science 3259, Springer 2004, isbn 3-540-24010-1

João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni (Eds.): Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2990, Springer 2004, isbn 3-540-22124-7

José Júlio Alferes, João Alexandre Leite (Eds.): Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Lecture Notes in Computer Science 3229, Springer 2004, isbn 3-540-23242-7

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. Electr. Notes Theor. Comput. Sci. 70(5): 20-38 (2002)

Jürgen Dix, João Alexandre Leite, Ken Satoh: Preface. Electr. Notes Theor. Comput. Sci. 70(5): 204-206 (2002)

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. CLIMA 2002: 19-34

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61

Jürgen Dix, João Alexandre Leite, Ken Satoh (Eds.): Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings. Datalogiske Skrifter 93, Roskilde University 2002

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157

Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira: Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182

João Alexandre Leite: A Modified Semantics for LUPS. EPIA 2001: 261-275

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. EPIA 2001: 276-289

José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Computing Environment-Aware Agent Behaviours with Logic Program Updates. LOPSTR 2001: 216-232

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378

José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1-3): 43-70 (2000)

João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Logic Programming. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 17-26

Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Hypotethical Reasoning: an application to Optical Music Recognition. APPIA-GULP-PRODE 1999: 367-382

Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. EPIA 1999: 342-356

José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. APPIA-GULP-PRODE 1998: 393-408

João Alexandre Leite, Luís Moniz Pereira: Iterated Logic Program Updates. IJCSLP 1998: 265-278

José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111

João Alexandre Leite, Luís Moniz Pereira: Generalizing Updates: From Models to Programs. LPKR 1997: 224-246