Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoã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
- João Leite 0004
![[0000-0003-1452-7842]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-1452-7842")
— University of Minho, Algoritmi Center, Guimarães, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2023
[j23]João Leite, Martin Slota:
A Brief History of Updates of Answer-Set Programs. Theory Pract. Log. Program. 23(1): 57-110 (2023)- [j22]Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in Answer Set Programming - A Survey. Theory Pract. Log. Program. 23(1): 111-156 (2023) - 2020
- [j21]Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran:
On the limits of forgetting in Answer Set Programming. Artif. Intell. 286: 103307 (2020) - [j20]Vedran Kasalica, Matthias Knorr, João Leite, Carlos Lopes:
NoHR: An Overview. Künstliche Intell. 34(4): 509-515 (2020) - 2019
- [j19]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) - 2018
- [j18]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) - [j17]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) - 2017
- [j16]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) - 2015
- [j15]Martin Slota, João Leite, Theresa Swift:
On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229: 33-104 (2015) - [j14]João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran:
Applications of logical approaches to argumentation. Argument Comput. 6(1): 1-2 (2015) - 2014
- [j13]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) - [j12]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) - [j11]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) - 2013
- [j10]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) - 2011
- [j9]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) - [j8]Martin Slota, João Leite, Terrance Swift:
Splitting and updating hybrid knowledge bases. Theory Pract. Log. Program. 11(4-5): 801-819 (2011) - 2010
- [j7]Martin Slota, João Leite:
Towards closed world reasoning in dynamic open worlds. Theory Pract. Log. Program. 10(4-6): 547-563 (2010) - 2009
- [j6]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) - 2007
- [j5]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) - 2006
- [j4]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) - 2005
- [j3]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) - 2004
- [j2]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004) - 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)
Conference and Workshop Papers
- 2023
- [c91]Frederico Aleixo, Matthias Knorr, João Leite:
Revising Boolean Logical Models of Biological Regulatory Networks. KR 2023: 12-22 - 2022
- [c90]João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves, João Leite:
Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. KR 2022 - [c89]Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite:
Towards Provenance in Heterogeneous Knowledge Bases. LPNMR 2022: 287-300 - 2021
- [c88]Manuel de Sousa Ribeiro, João Leite:
Aligning Artificial Neural Networks and Ontologies towards Explainable AI. AAAI 2021: 4932-4940 - [c87]Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite:
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. EPIA 2021: 338-350 - [c86]João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite:
Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. EPIA 2021: 363-375 - [c85]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite:
On Syntactic Forgetting Under Uniform Equivalence. JELIA 2021: 297-312 - [c84]Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite:
Tractable Reasoning Using Logic Programs with Intensional Concepts. JELIA 2021: 329-345 - 2019
- [c83]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran:
Forgetting in Modular Answer Set Programming. AAAI 2019: 2843-2850 - [c82]Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in Answer Set Programming with Anonymous Cycles. EPIA (2) 2019: 552-565 - [c81]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 - [c80]João G. Martins, André Platzer, João Leite:
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. TABLEAUX 2019: 428-445 - 2018
- [c79]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran:
Variable Elimination for DLP-Functions. KR 2018: 643-644 - 2017
- [c78]Ricardo Gonçalves, Matthias Knorr, João Leite:
Iterative Variable Elimination in ASP. EPIA 2017: 643-656 - [c77]João Leite:
Efficient Reasoning with Rules and Ontologies. ICAART (1) 2017: 7 - [c76]João Leite:
A Bird's-Eye View of Forgetting in Answer-Set Programming. LPNMR 2017: 10-22 - [c75]Carlos Lopes, Matthias Knorr, João Leite:
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. LPNMR 2017: 236-249 - [c74]Orkunt Sabuncu, João Leite:
moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. LPNMR 2017: 336-342 - 2016
- [c73]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 - [c72]Ricardo Gonçalves, Matthias Knorr, João Leite:
On Some Properties of Forgetting in ASP. DARe@ECAI 2016 - [c71]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 - [c70]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 - [c69]Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in ASP: The Forgotten Properties. JELIA 2016: 543-550 - [c68]Ricardo Gonçalves, Matthias Knorr, João Leite:
The Ultimate Guide to Forgetting in Answer Set Programming. KR 2016: 135-144 - 2015
- [c67]Tobias Kaminski, Matthias Knorr, João Leite:
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). Description Logics 2015 - [c66]Vadim Ivanov, Matthias Knorr, João Leite:
Reasoning over Ontologies and Non-monotonic Rules. EPIA 2015: 388-401 - [c65]Ricardo Gonçalves, Matthias Knorr, João Leite:
Minimal Change in Evolving Multi-Context Systems. EPIA 2015: 611-623 - [c64]Nuno Costa, Matthias Knorr, João Leite:
Extending NoHR for OWL 2 QL. JOWO@IJCAI 2015 - [c63]Tobias Kaminski, Matthias Knorr, João Leite:
Efficient Paraconsistent Reasoning with Ontologies and Rules. IJCAI 2015: 3098-3105 - [c62]Tobias Kaminski, Matthias Knorr, João Leite:
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. JOWO@IJCAI 2015 - [c61]Nuno Costa, Matthias Knorr, João Leite:
Next Step for NoHR: OWL 2 QL. ISWC (1) 2015: 569-586 - [c60]Nuno Costa, Matthias Knorr, João Leite:
Querying LUBM with Non-monotonic Features in Protege using NoHR. ISWC (Posters & Demos) 2015 - 2014
- [c59]Ricardo Gonçalves, Matthias Knorr, João Leite:
Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA 2014: 52-69 - [c58]Marco Correia, Jorge Cruz, João Leite:
On the Efficient Implementation of Social Abstract Argumentation. ECAI 2014: 225-230 - [c57]Ricardo Gonçalves, Matthias Knorr, João Leite:
Evolving Multi-Context Systems. ECAI 2014: 375-380 - [c56]Martin Slota, Martin Baláz, João Leite:
On Supporting Strong and Default Negation in Answer-Set Program Updates. IBERAMIA 2014: 41-53 - [c55]Matthias Knorr, Ricardo Gonçalves, João Leite:
On Efficient Evolving Multi-Context Systems. PRICAI 2014: 284-296 - 2013
- [c54]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 - [c53]Martin Slota, João Leite:
On Condensing a Sequence of Updates in Answer-Set Programming. IJCAI 2013: 1097-1103 - [c52]Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota:
Non-monotonic Temporal Goals. LPNMR 2013: 374-386 - [c51]Martin Slota, Martin Baláz, João Leite:
Early Recovery in Logic Program Updates. LPNMR 2013: 512-517 - [c50]Vadim Ivanov, Matthias Knorr, João Leite:
NoHR: Querying EL with Non-monotonic Rules. ISWC (Posters & Demos) 2013: 17-20 - [c49]Vadim Ivanov, Matthias Knorr, João Leite:
A Query Tool for EL with Non-monotonic Rules. ISWC (1) 2013: 216-231 - [c48]Sinan Egilmez, João G. Martins, João Leite:
Extending Social Abstract Argumentation with Votes on Attacks. TAFA 2013: 16-31 - 2012
- [c47]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 - [c46]Martin Homola, Matthias Knorr, João Leite, Martin Slota:
MKNF Knowledge Bases in Multi-Context Systems. CLIMA 2012: 146-162 - [c45]Martin Slota, João Leite:
A Unifying Perspective on Knowledge Updates. JELIA 2012: 372-384 - [c44]Martin Slota, João Leite:
Robust Equivalence Models for Semantic Updates of Answer-Set Programs. KR 2012 - 2011
- [c43]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 - [c42]Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota:
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA 2011: 330-346 - [c41]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 - [c40]João Leite, João G. Martins:
Social Abstract Argumentation. IJCAI 2011: 2287-2292 - [c39]Martin Slota, João Leite:
Back and Forth between Rules and SE-Models. LPNMR 2011: 174-186 - 2010
- [c38]Martin Slota, João Leite:
On Semantic Update Operators for Answer-Set Programs. ECAI 2010: 957-962 - [c37]Carlos Viegas Damásio, José Júlio Alferes, João Leite:
Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) 2010: 798-813 - 2009
- [c36]João Leite, José Júlio Alferes, Belopeta Mito:
Resource allocation with answer-set programming. AAMAS (1) 2009: 649-656 - [c35]João Leite:
Playing with Rules. DALT 2009: 1-19 - [c34]José Júlio Alferes, Alfredo Gabaldon, João Leite:
A Logic Programming System for Evolving Programs with Temporal Operators. EPIA 2009: 101-112 - [c33]Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni:
Introductory Essay of LADS'009. MALLOW 2009 - 2008
- [c32]José Júlio Alferes, Alfredo Gabaldon, João Leite:
Evolving Logic Programming Based Agents with Temporal Operators. IAT 2008: 238-244 - [c31]Manoela Ilic, João Leite, Martin Slota:
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA 2008: 352-361 - [c30]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 - 2007
- [c29]Martin Slota, João Leite:
EVOLP: Tranformation-Based Semantics. CLIMA 2007: 117-136 - [c28]Martin Slota, João Leite:
EVOLP: An Implementation. CLIMA 2007: 288-298 - [c27]João Leite, Manoela Ilic:
Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops 2007: 29-42 - 2006
- [c26]João Leite, Luís Soares:
Adding Evolving Abilities to a Multi-Agent System. CLIMA 2006: 246-265 - [c25]Vivek Nigam, João Leite:
A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT 2006: 174-190 - [c24]Vivek Nigam, João Leite:
Adding Knowledge Updates to 3APL. PROMAS 2006: 165-181 - 2004
- [c23]João Alexandre Leite:
On Some Differences Between Semantics of Logic Program Updates. IBERAMIA 2004: 375-385 - [c22]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 - 2003
- [c21]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 - [c20]José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
Logic Programming for Evolving Agents. CIA 2003: 281-297 - [c19]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
- [c18]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 - [c17]José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira:
Evolving Logic Programs. JELIA 2002: 50-61 - [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: 20-38 - [c15]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Preface. CLIMA 2002: 204-206 - 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]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
- [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 - 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]João Alexandre Leite, Luís Moniz Pereira:
Iterated Logic Program Updates. IJCSLP 1998: 265-278 - [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
Editorship
- 2017
- [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] - 2014
- [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] - 2013
- [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] - 2011
- [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] - 2010
- [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] - 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
- [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] - 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
- [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] - 2002
- [e1]Jürgen Dix, João Alexandre Leite, Ken Satoh:
Computational Logic in Multi-Agent Systems, CLIMA 2002, FLoC Satellite Event, Copenhagen, Denmark, August 1, 2002. Electronic Notes in Theoretical Computer Science 70(5), Elsevier 2002 [contents]
Informal and Other Publications
- 2023
- [i19]Manuel de Sousa Ribeiro, João Leite:
On Modifying a Neural Network's Perception. CoRR abs/2303.02655 (2023) - 2021
- [i18]Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite:
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. CoRR abs/2106.08452 (2021) - [i17]João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite:
Faster than LASER - Towards Stream Reasoning with Deep Neural Networks. CoRR abs/2106.08457 (2021) - [i16]Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in Answer Set Programming - A Survey. CoRR abs/2107.07016 (2021) - [i15]João Leite, Martin Slota:
A Brief History of Updates of Answer-Set Programs. CoRR abs/2112.13477 (2021) - 2020
- [i14]Manuel de Sousa Ribeiro, Ludwig Krippahl, João Leite:
Explainable Abstract Trains Dataset. CoRR abs/2012.12115 (2020) - 2019
- [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) - 2017
- [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
- [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
- [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
- [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
- [i5]Martin Slota, João Leite:
The Rise and Fall of Semantic Rule Updates Based on SE-Models. CoRR abs/1306.3884 (2013) - 2011
- [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
- [i2]Martin Slota, João Leite:
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version). CoRR abs/1004.4342 (2010) - 2008
- [i1]José Júlio Alferes, Alfredo Gabaldon, João Alexandre Leite:
Non-Markovian Agent Evolution with EVOLP. Programming Multi-Agent Systems 2008
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 23:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
