Joao Leite
Title
Cited by
Cited by
Year
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
3972006
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
2482000
Social abstract argumentation
J Leite, J Martins
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
2032011
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
European Workshop on Logics in Artificial Intelligence, 50-62, 2002
1592002
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
Principles of Knowledge Representation and Reasoning (KR'98), 98-111, 1998
1451998
Evolving knowledge bases
JA Leite
IOS press, 2003
1282003
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
1192004
MINERVA - A Dynamic Logic Programming Agent Architecture
J Leite, J Alferes, L Pereira
Intelligent Agents VIII, 141-157, 2002
99*2002
Generalizing updates: from models to programs
J Leite, L Pereira
Logic Programming and Knowledge Representation, 224-246, 1998
941998
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
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
852013
Multi-dimensional dynamic knowledge representation
JA Leite, JJ Alferes, LM Pereira
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2001
582001
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
462013
Robust equivalence models for semantic updates of answer-set programs
M Slota, J Leite
Thirteenth International Conference on the Principles of Knowledge …, 2012
452012
Evolving knowledge bases: specification and semantics
JA Leite
IOS press, 2003
452003
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
422011
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
412014
On semantic update operators for answer-set programs
M Slota, J Leite
ECAI 2010, 957-962, 2010
412010
Evolving Multi-Context Systems.
R Gonçalves, M Knorr, J Leite
ECAI 263, 375-380, 2014
392014
The ultimate guide to forgetting in answer set programming
R Gonçalves, M Knorr, J Leite
Fifteenth International Conference on the Principles of Knowledge …, 2016
362016
The system can't perform the operation now. Try again later.
Articles 1–20