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
2020 – today
- 2024
[c94]Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite:
On Abstracting over the Irrelevant in Answer Set Programming. KR 2024- [c93]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks. LPNMR 2024: 98-111 - [c92]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks. NMR 2024: 53-60 - [i20]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks (full version). CoRR abs/2407.02055 (2024) - 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) - [c91]Frederico Aleixo, Matthias Knorr, João Leite:
Revising Boolean Logical Models of Biological Regulatory Networks. KR 2023: 12-22 - [i19]Manuel de Sousa Ribeiro, João Leite:
On Modifying a Neural Network's Perception. CoRR abs/2303.02655 (2023) - 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 - [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
- [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) - [i14]Manuel de Sousa Ribeiro, Ludwig Krippahl, João Leite:
Explainable Abstract Trains Dataset. CoRR abs/2012.12115 (2020)
2010 – 2019
- 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) - [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 - [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
- [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) - [c79]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran:
Variable Elimination for DLP-Functions. KR 2018: 643-644 - 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) - [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 - [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
- [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 - [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
- [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) - [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 - [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
- [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) - [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 - [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
- [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) - [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 - [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
- [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
- [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) - [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 - [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
- [j7]Martin Slota, João Leite:
Towards closed world reasoning in dynamic open worlds. Theory Pract. Log. Program. 10(4-6): 547-563 (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 - [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
- [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) - [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 - [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
- [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 - [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
- [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) - [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]