João Leite

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 44

Top Venues

CoRR

LPNMR

Theory Pract. Log. Program.

EPIA

Publications

Jesse Heyninck, Matthias Knorr, João Leite
Abstract Dialectical Frameworks are Boolean Networks (full version). CoRR (2024)
João Leite, Martin Slota
A Brief History of Updates of Answer-Set Programs. Theory Pract. Log. Program. 23 (1) (2023)
Frederico Aleixo, Matthias Knorr, João Leite
Revising Boolean Logical Models of Biological Regulatory Networks. KR (2023)
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming - A Survey. Theory Pract. Log. Program. 23 (1) (2023)
Manuel de Sousa Ribeiro, João Leite
On Modifying a Neural Network's Perception. CoRR (2023)
Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite
Towards Provenance in Heterogeneous Knowledge Bases. LPNMR (2022)
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)
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming - A Survey. CoRR (2021)
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)
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 (2021)
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)
Manuel de Sousa Ribeiro, João Leite
Aligning Artificial Neural Networks and Ontologies towards Explainable AI. AAAI (2021)
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 (2021)
Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite
Tractable Reasoning Using Logic Programs with Intensional Concepts. JELIA (2021)
João Leite, Martin Slota
A Brief History of Updates of Answer-Set Programs. CoRR (2021)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite
On Syntactic Forgetting Under Uniform Equivalence. JELIA (2021)
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
On the limits of forgetting in Answer Set Programming. Artif. Intell. 286 (2020)
Manuel de Sousa Ribeiro, Ludwig Krippahl, João Leite
Explainable Abstract Trains Dataset. CoRR (2020)
Vedran Kasalica, Matthias Knorr, João Leite, Carlos Lopes
NoHR: An Overview. Künstliche Intell. 34 (4) (2020)
Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming with Anonymous Cycles. EPIA (2) (2019)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Forgetting in Modular Answer Set Programming. AAAI (2019)
Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite
Telco Network Inventory Validation with NoHR. LPNMR (2019)
Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. CoRR (2019)
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) (2019)
João G. Martins, André Platzer, João Leite
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. TABLEAUX (2019)
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 (2018)
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) (2018)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Variable Elimination for DLP-Functions. KR (2018)
Martin Slota, João Leite
Exception-Based Knowledge Updates. CoRR (2017)
João Leite
A Bird's-Eye View of Forgetting in Answer-Set Programming. LPNMR (2017)
Carlos Lopes, Matthias Knorr, João Leite
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. LPNMR (2017)
Orkunt Sabuncu, João Leite
moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. LPNMR (2017)
João Leite
Efficient Reasoning with Rules and Ontologies. ICAART (1) (2017)
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) (2017)
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 (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite
Iterative Variable Elimination in ASP. EPIA (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
When You Must Forget: beyond strong persistence when forgetting in answer set programming. CoRR (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite
The Ultimate Guide to Forgetting in Answer Set Programming. KR (2016)
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)
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)
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 (2016)
Ricardo Gonçalves, Matthias Knorr, João Leite
On Some Properties of Forgetting in ASP. DARe@ECAI (2016)
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)
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in ASP: The Forgotten Properties. JELIA (2016)
Vadim Ivanov, Matthias Knorr, João Leite
Reasoning over Ontologies and Non-monotonic Rules. EPIA (2015)
Nuno Costa, Matthias Knorr, João Leite
Next Step for NoHR: OWL 2 QL. ISWC (1) (2015)
Ricardo Gonçalves, Matthias Knorr, João Leite
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). CoRR (2015)
Tobias Kaminski, Matthias Knorr, João Leite
Efficient Paraconsistent Reasoning with Ontologies and Rules. IJCAI (2015)
Nuno Costa, Matthias Knorr, João Leite
Querying LUBM with Non-monotonic Features in Protege using NoHR. ISWC (Posters & Demos) (2015)
Nuno Costa, Matthias Knorr, João Leite
Extending NoHR for OWL 2 QL. JOWO@IJCAI (2015)
Ricardo Gonçalves, Matthias Knorr, João Leite
Towards Efficient Evolving Multi-Context Systems (Preliminary Report). CoRR (2015)
João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran
Applications of logical approaches to argumentation. Argument Comput. 6 (1) (2015)
Tobias Kaminski, Matthias Knorr, João Leite
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. JOWO@IJCAI (2015)
Martin Slota, João Leite, Theresa Swift
On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229 (2015)
Tobias Kaminski, Matthias Knorr, João Leite
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). Description Logics (2015)
Ricardo Gonçalves, Matthias Knorr, João Leite
Minimal Change in Evolving Multi-Context Systems. EPIA (2015)
Matthias Knorr, Ricardo Gonçalves, João Leite
On Efficient Evolving Multi-Context Systems. PRICAI (2014)
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) (2014)
Martin Slota, Martin Baláz, João Leite
On Supporting Strong and Default Negation in Answer-Set Program Updates. IBERAMIA (2014)
Marco Correia, Jorge Cruz, João Leite
On the Efficient Implementation of Social Abstract Argumentation. ECAI (2014)
Martin Slota, Martin Baláz, João Leite
On Strong and Default Negation in Logic Program Updates (Extended Version). CoRR (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite
Evolving Multi-Context Systems. ECAI (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite
Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA (2014)
Martin Slota, João Leite
The rise and fall of semantic rule updates based on SE-models. Theory Pract. Log. Program. 14 (6) (2014)
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) (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota
Non-monotonic Temporal Goals. LPNMR (2013)
Martin Slota, Martin Baláz, João Leite
Early Recovery in Logic Program Updates. LPNMR (2013)
Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
Time Is Up! - Norms with Deadlines in Action Languages. CLIMA (2013)
Vadim Ivanov, Matthias Knorr, João Leite
with Non-monotonic Rules. ISWC (1) (2013)
Sinan Egilmez, João G. Martins, João Leite
Extending Social Abstract Argumentation with Votes on Attacks. TAFA (2013)
Martin Slota, João Leite
On Condensing a Sequence of Updates in Answer-Set Programming. IJCAI (2013)
José Júlio Alferes, Ricardo Gonçalves, João Leite
Equivalence of defeasible normative systems. J. Appl. Non Class. Logics 23 (1-2) (2013)
Vadim Ivanov, Matthias Knorr, João Leite
NoHR: Querying EL with Non-monotonic Rules. ISWC (Posters & Demos) (2013)
Martin Slota, João Leite
The Rise and Fall of Semantic Rule Updates Based on SE-Models. CoRR (2013)
Martin Homola, Matthias Knorr, João Leite, Martin Slota
MKNF Knowledge Bases in Multi-Context Systems. CLIMA (2012)
Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota
Normative systems require hybrid knowledge bases. AAMAS (2012)
Martin Slota, João Leite
A Unifying Perspective on Knowledge Updates. JELIA (2012)
Martin Slota, João Leite
Robust Equivalence Models for Semantic Updates of Answer-Set Programs. KR (2012)
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) (2011)
Martin Slota, João Leite
Back and Forth between Rules and SE-Models. LPNMR (2011)
Martin Slota, João Leite, Terrance Swift
Splitting and Updating Hybrid Knowledge Bases (Extended Version) CoRR (2011)
Martin Slota, João Leite
Back and Forth Between Rules and SE-Models (Extended Version) CoRR (2011)
João G. Martins, André Platzer, João Leite
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. ICFEM (2011)
José Júlio Alferes, Alfredo Gabaldon, João Leite
Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
Normative Systems Represented as Hybrid Knowledge Bases. CLIMA (2011)
João Leite, João G. Martins
Social Abstract Argumentation. IJCAI (2011)
Martin Slota, João Leite, Terrance Swift
Splitting and updating hybrid knowledge bases. Theory Pract. Log. Program. 11 (4-5) (2011)
Martin Slota, João Leite
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version) CoRR (2010)
Carlos Viegas Damásio, José Júlio Alferes, João Leite
Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) (2010)
Martin Slota, João Leite
On Semantic Update Operators for Answer-Set Programs. ECAI (2010)
Martin Slota, João Leite
Towards closed world reasoning in dynamic open worlds. Theory Pract. Log. Program. 10 (4-6) (2010)
João Leite, José Júlio Alferes, Belopeta Mito
Resource allocation with answer-set programming. AAMAS (1) (2009)
Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni
Introductory Essay of LADS'009. MALLOW (2009)
João Leite
Playing with Rules. DALT (2009)
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) (2009)
José Júlio Alferes, Alfredo Gabaldon, João Leite
A Logic Programming System for Evolving Programs with Temporal Operators. EPIA (2009)
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)
José Júlio Alferes, Alfredo Gabaldon, João Leite
Evolving Logic Programming Based Agents with Temporal Operators. IAT (2008)
Manoela Ilic, João Leite, Martin Slota
Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA (2008)
João Leite, Manoela Ilic
Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops (2007)

João Leite.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

João Leite