Joao Leite
TitleCited byYear
A survey of programming languages and platforms for multi-agent systems
RH Bordini, L Braubach, M Dastani, AEF Seghrouchni, JJ Gomez-Sanz, ...
Informatica 30 (1), 2006
3282006
Dynamic updates of non-monotonic knowledge bases
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
The journal of logic programming 45 (1-3), 43-70, 2000
2312000
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
European Workshop on Logics in Artificial Intelligence, 50-62, 2002
1552002
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
Principles of Knowledge Representation and Reasoning (KR'98), 98-111, 1998
1421998
Social abstract argumentation
J Leite, J Martins
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
1382011
Evolving knowledge bases
JA Leite
IOS press, 2003
1252003
Germline MUTYH (MYH) mutations in Portuguese individuals with multiple colorectal adenomas
G Isidro, F Laranjeira, A Pires, J Leite, F Regateiro, FC e Sousa, J Soares, ...
Human mutation 24 (4), 353-354, 2004
1172004
MINERVA - A Dynamic Logic Programming Agent Architecture
J Leite, J Alferes, L Pereira
Intelligent Agents VIII, 141-157, 2002
97*2002
The refined extension principle for semantics of dynamic logic programming
JJ Alferes, F Banti, A Brogi, JA Leite
Studia Logica 79 (1), 7-32, 2005
912005
Generalizing updates: from models to programs
J Leite, L Pereira
Logic Programming and Knowledge Representation, 224-246, 1998
901998
The added value of argumentation
S Modgil, F Toni, F Bex, I Bratko, CI Chesnevar, W Dvořák, MA Falappa, ...
Agreement technologies, 357-403, 2013
732013
Multi-dimensional dynamic knowledge representation
JA Leite, JJ Alferes, LM Pereira
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2001
522001
Evolving knowledge bases: specification and semantics
JA Leite
IOS press, 2003
432003
On Semantic Update Operators for Answer-Set Programs.
M Slota, J Leite
ECAI 215, 957-962, 2010
392010
Robust equivalence models for semantic updates of answer-set programs
M Slota, J Leite
Thirteenth International Conference on the Principles of Knowledge …, 2012
382012
Normative systems represented as hybrid knowledge bases
M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota
International Workshop on Computational Logic in Multi-Agent Systems, 330-346, 2011
372011
Evolving Multi-Context Systems.
R Gonçalves, M Knorr, J Leite
ECAI 263, 375-380, 2014
332014
Iterated Logic Program Updates.
JA Leite, LM Pereira
IJCSLP, 265-278, 1998
331998
Extending social abstract argumentation with votes on attacks
S Eğilmez, J Martins, J Leite
International Workshop on Theorie and Applications of Formal Argumentation …, 2013
322013
The rise and fall of semantic rule updates based on SE-models
M SLOTA, J LEITE
Theory and Practice of Logic Programming, 1-39, 2014
312014
The system can't perform the operation now. Try again later.
Articles 1–20