João Alexandre Leite

Publication Activity (10 Years)

Years Active: 1997-2008
Publications (10 Years): 0

Publications

José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite
Non-Markovian Agent Evolution with EVOLP. Programming Multi-Agent Systems (2008)
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
The Refined Extension Principle for Semantics of Dynamic Logic Programming. Stud Logica 79 (1) (2005)
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR (2004)
João Alexandre Leite
On Some Differences Between Semantics of Logic Program Updates. IBERAMIA (2004)
Jürgen Dix, João Alexandre Leite, Ken Satoh
Introduction. Ann. Math. Artif. Intell. 42 (1-3) (2004)
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
An Evolving Agent with EVOLP. APPIA-GULP-PRODE (2003)
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
Logic Programming for Evolving Agents. CIA (2003)
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
An Evolvable Rule-Based E-mail Agent. EPIA (2003)
Jürgen Dix, João Alexandre Leite, Ken Satoh
Preface. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
A Language for Multi-dimensional Updates. CLIMA (2002)
José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
Evolving Logic Programs. JELIA (2002)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
A Language for Multi-dimensional Updates. Electron. Notes Theor. Comput. Sci. 70 (5) (2002)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
A Language for Updates with Multiple Dimensions. APPIA-GULP-PRODE (2002)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL (2001)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
Combining societal agents' knowledge. APPIA-GULP-PRODE (2001)
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
Multi-dimensional Dynamic Knowledge Representation. LPNMR (2001)
Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira
Evolving Multi-agent Viewpoints - an Architecture. EPIA (2001)
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)
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)
João Alexandre Leite
A Modified Semantics for LUPS. EPIA (2001)
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) (2000)
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)
Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. EPIA (1999)
Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso
Hypotethical Reasoning: an application to Optical Music Recognition. APPIA-GULP-PRODE (1999)
João Alexandre Leite, Luís Moniz Pereira
Iterated Logic Program Updates. IJCSLP (1998)
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
Dynamic Logic Programming. APPIA-GULP-PRODE (1998)
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
Dynamic Logic Programming. KR (1998)
João Alexandre Leite, Luís Moniz Pereira
Generalizing Updates: From Models to Programs. LPKR (1997)