Follow
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
4272006
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
2632000
Social abstract argumentation
J Leite, J Martins
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
2442011
Evolving logic programs
JJ Alferes, A Brogi, JA Leite, LM Pereira
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
1672002
Dynamic logic programming
JJ Alferes, JA Leite, LM Pereira, H Przymusinska, TC Przymusinski
Principles of Knowledge Representation and Reasoning (KR'98), 98-111, 1998
1501998
Evolving knowledge bases
JA Leite
IOS press, 2003
1312003
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
1092013
MINERVA - A Dynamic Logic Programming Agent Architecture
J Leite, J Alferes, L Pereira
Intelligent Agents VIII, 141-157, 2002
101*2002
The refined extension principle for semantics of dynamic logic programming
JJ Alferes, F Banti, A Brogi, JA Leite
Studia Logica 79, 7-32, 2005
962005
Generalizing updates: from models to programs
J Leite, L Pereira
Logic Programming and Knowledge Representation, 224-246, 1998
951998
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
642013
Multi-dimensional dynamic knowledge representation
JA Leite, JJ Alferes, LM Pereira
Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001
552001
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
482016
Robust equivalence models for semantic updates of answer-set programs
M Slota, J Leite
Thirteenth International Conference on the Principles of Knowledge …, 2012
472012
Evolving knowledge bases: specification and semantics
JA Leite
IOS press, 2003
472003
Normative systems represented as hybrid knowledge bases
M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota
Computational Logic in Multi-Agent Systems: 12th International Workshop …, 2011
442011
On semantic update operators for answer-set programs
M Slota, J Leite
ECAI 2010, 957-962, 2010
442010
Aligning artificial neural networks and ontologies towards explainable AI
M de Sousa Ribeiro, J Leite
Proceedings of the AAAI Conference on Artificial Intelligence 35 (6), 4932-4940, 2021
432021
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
432014
Evolving Multi-Context Systems.
R Gonçalves, M Knorr, J Leite
ECAI 263, 375-380, 2014
402014
The system can't perform the operation now. Try again later.
Articles 1–20