Joao Leite
Titel
Zitiert von
Zitiert von
Jahr
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
2472000
Social abstract argumentation
J Leite, J Martins
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
1992011
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
1182004
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
931998
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
842013
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
452013
Evolving knowledge bases: specification and semantics
JA Leite
IOS press, 2003
452003
Robust equivalence models for semantic updates of answer-set programs
M Slota, J Leite
Thirteenth International Conference on the Principles of Knowledge …, 2012
442012
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
On semantic update operators for answer-set programs
M Slota, J Leite
ECAI 2010, 957-962, 2010
412010
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
402014
Evolving Multi-Context Systems.
R Gonçalves, M Knorr, J Leite
ECAI 263, 375-380, 2014
392014
Iterated Logic Program Updates.
JA Leite, LM Pereira
IJCSLP, 265-278, 1998
361998
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20