João Leite

João Alexandre Leite

2008
42		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
41	EE	José Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244
40	EE	Manoela Ilic, João Leite, Martin Slota: Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA 2008: 352-361
39	EE	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
38	EE	Martin Slota, João Leite: EVOLP: Tranformation-Based Semantics. CLIMA VIII 2007: 117-136
37	EE	Martin Slota, João Leite: EVOLP: An Implementation. CLIMA VIII 2007: 288-298
36	EE	João Leite, Manoela Ilic: Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops 2007: 29-42
35	EE	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
34	EE	João Leite, Luís Soares: Adding Evolving Abilities to a Multi-Agent System. CLIMA VII 2006: 246-265
33	EE	Vivek Nigam, João Leite: A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190
32	EE	Vivek Nigam, João Leite: Adding Knowledge Updates to 3APL. PROMAS 2006: 165-181
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	EE	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	EE	João Alexandre Leite: On Some Differences Between Semantics of Logic Program Updates. IBERAMIA 2004: 375-385
24	EE	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	EE	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	EE	José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297
20	EE	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	EE	José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61
16	EE	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	EE	Jürgen Dix, João Alexandre Leite, Ken Satoh: Preface. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
14	EE	João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157
13	EE	Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira: Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182
12	EE	João Alexandre Leite: A Modified Semantics for LUPS. EPIA 2001: 261-275
11	EE	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	EE	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	EE	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	EE	João Alexandre Leite, Luís Moniz Pereira: Generalizing Updates: From Models to Programs. LPKR 1997: 224-246

Coauthor Index

1	José Júlio Alferes	[2] [4] [7] [8] [9] [10] [11] [14] [16] [17] [18] [20] [21] [22] [24] [27] [29] [35] [41]
2	Federico Banti	[24] [29]
3	Antonio Brogi	[10] [17] [20] [21] [22] [24] [29]
4	Amílcar Cardoso	[5] [6]
5	Mehdi Dastani	[42]
6	Pierangelo Dell'Acqua	[13]
7	Jürgen Dix	[15] [19] [23] [26]
8	Amal El Fallah-Seghrouchni	[42]
9	Miguel Ferrand	[5] [6]
10	Alfredo Gabaldon	[41]
11	Manoela Ilic	[36] [39] [40]
12	Vivek Nigam	[32] [33]
13	Andrea Omicini	[28] [31]
14	Luís Moniz Pereira (Luíz Moniz Pereira)	[1] [2] [3] [4] [7] [8] [9] [10] [11] [13] [14] [16] [17] [18] [20] [21] [22]
15	Halina Przymusinska	[2] [4] [7] [16] [18]
16	Teodor C. Przymusinski	[2] [4] [7] [16] [18]
17	Ken Satoh	[15] [19] [23]
18	Martin Slota	[37] [38] [39] [40]
19	Luís Soares	[34]
20	Leon Sterling	[28]
21	Paolo Torroni	[28] [30] [31] [42]
22	Pinar Yolum	[31]

Colors in the list of coauthors