João Alexandre Leite
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
48 | 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: Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 CEUR-WS.org 2009 | |
47 | João Leite, José Júlio Alferes, Belopeta Mito: Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656 | |
46 | João Leite: Playing with Rules. DALT 2009: 1-19 | |
45 | José Júlio Alferes, Alfredo Gabaldon, João Leite: A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112 | |
44 | Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Introductory Essay of LADS'009. MALLOW 2009 | |
2008 | ||
43 | Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers Springer 2008 | |
42 | José Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244 | |
41 | Manoela Ilic, João Leite, Martin Slota: Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA 2008: 352-361 | |
40 | 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 | |
2007 | ||
39 | Martin Slota, João Leite: EVOLP: Tranformation-Based Semantics. CLIMA VIII 2007: 117-136 | |
38 | Martin Slota, João Leite: EVOLP: An Implementation. CLIMA VIII 2007: 288-298 | |
37 | João Leite, Manoela Ilic: Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops 2007: 29-42 | |
36 | 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) | |
2006 | ||
35 | João Leite, Luís Soares: Adding Evolving Abilities to a Multi-Agent System. CLIMA VII 2006: 246-265 | |
34 | Vivek Nigam, João Leite: A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190 | |
33 | Vivek Nigam, João Leite: Adding Knowledge Updates to 3APL. PROMAS 2006: 165-181 | |
32 | 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) | |
2005 | ||
31 | João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum: Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers Springer 2005 | |
30 | João Alexandre Leite, Paolo Torroni: Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers Springer 2005 | |
29 | 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) | |
2004 | ||
28 | João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers Springer 2004 | |
27 | José Júlio Alferes, João Alexandre Leite: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings Springer 2004 | |
26 | Jürgen Dix, João Alexandre Leite: Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers Springer 2004 | |
25 | João Alexandre Leite: On Some Differences Between Semantics of Logic Program Updates. IBERAMIA 2004: 375-385 | |
24 | 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 | |
23 | Jürgen Dix, João Alexandre Leite, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004) | |
2003 | ||
22 | 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 | |
21 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297 | |
20 | 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 | |
2002 | ||
19 | Jürgen Dix, João Alexandre Leite, Ken Satoh: Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings Roskilde University 2002 | |
18 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: A Language for Multi-dimensional Updates. CLIMA III 2002: 19-34 | |
17 | José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61 | |
16 | 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): (2002) | |
15 | Jürgen Dix, João Alexandre Leite, Ken Satoh: Preface. Electr. Notes Theor. Comput. Sci. 70(5): (2002) | |
2001 | ||
14 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157 | |
13 | Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira: Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182 | |
12 | João Alexandre Leite: A Modified Semantics for LUPS. EPIA 2001: 261-275 | |
11 | 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 | |
10 | 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 | |
9 | João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378 | |
2000 | ||
8 | 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 | |
7 | 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) | |
1999 | ||
6 | Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Hypotethical Reasoning: an application to Optical Music Recognition. APPIA-GULP-PRODE 1999: 367-382 | |
5 | Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. EPIA 1999: 342-356 | |
1998 | ||
4 | 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 | |
3 | João Alexandre Leite, Luís Moniz Pereira: Iterated Logic Program Updates. IJCSLP 1998: 265-278 | |
2 | José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111 | |
1997 | ||
1 | João Alexandre Leite, Luís Moniz Pereira: Generalizing Updates: From Models to Programs. LPKR 1997: 224-246 |