João Alexandre Leite

33 papers A* 1B 4C 1Misc 5Journal 3Unranked 14
YearRankTypeTitle / Venue / Authors
2008 — conf
Non-Markovian Agent Evolution with EVOLP.
Programming Multi-Agent Systems
José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite
2005 — ed.
Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers
CLIMA
João Alexandre Leite, Paolo Torroni
2005 — ed.
Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
DALT
João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
2005 J jnl
The Refined Extension Principle for Semantics of Dynamic Logic Programming.
Stud Logica
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
2004 — ed.
Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
CLIMA
Jürgen Dix, João Alexandre Leite
2004 — ed.
Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
DALT
João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
2004 J jnl
Introduction.
Ann. Math. Artif. Intell.
Jürgen Dix, João Alexandre Leite, Ken Satoh
2004 B ed.
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings
JELIA
José Júlio Alferes, João Alexandre Leite
2004 — conf
On Some Differences Between Semantics of Logic Program Updates.
IBERAMIA
João Alexandre Leite
2004 B conf
Semantics for Dynamic Logic Programming: A Principle-Based Approach.
LPNMR
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
2003 Misc conf
An Evolvable Rule-Based E-mail Agent.
EPIA
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2003 — conf
An Evolving Agent with EVOLP.
APPIA-GULP-PRODE
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2003 — conf
Logic Programming for Evolving Agents.
CIA
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2002 — conf
A Language for Multi-dimensional Updates.
CLIMA
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2002 — conf
A Language for Updates with Multiple Dimensions.
APPIA-GULP-PRODE
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2002 — ed.
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002
CLIMA
Jürgen Dix, João Alexandre Leite, Ken Satoh
2002 B conf
Evolving Logic Programs.
JELIA
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2002 — conf
Preface.
CLIMA
Jürgen Dix, João Alexandre Leite, Ken Satoh
2001 Misc conf
A Modified Semantics for LUPS.
EPIA
João Alexandre Leite
2001 — conf
Combining societal agents' knowledge.
APPIA-GULP-PRODE
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001 C conf
Computing Environment-Aware Agent Behaviours with Logic Program Updates.
LOPSTR
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
2001 Misc conf
Evolving Multi-agent Viewpoints - an Architecture.
EPIA
Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira
2001 — conf
MINERVA - A Dynamic Logic Programming Agent Architecture.
ATAL
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001 B conf
Multi-dimensional Dynamic Knowledge Representation.
LPNMR
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2001 Misc conf
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints.
EPIA
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
2000 J jnl
Dynamic updates of non-monotonic knowledge bases.
J. Log. Program.
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
2000 — conf
Multi-dimensional Dynamic Logic Programming.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
1999 — conf
Hypotethical Reasoning: an application to Optical Music Recognition.
APPIA-GULP-PRODE
Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso
1999 Misc conf
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming.
EPIA
Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso
1998 — conf
Dynamic Logic Programming.
APPIA-GULP-PRODE
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1998 A* conf
Dynamic Logic Programming.
KR
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
1998 — conf
Iterated Logic Program Updates.
IJCSLP
João Alexandre Leite, Luís Moniz Pereira
1997 — conf
Generalizing Updates: From Models to Programs.
LPKR
João Alexandre Leite, Luís Moniz Pereira