×

zbMATH — the first resource for mathematics

Leite, João

Compute Distance To:
Author ID: leite.joao Recent zbMATH articles by "Leite, João"
Published as: Leite, J.; Leite, João
Documents Indexed: 54 Publications since 2004, including 14 Books

Publications by Year

Citations contained in zbMATH

27 Publications have been cited 78 times in 44 Documents Cited by Year
Evolving multi-context systems. Zbl 1366.68305
Gonçalves, Ricardo; Knorr, Matthias; Leite, João
8
2014
On semantic update operators for answer-set programs. Zbl 1211.68426
Slota, Martin; Leite, João
7
2010
Extending social abstract argumentation with votes on attacks. Zbl 1405.68347
Eğilmez, Sinan; Martins, João; Leite, João
6
2014
You can’t always forget what you want: on the limits of forgetting in answer set programming. Zbl 1403.68030
Gonçalves, Ricardo; Knorr, Matthias; Leite, João
5
2016
The rise and fall of semantic rule updates based on SE-models. Zbl 1302.68254
Slota, Martin; Leite, João
5
2014
A survey of programming languages and platforms for multi-agent systems. Zbl 1111.68373
Bordini, Rafael H.; Braubach, Lars; Dastani, Mehdi; El Fallah Seghrouchni, Amal; Gomez-Sanz, Jorge J.; Leite, João; O’Hare, Gregory; Pokahr, Alexander; Ricci, Alessandro
5
2006
Evolving bridge rules in evolving multi-context systems. Zbl 1425.68399
Gonçalves, Ricardo; Knorr, Matthias; Leite, João
4
2014
Towards closed world reasoning in dynamic open worlds. Zbl 1209.68099
Slota, Martin; Leite, João
4
2010
Incorporation of a Jiles-Atherton vector hysteresis model in 2D FE magnetic field computations. Application of the Newton-Raphson method. Zbl 1110.78314
Gyselinck, J.; Dular, P.; Sadowski, N.; Leite, J.; Bastos, J. P. A.
4
2004
A unifying perspective on knowledge updates. Zbl 1362.68268
Slota, Martin; Leite, João
3
2012
Splitting and updating hybrid knowledge bases. Zbl 1218.68165
Slota, Martin; Leite, João; Swift, Terrance
3
2011
Back and forth between rules and SE-models. Zbl 1327.68071
Slota, Martin; Leite, João
3
2011
Adding evolving abilities to a multi-agent system. Zbl 1177.68227
Leite, João; Soares, Luís
3
2007
When you must forget: beyond strong persistence when forgetting in answer set programming. Zbl 1422.68022
Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan
2
2017
A bird’s-eye view of forgetting in answer-set programming. Zbl 06769646
Leite, João
2
2017
On updates of hybrid knowledge bases composed of ontologies and rules. Zbl 1344.68231
Slota, Martin; Leite, João; Swift, Theresa
2
2015
Normative systems represented as hybrid knowledge bases. Zbl 1348.68252
Alberti, Marco; Gomes, Ana Sofia; Gonçalves, Ricardo; Leite, João; Slota, Martin
2
2011
A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561
Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João
1
2019
Reactive multi-context systems: heterogeneous reasoning in dynamic environments. Zbl 1443.68182
Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Pührer, Jörg
1
2018
Moviola: interpreting dynamic logic programs via multi-shot answer set programming. Zbl 06769674
Sabuncu, Orkunt; Leite, João
1
2017
On the efficient implementation of social abstract argumentation. Zbl 1366.68366
Correia, Marco; Cruz, Jorge; Leite, João
1
2014
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. Zbl 1303.68128
Knorr, Matthias; Slota, Martin; Leite, João; Homola, Martin
1
2014
MKNF knowledge bases in multi-context systems. Zbl 1361.68250
Homola, Martin; Knorr, Matthias; Leite, João; Slota, Martin
1
2012
Evolving logic programs with temporal operators. Zbl 1326.68051
Alferes, José Júlio; Gabaldon, Alfredo; Leite, João
1
2011
Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16–17, 2010. Proceedings. Zbl 1194.68025
Dix, Jürgen (ed.); Leite, João (ed.); Governatori, Guido (ed.); Jamroga, Wojtek (ed.)
1
2010
EVOLP: An implementation. Zbl 1175.68464
Slota, Martin; Leite, João
1
2009
EVOLP: Tranformation-based semantics. Zbl 1175.68463
Slota, Martin; Leite, João
1
2009
A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561
Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João
1
2019
Reactive multi-context systems: heterogeneous reasoning in dynamic environments. Zbl 1443.68182
Brewka, Gerhard; Ellmauthaler, Stefan; Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Pührer, Jörg
1
2018
When you must forget: beyond strong persistence when forgetting in answer set programming. Zbl 1422.68022
Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan
2
2017
A bird’s-eye view of forgetting in answer-set programming. Zbl 06769646
Leite, João
2
2017
Moviola: interpreting dynamic logic programs via multi-shot answer set programming. Zbl 06769674
Sabuncu, Orkunt; Leite, João
1
2017
You can’t always forget what you want: on the limits of forgetting in answer set programming. Zbl 1403.68030
Gonçalves, Ricardo; Knorr, Matthias; Leite, João
5
2016
On updates of hybrid knowledge bases composed of ontologies and rules. Zbl 1344.68231
Slota, Martin; Leite, João; Swift, Theresa
2
2015
Evolving multi-context systems. Zbl 1366.68305
Gonçalves, Ricardo; Knorr, Matthias; Leite, João
8
2014
Extending social abstract argumentation with votes on attacks. Zbl 1405.68347
Eğilmez, Sinan; Martins, João; Leite, João
6
2014
The rise and fall of semantic rule updates based on SE-models. Zbl 1302.68254
Slota, Martin; Leite, João
5
2014
Evolving bridge rules in evolving multi-context systems. Zbl 1425.68399
Gonçalves, Ricardo; Knorr, Matthias; Leite, João
4
2014
On the efficient implementation of social abstract argumentation. Zbl 1366.68366
Correia, Marco; Cruz, Jorge; Leite, João
1
2014
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. Zbl 1303.68128
Knorr, Matthias; Slota, Martin; Leite, João; Homola, Martin
1
2014
A unifying perspective on knowledge updates. Zbl 1362.68268
Slota, Martin; Leite, João
3
2012
MKNF knowledge bases in multi-context systems. Zbl 1361.68250
Homola, Martin; Knorr, Matthias; Leite, João; Slota, Martin
1
2012
Splitting and updating hybrid knowledge bases. Zbl 1218.68165
Slota, Martin; Leite, João; Swift, Terrance
3
2011
Back and forth between rules and SE-models. Zbl 1327.68071
Slota, Martin; Leite, João
3
2011
Normative systems represented as hybrid knowledge bases. Zbl 1348.68252
Alberti, Marco; Gomes, Ana Sofia; Gonçalves, Ricardo; Leite, João; Slota, Martin
2
2011
Evolving logic programs with temporal operators. Zbl 1326.68051
Alferes, José Júlio; Gabaldon, Alfredo; Leite, João
1
2011
On semantic update operators for answer-set programs. Zbl 1211.68426
Slota, Martin; Leite, João
7
2010
Towards closed world reasoning in dynamic open worlds. Zbl 1209.68099
Slota, Martin; Leite, João
4
2010
Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16–17, 2010. Proceedings. Zbl 1194.68025
Dix, Jürgen (ed.); Leite, João (ed.); Governatori, Guido (ed.); Jamroga, Wojtek (ed.)
1
2010
EVOLP: An implementation. Zbl 1175.68464
Slota, Martin; Leite, João
1
2009
EVOLP: Tranformation-based semantics. Zbl 1175.68463
Slota, Martin; Leite, João
1
2009
Adding evolving abilities to a multi-agent system. Zbl 1177.68227
Leite, João; Soares, Luís
3
2007
A survey of programming languages and platforms for multi-agent systems. Zbl 1111.68373
Bordini, Rafael H.; Braubach, Lars; Dastani, Mehdi; El Fallah Seghrouchni, Amal; Gomez-Sanz, Jorge J.; Leite, João; O’Hare, Gregory; Pokahr, Alexander; Ricci, Alessandro
5
2006
Incorporation of a Jiles-Atherton vector hysteresis model in 2D FE magnetic field computations. Application of the Newton-Raphson method. Zbl 1110.78314
Gyselinck, J.; Dular, P.; Sadowski, N.; Leite, J.; Bastos, J. P. A.
4
2004
all top 5

Cited by 95 Authors

12 Leite, João
8 Gonçalves, Ricardo
6 Knorr, Matthias
5 Cabalar, Pedro
5 Slota, Martin
3 Brewka, Gerhard
3 Ellmauthaler, Stefan
3 Pührer, Jörg
2 Aguado, Felicidad
2 Bistarelli, Stefano
2 Cruz-Filipe, Luís
2 Fandinno, Jorge
2 Gaspar, Graça
2 Nunes, Isabel
2 Pearce, David A. J.
2 Pérez, Gilberto
2 Potyka, Nico
2 Rossi, Fabio
2 Santini, Francesco
2 Sardina, Sebastian
2 Thimm, Matthias
2 Vidal, Concepción
2 Woltran, Stefan
1 Alberti, Marco
1 Alferes, José Júlio
1 Alsinet, Teresa
1 Alvaro, Peter
1 Ameloot, Tom J.
1 Argelich, Josep
1 Baldoni, Matteo
1 Baroglio, Cristina
1 Batistela, N. J.
1 Béjar, Ramón
1 Benabou, Abdelkader
1 Berthold, Matti
1 Budán, Maximiliano C. D.
1 Chen, Weiwei
1 Chesñevar, Carlos Iván
1 Chwastek, Krzysztof
1 Clénet, Stéphane
1 Constantini, Stefania
1 Costantini, Stefania
1 da Silva, P. A. jun.
1 De Gasperis, Giovanni
1 de Silva, Lavindra
1 Dix, Jurgen
1 Dular, Patrick
1 Endriss, Ulle
1 Fernández, César C.
1 Fisher, Michael E.
1 Formisano, Andrea
1 Gabaldon, Alfredo
1 Gabbay, Dov M.
1 Gebser, Martin
1 Geuzaine, Christophe A.
1 Gomes, Ana Sofia
1 Hellerstein, Joseph M.
1 Henneron, Thomas
1 Inoue, Katsumi
1 Jacques, Kevin
1 Jędryczka, Cezary
1 Kaminski, Roland
1 Kaufmann, Benjamin
1 Kern-Isberner, Gabriele
1 Krümpelmann, Patrick
1 Kuo-Peng, Patrick
1 Leite, Jean V.
1 Lierler, Yuliya
1 Liu, Fei
1 Lucero, Mauro Gómez
1 Marczak, William R.
1 Mateu, Carles
1 Micalizio, Roberto
1 Niyonzima, Innocent
1 Padgham, Lin
1 Pearce, David J.
1 Piriou, Francis
1 Planes, Jordi
1 Rodrigues, Odinaldo T.
1 Sabariego, Ruth V.
1 Sadowski, Nelson
1 Schaub, Torsten H.
1 Schneider-Kamp, Peter
1 Schwind, Nicolas
1 Simari, Guillermo Ricardo
1 Sujka, Piotr
1 Swift, Theresa
1 Szczyglowski, Jan Z.
1 Szelag, Wojciech
1 Tedeschi, Stefano
1 Ulbricht, Markus
1 Valverde, Agustín
1 Van den Bussche, Jan
1 Wilczyński, Wieslaw
1 Yadav, Nitin

Citations by Year