João Leite - RankMe

126 papers A* 11A 6B 18C 2Misc 6Journal 41Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	—	`ed.`	Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I EPIA (1) José Valente de Oliveira, João Leite, João Rodrigues, João Dias, Pedro Cardoso
2026	—	`ed.`	Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part II EPIA (2) José Valente de Oliveira, João Leite, João Rodrigues, João Dias, Pedro Cardoso
2025	J	`jnl`	Concept Probing: Where to Find Human-Defined Concepts (Extended Version). CoRR Manuel de Sousa Ribeiro, Afonso Leote, João Leite
2025	C	`conf`	Concept Probing: Where to Find Human-Defined Concepts. NeSy Manuel de Sousa Ribeiro, Afonso Leote, João Leite
2025	J	`jnl`	On the Performance of Concept Probing: The Influence of the Data (Extended Version). CoRR Manuel de Sousa Ribeiro, Afonso Leote, João Leite
2025	A	`conf`	On the Performance of Concept Probing: The Influence of the Data. ECAI Manuel de Sousa Ribeiro, Afonso Leote, João Leite
2024	J	`jnl`	Abstract Dialectical Frameworks are Boolean Networks (full version). CoRR Jesse Heyninck, Matthias Knorr, João Leite
2024	B	`conf`	Abstract Dialectical Frameworks are Boolean Networks. LPNMR Jesse Heyninck, Matthias Knorr, João Leite
2024	—	`conf`	Abstract Dialectical Frameworks are Boolean Networks. NMR Jesse Heyninck, Matthias Knorr, João Leite
2024	A*	`conf`	On Abstracting over the Irrelevant in Answer Set Programming. KR Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite
2023	J	`jnl`	A Brief History of Updates of Answer-Set Programs. Theory Pract. Log. Program. João Leite, Martin Slota
2023	J	`jnl`	Forgetting in Answer Set Programming - A Survey. Theory Pract. Log. Program. Ricardo Gonçalves, Matthias Knorr, João Leite
2023	J	`jnl`	On Modifying a Neural Network's Perception. CoRR Manuel de Sousa Ribeiro, João Leite
2023	A*	`conf`	Revising Boolean Logical Models of Biological Regulatory Networks. KR Frederico Aleixo, Matthias Knorr, João Leite
2022	A*	`conf`	Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. KR João Ferreira, Manuel de Sousa Ribeiro, Ricardo Gonçalves, João Leite
2022	B	`conf`	Towards Provenance in Heterogeneous Knowledge Bases. LPNMR Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite
2021	J	`jnl`	A Brief History of Updates of Answer-Set Programs. CoRR João Leite, Martin Slota
2021	A*	`conf`	Aligning Artificial Neural Networks and Ontologies towards Explainable AI. AAAI Manuel de Sousa Ribeiro, João Leite
2021	Misc	`conf`	Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. EPIA Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
2021	J	`jnl`	Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. CoRR Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
2021	Misc	`conf`	Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. EPIA João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
2021	J	`jnl`	Faster than LASER - Towards Stream Reasoning with Deep Neural Networks. CoRR João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
2021	J	`jnl`	Forgetting in Answer Set Programming - A Survey. CoRR Ricardo Gonçalves, Matthias Knorr, João Leite
2021	B	`conf`	On Syntactic Forgetting Under Uniform Equivalence. JELIA Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite
2021	B	`conf`	Tractable Reasoning Using Logic Programs with Intensional Concepts. JELIA Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite
2020	J	`jnl`	Explainable Abstract Trains Dataset. CoRR Manuel de Sousa Ribeiro, Ludwig Krippahl, João Leite
2020	J	`jnl`	NoHR: An Overview. Künstliche Intell. Vedran Kasalica, Matthias Knorr, João Leite, Carlos Lopes
2020	J	`jnl`	On the limits of forgetting in Answer Set Programming. Artif. Intell. Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
2019	J	`jnl`	A Syntactic Operator for Forgetting that Satisfies Strong Persistence. CoRR Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
2019	J	`jnl`	A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Theory Pract. Log. Program. Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
2019	B	`conf`	Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. TABLEAUX João G. Martins, André Platzer, João Leite
2019	—	`conf`	Forgetting in Answer Set Programming with Anonymous Cycles. EPIA (2) Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
2019	A*	`conf`	Forgetting in Modular Answer Set Programming. AAAI Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
2019	B	`conf`	Telco Network Inventory Validation with NoHR. LPNMR Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite
2018	J	`jnl`	Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). J. Log. Comput. João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran
2018	J	`jnl`	Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artif. Intell. Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2018	A*	`conf`	Variable Elimination for DLP-Functions. KR Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
2017	B	`conf`	A Bird's-Eye View of Forgetting in Answer-Set Programming. LPNMR João Leite
2017	J	`jnl`	A note on the uniqueness of models in social abstract argumentation. CoRR Leila Amgoud, Elise Bonzon, Marco Correia, Jorge Cruz, Jérôme Delobelle, Sébastien Konieczny, João Leite, Alexis Martin, Nicolas Maudet, Srdjan Vesic
2017	—	`conf`	Efficient Reasoning with Rules and Ontologies. ICAART (1) João Leite
2017	J	`jnl`	Exception-Based Knowledge Updates. CoRR Martin Slota, João Leite
2017	Misc	`conf`	Iterative Variable Elimination in ASP. EPIA Ricardo Gonçalves, Matthias Knorr, João Leite
2017	B	`conf`	NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. LPNMR Carlos Lopes, Matthias Knorr, João Leite
2017	B	`ed.`	PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings PRIMA Bo An, Ana L. C. Bazzan, João Leite, Serena Villata, Leendert W. N. van der Torre
2017	J	`jnl`	When You Must Forget: beyond strong persistence when forgetting in answer set programming. CoRR Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
2017	J	`jnl`	When you must forget: Beyond strong persistence when forgetting in answer set programming. Theory Pract. Log. Program. Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
2017	B	`conf`	moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. LPNMR Orkunt Sabuncu, João Leite
2016	B	`conf`	Forgetting in ASP: The Forgotten Properties. JELIA Ricardo Gonçalves, Matthias Knorr, João Leite
2016	B	`conf`	Inconsistency Management in Reactive Multi-context Systems. JELIA Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2016	—	`conf`	On Some Properties of Forgetting in ASP. DARe@ECAI Ricardo Gonçalves, Matthias Knorr, João Leite
2016	J	`jnl`	Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. CoRR Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2016	A*	`conf`	The Ultimate Guide to Forgetting in Answer Set Programming. KR Ricardo Gonçalves, Matthias Knorr, João Leite
2016	—	`conf`	Towards Inconsistency Management in Reactive Multi-Context Systems. DARe@ECAI Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2016	A	`conf`	You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. ECAI Ricardo Gonçalves, Matthias Knorr, João Leite
2015	J	`jnl`	Applications of logical approaches to argumentation. Argument Comput. João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran
2015	A*	`conf`	Efficient Paraconsistent Reasoning with Ontologies and Rules. IJCAI Tobias Kaminski, Matthias Knorr, João Leite
2015	—	`conf`	Extending NoHR for OWL 2 QL. JOWO@IJCAI Nuno Costa, Matthias Knorr, João Leite
2015	Misc	`conf`	Minimal Change in Evolving Multi-Context Systems. EPIA Ricardo Gonçalves, Matthias Knorr, João Leite
2015	—	`conf`	Next Step for NoHR: OWL 2 QL. ISWC (1) Nuno Costa, Matthias Knorr, João Leite
2015	J	`jnl`	On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). CoRR Ricardo Gonçalves, Matthias Knorr, João Leite
2015	J	`jnl`	On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. Martin Slota, João Leite, Theresa Swift
2015	—	`conf`	Querying LUBM with Non-monotonic Features in Protege using NoHR. ISWC (Posters & Demos) Nuno Costa, Matthias Knorr, João Leite
2015	—	`conf`	Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). Description Logics Tobias Kaminski, Matthias Knorr, João Leite
2015	Misc	`conf`	Reasoning over Ontologies and Non-monotonic Rules. EPIA Vadim Ivanov, Matthias Knorr, João Leite
2015	J	`jnl`	Towards Efficient Evolving Multi-Context Systems (Preliminary Report). CoRR Ricardo Gonçalves, Matthias Knorr, João Leite
2015	—	`conf`	Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. JOWO@IJCAI Tobias Kaminski, Matthias Knorr, João Leite
2014	—	`conf`	Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA Ricardo Gonçalves, Matthias Knorr, João Leite
2014	A	`conf`	Evolving Multi-Context Systems. ECAI Ricardo Gonçalves, Matthias Knorr, João Leite
2014	B	`ed.`	Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings JELIA Eduardo Fermé, João Leite
2014	B	`conf`	On Efficient Evolving Multi-Context Systems. PRICAI Matthias Knorr, Ricardo Gonçalves, João Leite
2014	J	`jnl`	On Strong and Default Negation in Logic Program Updates (Extended Version). CoRR Martin Slota, Martin Baláz, João Leite
2014	—	`conf`	On Supporting Strong and Default Negation in Answer-Set Program Updates. IBERAMIA Martin Slota, Martin Baláz, João Leite
2014	A	`conf`	On the Efficient Implementation of Social Abstract Argumentation. ECAI Marco Correia, Jorge Cruz, João Leite
2014	J	`jnl`	Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). J. Log. Comput. João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre
2014	—	`ed.`	STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium, Prague, Czech Republic, August 18-22, 2014 STAIRS Ulle Endriss, João Leite
2014	J	`jnl`	The rise and fall of semantic rule updates based on SE-models. Theory Pract. Log. Program. Martin Slota, João Leite
2014	J	`jnl`	What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. Matthias Knorr, Martin Slota, João Leite, Martin Homola
2013	—	`conf`	A Query Tool for ISWC (1) Vadim Ivanov, Matthias Knorr, João Leite
2013	—	`ed.`	Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings CLIMA João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
2013	B	`conf`	Early Recovery in Logic Program Updates. LPNMR Martin Slota, Martin Baláz, João Leite
2013	J	`jnl`	Equivalence of defeasible normative systems. J. Appl. Non Class. Logics José Júlio Alferes, Ricardo Gonçalves, João Leite
2013	—	`conf`	Extending Social Abstract Argumentation with Votes on Attacks. TAFA Sinan Egilmez, João G. Martins, João Leite
2013	—	`conf`	NoHR: Querying EL with Non-monotonic Rules. ISWC (Posters & Demos) Vadim Ivanov, Matthias Knorr, João Leite
2013	B	`conf`	Non-monotonic Temporal Goals. LPNMR Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota
2013	A*	`conf`	On Condensing a Sequence of Updates in Answer-Set Programming. IJCAI Martin Slota, João Leite
2013	J	`jnl`	The Rise and Fall of Semantic Rule Updates Based on SE-Models. CoRR Martin Slota, João Leite
2013	—	`conf`	Time Is Up! - Norms with Deadlines in Action Languages. CLIMA Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
2012	B	`conf`	A Unifying Perspective on Knowledge Updates. JELIA Martin Slota, João Leite
2012	—	`conf`	MKNF Knowledge Bases in Multi-Context Systems. CLIMA Martin Homola, Matthias Knorr, João Leite, Martin Slota
2012	A	`conf`	Normative systems require hybrid knowledge bases. AAMAS Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota
2012	A*	`conf`	Robust Equivalence Models for Semantic Updates of Answer-Set Programs. KR Martin Slota, João Leite
2011	J	`jnl`	Back and Forth Between Rules and SE-Models (Extended Version) CoRR Martin Slota, João Leite
2011	B	`conf`	Back and Forth between Rules and SE-Models. LPNMR Martin Slota, João Leite
2011	—	`ed.`	Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings CLIMA João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre
2011	—	`conf`	Evolving Logic Programs with Temporal Operators. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning José Júlio Alferes, Alfredo Gabaldon, João Leite
2011	—	`ed.`	Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Papers LADS Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, João Leite
2011	—	`conf`	Normative Systems Represented as Hybrid Knowledge Bases. CLIMA Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota
2011	J	`jnl`	Preface to the special issue on computational logics in multi-agent systems. Ann. Math. Artif. Intell. Jürgen Dix, João Leite
2011	A*	`conf`	Social Abstract Argumentation. IJCAI João Leite, João G. Martins
2011	J	`jnl`	Splitting and Updating Hybrid Knowledge Bases (Extended Version) CoRR Martin Slota, João Leite, Terrance Swift
2011	J	`jnl`	Splitting and updating hybrid knowledge bases. Theory Pract. Log. Program. Martin Slota, João Leite, Terrance Swift
2011	C	`conf`	Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. ICFEM João G. Martins, André Platzer, João Leite
2010	—	`ed.`	Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings CLIMA Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga
2010	—	`conf`	Declarative Semantics for the Rule Interchange Format Production Rule Dialect. ISWC (1) Carlos Viegas Damásio, José Júlio Alferes, João Leite
2010	—	`ed.`	Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers LADS Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni
2010	A	`conf`	On Semantic Update Operators for Answer-Set Programs. ECAI Martin Slota, João Leite
2010	J	`jnl`	Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version) CoRR Martin Slota, João Leite
2010	J	`jnl`	Towards closed world reasoning in dynamic open worlds. Theory Pract. Log. Program. Martin Slota, João Leite
2009	Misc	`conf`	A Logic Programming System for Evolving Programs with Temporal Operators. EPIA José Júlio Alferes, Alfredo Gabaldon, João Leite
2009	J	`jnl`	ERASP - a system for enhancing recommendations using answer-set programming. Int. J. Reason. based Intell. Syst. Manoela Ilic, João Leite, Martin Slota
2009	—	`conf`	Introductory Essay of LADS'009. MALLOW Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni
2009	—	`conf`	Playing with Rules. DALT João Leite
2009	—	`ed.`	Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009 MALLOW 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
2009	—	`conf`	Resource allocation with answer-set programming. AAMAS (1) João Leite, José Júlio Alferes, Belopeta Mito
2008	—	`conf`	Evolving Logic Programming Based Agents with Temporal Operators. IAT José Júlio Alferes, Alfredo Gabaldon, João Leite
2008	—	`conf`	Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. IBERAMIA Manoela Ilic, João Leite, Martin Slota
2008	—	`ed.`	Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers LADS Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni
2008	—	`conf`	Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics. Web Intelligence Manoela Ilic, João Leite, Martin Slota
2007	—	`conf`	Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. EPIA Workshops João Leite, Manoela Ilic
2007	—	`conf`	EVOLP: An Implementation. CLIMA Martin Slota, João Leite
2007	—	`conf`	EVOLP: Tranformation-Based Semantics. CLIMA Martin Slota, João Leite
2007	J	`jnl`	Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. J. Appl. Log. José Júlio Alferes, João Leite
2006	—	`conf`	A Dynamic Logic Programming Based System for Agents with Declarative Goals. DALT Vivek Nigam, João Leite
2006	J	`jnl`	A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica (Slovenia) 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
2006	—	`conf`	Adding Evolving Abilities to a Multi-Agent System. CLIMA João Leite, Luís Soares
2006	—	`conf`	Adding Knowledge Updates to 3APL. PROMAS Vivek Nigam, João Leite