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 |