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 |