
João Leite 0001
João Alexandre Leite
Person information
- affiliation: Universidade Nova de Lisboa, Department of Computer Science
Other persons with the same name
- João Leite 0002 — Bosch Automotive Products, Suzhou, China
- João Leite 0003 — Higher Polytechnic Institute of Gaya, Portugal
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [j23]Ricardo Gonçalves
, Matthias Knorr
, João Leite, Stefan Woltran:
On the limits of forgetting in Answer Set Programming. Artif. Intell. 286: 103307 (2020) - [j22]Vedran Kasalica, Matthias Knorr
, João Leite, Carlos Lopes:
NoHR: An Overview. Künstliche Intell. 34(4): 509-515 (2020) - [i14]Manuel de Sousa Ribeiro, Ludwig Krippahl, João Leite:
Explainable Abstract Trains Dataset. CoRR abs/2012.12115 (2020)
2010 – 2019
- 2019
- [j21]Matti Berthold, Ricardo Gonçalves
, Matthias Knorr
, João Leite:
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Theory Pract. Log. Program. 19(5-6): 1038-1055 (2019) - [c82]Ricardo Gonçalves
, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran:
Forgetting in Modular Answer Set Programming. AAAI 2019: 2843-2850 - [c81]Matti Berthold, Ricardo Gonçalves
, Matthias Knorr
, João Leite:
Forgetting in Answer Set Programming with Anonymous Cycles. EPIA (2) 2019: 552-565 - [c80]Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes
, Ana Sofia Gomes
, Matthias Knorr
, João Leite:
Telco Network Inventory Validation with NoHR. LPNMR 2019: 18-31 - [c79]João G. Martins
, André Platzer
, João Leite
:
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. TABLEAUX 2019: 428-445 - [i13]Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite:
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. CoRR abs/1907.12501 (2019) - 2018
- [j20]Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves
, Matthias Knorr
, João Leite
, Jörg Pührer:
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artif. Intell. 256: 68-104 (2018) - [j19]João Leite, Tran Cao Son, Paolo Torroni
, Stefan Woltran:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). J. Log. Comput. 28(3): 475-476 (2018) - [c78]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran:
Variable Elimination for DLP-Functions. KR 2018: 643-644 - 2017
- [j18]Ricardo Gonçalves
, Matthias Knorr
, João Leite
, Stefan Woltran:
When you must forget: Beyond strong persistence when forgetting in answer set programming. Theory Pract. Log. Program. 17(5-6): 837-854 (2017) - [c77]Ricardo Gonçalves
, Matthias Knorr
, João Leite
:
Iterative Variable Elimination in ASP. EPIA 2017: 643-656 - [c76]João Leite:
Efficient Reasoning with Rules and Ontologies. ICAART (1) 2017: 7 - [c75]João Leite
:
A Bird's-Eye View of Forgetting in Answer-Set Programming. LPNMR 2017: 10-22 - [c74]Carlos Lopes
, Matthias Knorr
, João Leite
:
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. LPNMR 2017: 236-249 - [c73]Orkunt Sabuncu, João Leite
:
moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. LPNMR 2017: 336-342 - [e16]Bo An, Ana L. C. Bazzan, João Leite, Serena Villata, Leendert W. N. van der Torre:
PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings. Lecture Notes in Computer Science 10621, Springer 2017, ISBN 978-3-319-69130-5 [contents] - [i12]Leila Amgoud, Elise Bonzon, Marco Correia, Jorge Cruz, Jérôme Delobelle, Sébastien Konieczny, João Leite, Alexis Martin, Nicolas Maudet, Srdjan Vesic:
A note on the uniqueness of models in social abstract argumentation. CoRR abs/1705.03381 (2017) - [i11]Martin Slota, João Leite:
Exception-Based Knowledge Updates. CoRR abs/1706.00585 (2017) - [i10]Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran:
When You Must Forget: beyond strong persistence when forgetting in answer set programming. CoRR abs/1707.05152 (2017) - 2016
- [c72]Ricardo Gonçalves
, Matthias Knorr
, João Leite
:
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. ECAI 2016: 957-965 - [c71]Ricardo Gonçalves, Matthias Knorr, João Leite:
On Some Properties of Forgetting in ASP. DARe@ECAI 2016 - [c70]Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer:
Towards Inconsistency Management in Reactive Multi-Context Systems. DARe@ECAI 2016 - [c69]Gerhard Brewka, Stefan Ellmauthaler
, Ricardo Gonçalves
, Matthias Knorr
, João Leite
, Jörg Pührer:
Inconsistency Management in Reactive Multi-context Systems. JELIA 2016: 529-535 - [c68]Ricardo Gonçalves
, Matthias Knorr
, João Leite
:
Forgetting in ASP: The Forgotten Properties. JELIA 2016: 543-550 - [c67]Ricardo Gonçalves, Matthias Knorr, João Leite:
The Ultimate Guide to Forgetting in Answer Set Programming. KR 2016: 135-144 - [i9]Gerhard Brewka, Stefan Ellmauthaler
, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer:
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. CoRR abs/1609.03438 (2016) - 2015
- [j17]Martin Slota, João Leite
, Theresa Swift:
On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229: 33-104 (2015) - [j16]João Leite
, Tran Cao Son, Paolo Torroni
, Stefan Woltran:
Applications of logical approaches to argumentation. Argument Comput. 6(1): 1-2 (2015) - [c66]Tobias Kaminski, Matthias Knorr, João Leite:
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). Description Logics 2015 - [c65]Vadim Ivanov, Matthias Knorr
, João Leite
:
Reasoning over Ontologies and Non-monotonic Rules. EPIA 2015: 388-401 - [c64]Ricardo Gonçalves
, Matthias Knorr
, João Leite
:
Minimal Change in Evolving Multi-Context Systems. EPIA 2015: 611-623 - [c63]Nuno Costa, Matthias Knorr, João Leite:
Extending NoHR for OWL 2 QL. JOWO@IJCAI 2015 - [c62]Tobias Kaminski, Matthias Knorr, João Leite:
Efficient Paraconsistent Reasoning with Ontologies and Rules. IJCAI 2015: 3098-3105 - [c61]Tobias Kaminski, Matthias Knorr, João Leite:
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. JOWO@IJCAI 2015 - [c60]Nuno Costa, Matthias Knorr
, João Leite
:
Next Step for NoHR: OWL 2 QL. International Semantic Web Conference (1) 2015: 569-586 - [c59]Nuno Costa, Matthias Knorr, João Leite:
Querying LUBM with Non-monotonic Features in Protege using NoHR. International Semantic Web Conference (Posters & Demos) 2015 - [i8]Ricardo Gonçalves, Matthias Knorr, João Leite:
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). CoRR abs/1505.05368 (2015) - [i7]Ricardo Gonçalves, Matthias Knorr, João Leite:
Towards Efficient Evolving Multi-Context Systems (Preliminary Report). CoRR abs/1505.05502 (2015) - 2014
- [j15]João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). J. Log. Comput. 24(6): 1141-1144 (2014) - [j14]Matthias Knorr
, Martin Slota, João Leite
, Martin Homola:
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. 24(6): 1279-1311 (2014) - [j13]Martin Slota, João Leite
:
The rise and fall of semantic rule updates based on SE-models. Theory Pract. Log. Program. 14(6): 869-907 (2014) - [c58]Ricardo Gonçalves
, Matthias Knorr
, João Leite
:
Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA 2014: 52-69 - [c57]Marco Correia
, Jorge Cruz
, João Leite
:
On the Efficient Implementation of Social Abstract Argumentation. ECAI 2014: 225-230 - [c56]Ricardo Gonçalves
, Matthias Knorr
, João Leite
:
Evolving Multi-Context Systems. ECAI 2014: 375-380 - [c55]Martin Slota, Martin Baláz, João Leite
:
On Supporting Strong and Default Negation in Answer-Set Program Updates. IBERAMIA 2014: 41-53 - [c54]Matthias Knorr, Ricardo Gonçalves, João Leite:
On Efficient Evolving Multi-Context Systems. PRICAI 2014: 284-296 - [e15]Eduardo Fermé
, João Leite
:
Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. Lecture Notes in Computer Science 8761, Springer 2014, ISBN 978-3-319-11557-3 [contents] - [e14]Ulle Endriss, João Leite:
STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium, Prague, Czech Republic, August 18-22, 2014. Frontiers in Artificial Intelligence and Applications 264, IOS Press 2014, ISBN 978-1-61499-420-6 [contents] - [i6]Martin Slota, Martin Baláz, João Leite:
On Strong and Default Negation in Logic Program Updates (Extended Version). CoRR abs/1404.6784 (2014) - 2013
- [j12]José Júlio Alferes
, Ricardo Gonçalves
, João Leite
:
Equivalence of defeasible normative systems. J. Appl. Non Class. Logics 23(1-2): 25-48 (2013) - [c53]Matthias Knorr
, Alfredo Gabaldon, Ricardo Gonçalves
, João Leite
, Martin Slota:
Time Is Up! - Norms with Deadlines in Action Languages. CLIMA 2013: 223-238 - [c52]Martin Slota, João Leite:
On Condensing a Sequence of Updates in Answer-Set Programming. IJCAI 2013: 1097-1103 - [c51]Ricardo Gonçalves
, Matthias Knorr
, João Leite
, Martin Slota:
Non-monotonic Temporal Goals. LPNMR 2013: 374-386 - [c50]Martin Slota, Martin Baláz, João Leite
:
Early Recovery in Logic Program Updates. LPNMR 2013: 512-517 - [c49]Vadim Ivanov, Matthias Knorr, João Leite:
NoHR: Querying EL with Non-monotonic Rules. International Semantic Web Conference (Posters & Demos) 2013: 17-20 - [c48]Vadim Ivanov, Matthias Knorr
, João Leite
:
A Query Tool for EL with Non-monotonic Rules. International Semantic Web Conference (1) 2013: 216-231 - [c47]Sinan Egilmez
, João G. Martins, João Leite
:
Extending Social Abstract Argumentation with Votes on Attacks. TAFA 2013: 16-31 - [e13]João Leite
, Tran Cao Son, Paolo Torroni
, Leon van der Torre, Stefan Woltran:
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8143, Springer 2013, ISBN 978-3-642-40623-2 [contents] - [i5]Martin Slota, João Leite:
The Rise and Fall of Semantic Rule Updates Based on SE-Models. CoRR abs/1306.3884 (2013) - 2012
- [c46]Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota:
Normative systems require hybrid knowledge bases. AAMAS 2012: 1425-1426 - [c45]Martin Homola, Matthias Knorr
, João Leite
, Martin Slota:
MKNF Knowledge Bases in Multi-Context Systems. CLIMA 2012: 146-162 - [c44]Martin Slota, João Leite
:
A Unifying Perspective on Knowledge Updates. JELIA 2012: 372-384 - [c43]Martin Slota, João Leite:
Robust Equivalence Models for Semantic Updates of Answer-Set Programs. KR 2012 - 2011
- [j11]Jürgen Dix, João Leite
:
Preface to the special issue on computational logics in multi-agent systems. Ann. Math. Artif. Intell. 62(1-2): 1-5 (2011) - [j10]Martin Slota, João Leite
, Terrance Swift:
Splitting and updating hybrid knowledge bases. Theory Pract. Log. Program. 11(4-5): 801-819 (2011) - [c42]José Júlio Alferes
, Alfredo Gabaldon, João Leite
:
Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 193-212 - [c41]Marco Alberti
, Ana Sofia Gomes, Ricardo Gonçalves
, João Leite
, Martin Slota:
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA 2011: 330-346 - [c40]João G. Martins, André Platzer
, João Leite
:
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. ICFEM 2011: 131-146 - [c39]João Leite, João G. Martins:
Social Abstract Argumentation. IJCAI 2011: 2287-2292 - [c38]Martin Slota, João Leite
:
Back and Forth between Rules and SE-Models. LPNMR 2011: 174-186 - [e12]João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre:
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Lecture Notes in Computer Science 6814, Springer 2011, ISBN 978-3-642-22358-7 [contents] - [e11]Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, João Leite:
Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6822, Springer 2011, ISBN 978-3-642-22722-6 [contents] - [i4]Martin Slota, João Leite:
Back and Forth Between Rules and SE-Models (Extended Version). CoRR abs/1102.5385 (2011) - [i3]Martin Slota, João Leite, Terrance Swift:
Splitting and Updating Hybrid Knowledge Bases (Extended Version). CoRR abs/1105.0288 (2011) - 2010
- [j9]Martin Slota, João Leite
:
Towards closed world reasoning in dynamic open worlds. Theory Pract. Log. Program. 10(4-6): 547-563 (2010) - [c37]Martin Slota, João Leite
:
On Semantic Update Operators for Answer-Set Programs. ECAI 2010: 957-962 - [c36]Carlos Viegas Damásio
, José Júlio Alferes
, João Leite
:
Declarative Semantics for the Rule Interchange Format Production Rule Dialect. International Semantic Web Conference (1) 2010: 798-813 - [e10]Jürgen Dix, João Leite, Guido Governatori
, Wojtek Jamroga:
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6245, Springer 2010, ISBN 978-3-642-14976-4 [contents] - [e9]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni:
Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6039, Springer 2010, ISBN 978-3-642-13337-4 [contents] - [i2]Martin Slota, João Leite:
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version). CoRR abs/1004.4342 (2010)
2000 – 2009
- 2009
- [j8]Manoela Ilic, João Leite
, Martin Slota:
ERASP - a system for enhancing recommendations using answer-set programming. Int. J. Reason. based Intell. Syst. 1(3/4): 147-163 (2009) - [c35]João Leite, José Júlio Alferes
, Belopeta Mito:
Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656 - [c34]João Leite
:
Playing with Rules. DALT 2009: 1-19 - [c33]José Júlio Alferes
, Alfredo Gabaldon, João Leite
:
A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112 - [c32]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni:
Introductory Essay of LADS'009. MALLOW 2009 - [e8]Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Guido Boella, Massimo Cossentino, Mehdi Dastani, Barbara Dunin-Keplicz, Giancarlo Fortino, Marie-Pierre Gleizes, João Leite, Viviana Mascardi, Julian A. Padget, Juan Pavón, Axel Polleres, Amal El Fallah Seghrouchni, Paolo Torroni, Rineke Verbrugge:
Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009. CEUR Workshop Proceedings 494, CEUR-WS.org 2009 [contents] - 2008
- [c31]José Júlio Alferes
, Alfredo Gabaldon, João Leite
:
Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244 - [c30]Manoela Ilic, João Leite
, Martin Slota:
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA 2008: 352-361 - [c29]Manoela Ilic, João Leite
, Martin Slota:
Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics. Web Intelligence 2008: 840-846 - [e7]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni:
Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5118, Springer 2008, ISBN 978-3-540-85057-1 [contents] - [i1]José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite:
Non-Markovian Agent Evolution with EVOLP. Programming Multi-Agent Systems 2008 - 2007
- [j7]José Júlio Alferes
, João Leite
:
Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. J. Appl. Log. 5(3): 389-391 (2007) - [c28]Martin Slota, João Leite:
EVOLP: Tranformation-Based Semantics. CLIMA 2007: 117-136 - [c27]Martin Slota, João Leite:
EVOLP: An Implementation. CLIMA 2007: 288-298 - [c26]João Leite, Manoela Ilic:
Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops 2007: 29-42 - 2006
- [j6]Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Amal El Fallah Seghrouchni, Jorge J. Gómez-Sanz, João Leite, Gregory M. P. O'Hare, Alexander Pokahr, Alessandro Ricci:
A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica (Slovenia) 30(1): 33-44 (2006) - [c25]João Leite, Luís Soares:
Adding Evolving Abilities to a Multi-Agent System. CLIMA 2006: 246-265 - [c24]Vivek Nigam, João Leite:
A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190 - [c23]Vivek Nigam, João Leite:
Adding Knowledge Updates to 3APL. PROMAS 2006: 165-181 - 2005
- [j5]José Júlio Alferes
, Federico Banti, Antonio Brogi, João Alexandre Leite
:
The Refined Extension Principle for Semantics of Dynamic Logic Programming. Stud Logica 79(1): 7-32 (2005) - [e6]João Alexandre Leite, Paolo Torroni:
Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3487, Springer 2005, ISBN 3-540-28060-X [contents] - [e5]João Alexandre Leite, Andrea Omicini, Paolo Torroni
, Pinar Yolum
:
Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3476, Springer 2005, ISBN 3-540-26172-9 [contents] - 2004
- [j4]Jürgen Dix, João Alexandre Leite
, Ken Satoh:
Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004) - [c22]João Alexandre Leite:
On Some Differences Between Semantics of Logic Program Updates. IBERAMIA 2004: 375-385 - [c21]José Júlio Alferes
, Federico Banti, Antonio Brogi, João Alexandre Leite:
Semantics for Dynamic Logic Programming: A Principle-Based Approach. LPNMR 2004: 8-20 - [e4]Jürgen Dix, João Alexandre Leite:
Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3259, Springer 2004, ISBN 3-540-24010-1 [contents] - [e3]João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
:
Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2990, Springer 2004, ISBN 3-540-22124-7 [contents] - [e2]José Júlio Alferes, João Alexandre Leite:
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Lecture Notes in Computer Science 3229, Springer 2004, ISBN 3-540-23242-7 [contents] - 2003
- [c20]José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
An Evolving Agent with EVOLP. APPIA-GULP-PRODE 2003: 205-216 - [c19]José Júlio Alferes
, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
Logic Programming for Evolving Agents. CIA 2003: 281-297 - [c18]José Júlio Alferes
, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
An Evolvable Rule-Based E-mail Agent. EPIA 2003: 394-408 - 2002
- [j3]João Alexandre Leite
, José Júlio Alferes
, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
A Language for Multi-dimensional Updates. Electron. Notes Theor. Comput. Sci. 70(5): 20-38 (2002) - [j2]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Preface. Electron. Notes Theor. Comput. Sci. 70(5): 204-206 (2002) - [c17]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
A Language for Updates with Multiple Dimensions. APPIA-GULP-PRODE 2002: 325-341 - [c16]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
A Language for Multi-dimensional Updates. CLIMA 2002: 19-34 - [c15]José Júlio Alferes
, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
Evolving Logic Programs. JELIA 2002: 50-61 - [e1]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings. Datalogiske Skrifter 93, Roskilde University 2002 [contents] - 2001
- [c14]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira:
Combining societal agents' knowledge. APPIA-GULP-PRODE 2001: 313-327 - [c13]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira:
MINERVA - A Dynamic Logic Programming Agent Architecture. ATAL 2001: 141-157 - [c12]Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira:
Evolving Multi-agent Viewpoints - an Architecture. EPIA 2001: 169-182 - [c11]João Alexandre Leite:
A Modified Semantics for LUPS. EPIA 2001: 261-275 - [c10]