Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
João Leite
João Alexandre Leite
2010 – today
- 2013
[j11]José Júlio Alferes, Ricardo Gonçalves, João Leite: Equivalence of defeasible normative systems. Journal of Applied Non-Classical Logics 23(1-2): 25-48 (2013)- [c48]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
- [c47]
- [c46]Vadim Ivanov, Matthias Knorr, João Leite: NoHR: Querying EL with Non-monotonic Rules. International Semantic Web Conference (Posters & Demos) 2013: 17-20
- [c45]Vadim Ivanov, Matthias Knorr, João Leite: A Query Tool for with Non-monotonic Rules. International Semantic Web Conference (1) 2013: 216-231
- [e13]João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (Eds.): 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
- [i4]Martin Slota, João Leite: The Rise and Fall of Semantic Rule Updates Based on SE-Models. CoRR abs/1306.3884 (2013)
- 2012
- [c44]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
- [c43]Martin Homola, Matthias Knorr, João Leite, Martin Slota: MKNF Knowledge Bases in Multi-Context Systems. CLIMA 2012: 146-162
- [c42]
- [c41]Martin Slota, João Leite: Robust Equivalence Models for Semantic Updates of Answer-Set Programs. KR 2012
- 2011
- [j10]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)
- [j9]Martin Slota, João Leite, Terrance Swift: Splitting and updating hybrid knowledge bases. TPLP 11(4-5): 801-819 (2011)
- [c40]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
- [c39]Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota: Normative Systems Represented as Hybrid Knowledge Bases. CLIMA 2011: 330-346
- [c38]João Martins, André Platzer, João Leite: Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. ICFEM 2011: 131-146
- [c37]
- [c36]
- [e12]João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (Eds.): 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
- [e11]Mehdi Dastani, Amal El Fallah-Seghrouchni, Jomi Hübner, João Leite (Eds.): 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
- [i3]Martin Slota, João Leite: Back and Forth Between Rules and SE-Models (Extended Version). CoRR abs/1102.5385 (2011)
- [i2]Martin Slota, João Leite, Terrance Swift: Splitting and Updating Hybrid Knowledge Bases (Extended Version). CoRR abs/1105.0288 (2011)
- 2010
- [j8]Martin Slota, João Leite: Towards closed world reasoning in dynamic open worlds. TPLP 10(4-6): 547-563 (2010)
- [c35]
- [c34]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 (Eds.): 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
- [e9]Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni (Eds.): 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
- [i1]Martin Slota, João Leite: Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version). CoRR abs/1004.4342 (2010)
2000 – 2009
- 2009
- [c33]João Leite, José Júlio Alferes, Belopeta Mito: Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656
- [c32]
- [c31]José Júlio Alferes, Alfredo Gabaldon, João Leite: A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112
- [c30]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 (Eds.): 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
- 2008
- [c29]José Júlio Alferes, Alfredo Gabaldon, João Leite: Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244
- [c28]Manoela Ilic, João Leite, Martin Slota: Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA 2008: 352-361
- [c27]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 (Eds.): 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
- 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. Applied Logic 5(3): 389-391 (2007)
- [c26]
- [c25]
- [c24]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)
- [c23]
- [c22]Vivek Nigam, João Leite: A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190
- [c21]
- 2005
- [j5]José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite: The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1): 7-32 (2005)
- [e6]João Alexandre Leite, Paolo Torroni (Eds.): 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
- [e5]João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum (Eds.): 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
- 2004
- [j4]Jürgen Dix, João Alexandre Leite, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004)
- [c20]João Alexandre Leite: On Some Differences Between Semantics of Logic Program Updates. IBERAMIA 2004: 375-385
- [c19]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 (Eds.): 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
- [e3]João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni (Eds.): 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
- [e2]José Júlio Alferes, João Alexandre Leite (Eds.): 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
- 2003
- [c18]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
- [c17]José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Logic Programming for Evolving Agents. CIA 2003: 281-297
- [c16]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. Electr. Notes Theor. Comput. Sci. 70(5): 20-38 (2002)
- [j2]Jürgen Dix, João Alexandre Leite, Ken Satoh: Preface. Electr. Notes Theor. Comput. Sci. 70(5): 204-206 (2002)
- [c15]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
- [c14]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 (Eds.): Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings. Datalogiske Skrifter 93, Roskilde University 2002
- 2001
- [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]
- [c10]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. EPIA 2001: 276-289
- [c9]José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira: Computing Environment-Aware Agent Behaviours with Logic Program Updates. LOPSTR 2001: 216-232
- [c8]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Knowledge Representation. LPNMR 2001: 365-378
- 2000
- [j1]José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic updates of non-monotonic knowledge bases. J. Log. Program. 45(1-3): 43-70 (2000)
- [c7]João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira: Multi-dimensional Dynamic Logic Programming. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 17-26
1990 – 1999
- 1999
- [c6]Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Hypotethical Reasoning: an application to Optical Music Recognition. APPIA-GULP-PRODE 1999: 367-382
- [c5]Miguel Ferrand, João Alexandre Leite, Amílcar Cardoso: Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. EPIA 1999: 342-356
- 1998
- [c4]José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. APPIA-GULP-PRODE 1998: 393-408
- [c3]
- [c2]José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. KR 1998: 98-111
- 1997
- [c1]João Alexandre Leite, Luís Moniz Pereira: Generalizing Updates: From Models to Programs. LPKR 1997: 224-246
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:27 CEST by the dblp team