João Leite Home Page Coauthor index DBLP Vis pubzone.org

João Alexandre Leite

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Leite, José Júlio Alferes, Belopeta Mito: Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Leite: Playing with Rules. DALT 2009: 1-19
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Alfredo Gabaldon, João Leite: A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni: Introductory Essay of LADS'009. MALLOW 2009
2008
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehdi 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManoela Ilic, João Leite, Martin Slota: Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA 2008: 352-361
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManoela 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Slota, João Leite: EVOLP: Tranformation-Based Semantics. CLIMA VIII 2007: 117-136
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Slota, João Leite: EVOLP: An Implementation. CLIMA VIII 2007: 288-298
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Leite, Manoela Ilic: Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops 2007: 29-42
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Leite, Luís Soares: Adding Evolving Abilities to a Multi-Agent System. CLIMA VII 2006: 246-265
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, João Leite: A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVivek Nigam, João Leite: Adding Knowledge Updates to 3APL. PROMAS 2006: 165-181
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafael 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
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Alexandre Leite: On Some Differences Between Semantics of Logic Program Updates. IBERAMIA 2004: 375-385
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, João Alexandre Leite, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004)
2003
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJü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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Evolving Logic Programs. JELIA 2002: 50-61
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, João Alexandre Leite, Ken Satoh: Preface. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira: Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Alexandre Leite: A Modified Semantics for LUPS. EPIA 2001: 261-275
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378
2000
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoã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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Hypotethical Reasoning: an application to Optical Music Recognition. APPIA-GULP-PRODE 1999: 367-382
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. EPIA 1999: 342-356
1998
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Alexandre Leite, Luís Moniz Pereira: Iterated Logic Program Updates. IJCSLP 1998: 265-278
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111
1997
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Alexandre Leite, Luís Moniz Pereira: Generalizing Updates: From Models to Programs. LPKR 1997: 224-246

Coauthor Index

1José Júlio Alferes [2] [4] [7] [8] [9] [10] [11] [14] [16] [17] [18] [20] [21] [22] [24] [27] [29] [36] [42] [45] [47]
2Matteo Baldoni [48]
3Federico Banti [24] [29]
4Cristina Baroglio [48]
5Jamal Bentahar [48]
6Guido Boella [48]
7Rafael H. Bordini [32]
8Lars Braubach [32]
9Antonio Brogi [10] [17] [20] [21] [22] [24] [29]
10Amílcar Cardoso [5] [6]
11Massimo Cossentino [48]
12Mehdi Dastani [32] [43] [44] [48]
13Pierangelo Dell'Acqua [13]
14Jürgen Dix [15] [19] [23] [26]
15Barbara Dunin-Keplicz [48]
16Amal El Fallah-Seghrouchni [32] [43] [44] [48]
17Miguel Ferrand [5] [6]
18Giancarlo Fortino [48]
19Alfredo Gabaldon [42] [45]
20Marie Pierre Gleizes [48]
21Jorge J. Gómez-Sanz [32]
22Manoela Ilic [37] [40] [41]
23Viviana Mascardi [48]
24Belopeta Mito [47]
25Vivek Nigam [33] [34]
26Gregory M. P. O'Hare [32]
27Andrea Omicini [28] [31]
28Julian A. Padget [48]
29Juan Pavón [48]
30Luís Moniz Pereira (Luíz Moniz Pereira) [1] [2] [3] [4] [7] [8] [9] [10] [11] [13] [14] [16] [17] [18] [20] [21] [22]
31Alexander Pokahr [32]
32Axel Polleres [48]
33Halina Przymusinska [2] [4] [7] [16] [18]
34Teodor C. Przymusinski [2] [4] [7] [16] [18]
35Alessandro Ricci [32]
36Ken Satoh [15] [19] [23]
37Martin Slota [38] [39] [40] [41]
38Luís Soares [35]
39Leon Sterling [28]
40Paolo Torroni [28] [30] [31] [43] [44] [48]
41Rineke Verbrugge (L. C. Verbrugge) [48]
42Pinar Yolum [31]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)