Generalizing Updates: From Models to Programs. - João Alexandre Leite; Luís Moniz Pereira (LPKR, 1997)

Dynamic Logic Programming. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 1998)

Iterated Logic Program Updates. - João Alexandre Leite; Luís Moniz Pereira (IJCSLP, 1998)

Hypotethical Reasoning: an application to Optical Music Recognition. - Miguel Ferrand; João Alexandre Leite; Amílcar Cardoso (APPIA-GULP-PRODE, 1999)

Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming. - Miguel Ferrand; João Alexandre Leite; Amílcar Cardoso (EPIA, 1999)

Multi-dimensional Dynamic Logic Programming. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

Dynamic updates of non-monotonic knowledge bases. - José Júlio Alferes; João Alexandre Leite; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (J. Log. Program., 2000)

Combining societal agents' knowledge. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (APPIA-GULP-PRODE, 2001)

MINERVA - A Dynamic Logic Programming Agent Architecture. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (ATAL, 2001)

Evolving Multi-agent Viewpoints - an Architecture. - Pierangelo Dell'Acqua; João Alexandre Leite; Luís Moniz Pereira (EPIA, 2001)

A Modified Semantics for LUPS. - João Alexandre Leite (EPIA, 2001)

On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (EPIA, 2001)

Computing Environment-Aware Agent Behaviours with Logic Program Updates. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (LOPSTR, 2001)

Multi-dimensional Dynamic Knowledge Representation. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira (LPNMR, 2001)

A Language for Updates with Multiple Dimensions. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (APPIA-GULP-PRODE, 2002)

Evolving Logic Programs. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (JELIA, 2002)

Preface. - Jürgen Dix; João Alexandre Leite; Ken Satoh (CLIMA, 2002)

A Language for Multi-dimensional Updates. - João Alexandre Leite; José Júlio Alferes; Luís Moniz Pereira; Halina Przymusinska; Teodor C. Przymusinski (CLIMA, 2002)

An Evolving Agent with EVOLP. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (APPIA-GULP-PRODE, 2003)

Logic Programming for Evolving Agents. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (CIA, 2003)

An Evolvable Rule-Based E-mail Agent. - José Júlio Alferes; Antonio Brogi; João Alexandre Leite; Luís Moniz Pereira (EPIA, 2003)

On Some Differences Between Semantics of Logic Program Updates. - João Alexandre Leite (IBERAMIA, 2004)

Semantics for Dynamic Logic Programming: A Principle-Based Approach. - José Júlio Alferes; Federico Banti; Antonio Brogi; João Alexandre Leite (LPNMR, 2004)

Introduction. - Jürgen Dix; João Alexandre Leite; Ken Satoh (Ann. Math. Artif. Intell., 2004)

The Refined Extension Principle for Semantics of Dynamic Logic Programming. - José Júlio Alferes; Federico Banti; Antonio Brogi; João Alexandre Leite (Stud Logica, 2005)

Adding Evolving Abilities to a Multi-Agent System. - João Leite 001; Luís Soares (CLIMA, 2006)

A Dynamic Logic Programming Based System for Agents with Declarative Goals. - Vivek Nigam; João Leite 001 (DALT, 2006)

Adding Knowledge Updates to 3APL. - Vivek Nigam; João Leite 001 (PROMAS, 2006)

A Survey of Programming Languages and Platforms for Multi-Agent Systems. - Rafael H. Bordini; Lars Braubach; Mehdi Dastani; Amal El Fallah Seghrouchni; Jorge J. Gómez-Sanz; João Leite 001; Gregory M. P. O'Hare; Alexander Pokahr; Alessandro Ricci (Informatica (Slovenia), 2006)

EVOLP: Tranformation-Based Semantics. - Martin Slota; João Leite 001 (CLIMA, 2007)

EVOLP: An Implementation. - Martin Slota; João Leite 001 (CLIMA, 2007)

Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. - João Leite 001; Manoela Ilic (EPIA Workshops, 2007)

Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. - José Júlio Alferes; João Leite 001 (J. Appl. Log., 2007)

Non-Markovian Agent Evolution with EVOLP. - José Júlio Alferes; Alfredo Gabaldon; João Alexandre Leite (Programming Multi-Agent Systems, 2008)

Evolving Logic Programming Based Agents with Temporal Operators. - José Júlio Alferes; Alfredo Gabaldon; João Leite 001 (IAT, 2008)

Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System. - Manoela Ilic; João Leite 001; Martin Slota (IBERAMIA, 2008)

Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics. - Manoela Ilic; João Leite 001; Martin Slota (Web Intelligence, 2008)

Resource allocation with answer-set programming. - João Leite 001; José Júlio Alferes; Belopeta Mito (AAMAS (1), 2009)

Playing with Rules. - João Leite 001 (DALT, 2009)

A Logic Programming System for Evolving Programs with Temporal Operators. - José Júlio Alferes; Alfredo Gabaldon; João Leite 001 (EPIA, 2009)

Introductory Essay of LADS'009. - Mehdi Dastani; Amal El Fallah Seghrouchni; João Leite 001; Paolo Torroni (MALLOW, 2009)

ERASP - a system for enhancing recommendations using answer-set programming. - Manoela Ilic; João Leite 001; Martin Slota (Int. J. Reason. based Intell. Syst., 2009)

On Semantic Update Operators for Answer-Set Programs. - Martin Slota; João Leite 001 (ECAI, 2010)

Declarative Semantics for the Rule Interchange Format Production Rule Dialect. - Carlos Viegas Damásio; José Júlio Alferes; João Leite 001 (ISWC (1), 2010)

Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version) - Martin Slota; João Leite 001 (CoRR, 2010)

Towards closed world reasoning in dynamic open worlds. - Martin Slota; João Leite 001 (Theory Pract. Log. Program., 2010)

Evolving Logic Programs with Temporal Operators. - José Júlio Alferes; Alfredo Gabaldon; João Leite 001 (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Normative Systems Represented as Hybrid Knowledge Bases. - Marco Alberti 001; Ana Sofia Gomes; Ricardo Gonçalves 001; João Leite 001; Martin Slota (CLIMA, 2011)

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications. - João G. Martins; André Platzer; João Leite 001 (ICFEM, 2011)

Social Abstract Argumentation. - João Leite 001; João G. Martins (IJCAI, 2011)

Back and Forth between Rules and SE-Models. - Martin Slota; João Leite 001 (LPNMR, 2011)

Preface to the special issue on computational logics in multi-agent systems. - Jürgen Dix; João Leite 001 (Ann. Math. Artif. Intell., 2011)

Back and Forth Between Rules and SE-Models (Extended Version) - Martin Slota; João Leite 001 (CoRR, 2011)

Splitting and Updating Hybrid Knowledge Bases (Extended Version) - Martin Slota; João Leite 001; Terrance Swift (CoRR, 2011)

Splitting and updating hybrid knowledge bases. - Martin Slota; João Leite 001; Terrance Swift (Theory Pract. Log. Program., 2011)

Normative systems require hybrid knowledge bases. - Marco Alberti 001; Matthias Knorr 001; Ana Sofia Gomes; João Leite 001; Ricardo Gonçalves 001; Martin Slota (AAMAS, 2012)

MKNF Knowledge Bases in Multi-Context Systems. - Martin Homola; Matthias Knorr 001; João Leite 001; Martin Slota (CLIMA, 2012)

A Unifying Perspective on Knowledge Updates. - Martin Slota; João Leite 001 (JELIA, 2012)

Robust Equivalence Models for Semantic Updates of Answer-Set Programs. - Martin Slota; João Leite 001 (KR, 2012)

Time Is Up! - Norms with Deadlines in Action Languages. - Matthias Knorr 001; Alfredo Gabaldon; Ricardo Gonçalves 001; João Leite 001; Martin Slota (CLIMA, 2013)

On Condensing a Sequence of Updates in Answer-Set Programming. - Martin Slota; João Leite 001 (IJCAI, 2013)

Non-monotonic Temporal Goals. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Martin Slota (LPNMR, 2013)

Early Recovery in Logic Program Updates. - Martin Slota; Martin Baláz; João Leite 001 (LPNMR, 2013)

NoHR: Querying EL with Non-monotonic Rules. - Vadim Ivanov; Matthias Knorr 001; João Leite 001 (ISWC (Posters & Demos), 2013)

A Query Tool for EL with Non-monotonic Rules. - Vadim Ivanov; Matthias Knorr 001; João Leite 001 (ISWC (1), 2013)

Extending Social Abstract Argumentation with Votes on Attacks. - Sinan Egilmez; João G. Martins; João Leite 001 (TAFA, 2013)

Equivalence of defeasible normative systems. - José Júlio Alferes; Ricardo Gonçalves 001; João Leite 001 (J. Appl. Non Class. Logics, 2013)

Evolving Bridge Rules in Evolving Multi-Context Systems. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (CLIMA, 2014)

On the Efficient Implementation of Social Abstract Argumentation. - Marco Correia; Jorge Cruz 001; João Leite 001 (ECAI, 2014)

Evolving Multi-Context Systems. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (ECAI, 2014)

On Supporting Strong and Default Negation in Answer-Set Program Updates. - Martin Slota; Martin Baláz; João Leite 001 (IBERAMIA, 2014)

On Efficient Evolving Multi-Context Systems. - Matthias Knorr 001; Ricardo Gonçalves 001; João Leite 001 (PRICAI, 2014)

On Strong and Default Negation in Logic Program Updates (Extended Version). - Martin Slota; Martin Baláz; João Leite 001 (CoRR, 2014)

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. - Matthias Knorr 001; Martin Slota; João Leite 001; Martin Homola (J. Log. Comput., 2014)

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII). - João Leite 001; Paolo Torroni; Thomas Ågotnes; Guido Boella; Leendert W. N. van der Torre (J. Log. Comput., 2014)

The rise and fall of semantic rule updates based on SE-models. - Martin Slota; João Leite 001 (Theory Pract. Log. Program., 2014)

Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). - Tobias Kaminski; Matthias Knorr 001; João Leite 001 (Description Logics, 2015)

Minimal Change in Evolving Multi-Context Systems. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (EPIA, 2015)

Reasoning over Ontologies and Non-monotonic Rules. - Vadim Ivanov; Matthias Knorr 001; João Leite 001 (EPIA, 2015)

Extending NoHR for OWL 2 QL. - Nuno Costa; Matthias Knorr 001; João Leite 001 (JOWO@IJCAI, 2015)

Efficient Paraconsistent Reasoning with Ontologies and Rules. - Tobias Kaminski; Matthias Knorr 001; João Leite 001 (IJCAI, 2015)

Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. - Tobias Kaminski; Matthias Knorr 001; João Leite 001 (JOWO@IJCAI, 2015)

Next Step for NoHR: OWL 2 QL. - Nuno Costa; Matthias Knorr 001; João Leite 001 (ISWC (1), 2015)

Querying LUBM with Non-monotonic Features in Protege using NoHR. - Nuno Costa; Matthias Knorr 001; João Leite 001 (ISWC (Posters & Demos), 2015)

On updates of hybrid knowledge bases composed of ontologies and rules. - Martin Slota; João Leite 001; Theresa Swift (Artif. Intell., 2015)

Applications of logical approaches to argumentation. - João Leite 001; Tran Cao Son; Paolo Torroni; Stefan Woltran (Argument Comput., 2015)

On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (CoRR, 2015)

Towards Efficient Evolving Multi-Context Systems (Preliminary Report). - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (CoRR, 2015)

You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (ECAI, 2016)

On Some Properties of Forgetting in ASP. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (DARe@ECAI, 2016)

Towards Inconsistency Management in Reactive Multi-Context Systems. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (DARe@ECAI, 2016)

Forgetting in ASP: The Forgotten Properties. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (JELIA, 2016)

Inconsistency Management in Reactive Multi-context Systems. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (JELIA, 2016)

The Ultimate Guide to Forgetting in Answer Set Programming. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (KR, 2016)

Iterative Variable Elimination in ASP. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (EPIA, 2017)

Efficient Reasoning with Rules and Ontologies. - João Leite 001 (ICAART (1), 2017)

A Bird's-Eye View of Forgetting in Answer-Set Programming. - João Leite 001 (LPNMR, 2017)

NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. - Carlos Lopes; Matthias Knorr 001; João Leite 001 (LPNMR, 2017)

moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. - Orkunt Sabuncu; João Leite 001 (LPNMR, 2017)

A note on the uniqueness of models in social abstract argumentation. - Leila Amgoud; Elise Bonzon; Marco Correia; Jorge Cruz 001; Jérôme Delobelle; Sébastien Konieczny; João Leite 001; Alexis Martin; Nicolas Maudet; Srdjan Vesic (CoRR, 2017)

Exception-Based Knowledge Updates. - Martin Slota; João Leite 001 (CoRR, 2017)

When you must forget: Beyond strong persistence when forgetting in answer set programming. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Stefan Woltran (Theory Pract. Log. Program., 2017)

Variable Elimination for DLP-Functions. - Ricardo Gonçalves 001; Tomi Janhunen; Matthias Knorr 001; João Leite 001; Stefan Woltran (KR, 2018)

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (Artif. Intell., 2018)

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). - João Leite 001; Tran Cao Son; Paolo Torroni; Stefan Woltran (J. Log. Comput., 2018)

Forgetting in Modular Answer Set Programming. - Ricardo Gonçalves 001; Tomi Janhunen; Matthias Knorr 001; João Leite 001; Stefan Woltran (AAAI, 2019)

Forgetting in Answer Set Programming with Anonymous Cycles. - Matti Berthold; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (EPIA (2), 2019)

Telco Network Inventory Validation with NoHR. - Vedran Kasalica; Ioannis Gerochristos; José Júlio Alferes; Ana Sofia Gomes; Matthias Knorr 001; João Leite 001 (LPNMR, 2019)

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. - João G. Martins; André Platzer; João Leite 001 (TABLEAUX, 2019)

A Syntactic Operator for Forgetting that Satisfies Strong Persistence. - Matti Berthold; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (Theory Pract. Log. Program., 2019)

On the limits of forgetting in Answer Set Programming. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Stefan Woltran (Artif. Intell., 2020)

Explainable Abstract Trains Dataset. - Manuel de Sousa Ribeiro; Ludwig Krippahl; João Leite 001 (CoRR, 2020)

NoHR: An Overview. - Vedran Kasalica; Matthias Knorr 001; João Leite 001; Carlos Lopes (Künstliche Intell., 2020)

Aligning Artificial Neural Networks and Ontologies towards Explainable AI. - Manuel de Sousa Ribeiro; João Leite 001 (AAAI, 2021)

Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. - Ricardo Ferreira; Carolina Lopes; Ricardo Gonçalves 001; Matthias Knorr 001; Ludwig Krippahl; João Leite 001 (EPIA, 2021)

Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. - João Ferreira; Diogo Lavado; Ricardo Gonçalves 001; Matthias Knorr 001; Ludwig Krippahl; João Leite 001 (EPIA, 2021)

On Syntactic Forgetting Under Uniform Equivalence. - Ricardo Gonçalves 001; Tomi Janhunen; Matthias Knorr 001; João Leite 001 (JELIA, 2021)

Tractable Reasoning Using Logic Programs with Intensional Concepts. - Jesse Heyninck; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (JELIA, 2021)

Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. - João Ferreira; Manuel de Sousa Ribeiro; Ricardo Gonçalves 001; João Leite 001 (KR, 2022)

Towards Provenance in Heterogeneous Knowledge Bases. - Matthias Knorr 001; Carlos Viegas Damásio; Ricardo Gonçalves 001; João Leite 001 (LPNMR, 2022)

Revising Boolean Logical Models of Biological Regulatory Networks. - Frederico Aleixo; Matthias Knorr 001; João Leite 001 (KR, 2023)

On Modifying a Neural Network's Perception. - Manuel de Sousa Ribeiro; João Leite 001 (CoRR, 2023)

Forgetting in Answer Set Programming - A Survey. - Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001 (Theory Pract. Log. Program., 2023)

A Brief History of Updates of Answer-Set Programs. - João Leite 001; Martin Slota (Theory Pract. Log. Program., 2023)

On Abstracting over the Irrelevant in Answer Set Programming. - Zeynep G. Saribatur; Matthias Knorr 001; Ricardo Gonçalves 001; João Leite 001 (KR, 2024)

Abstract Dialectical Frameworks are Boolean Networks. - Jesse Heyninck; Matthias Knorr 001; João Leite 001 (NMR, 2024)

Abstract Dialectical Frameworks are Boolean Networks (full version). - Jesse Heyninck; Matthias Knorr 001; João Leite 001 (CoRR, 2024)

On the Performance of Concept Probing: The Influence of the Data (Extended Version). - Manuel de Sousa Ribeiro; Afonso Leote; João Leite 001 (CoRR, 2025)

Concept Probing: Where to Find Human-Defined Concepts (Extended Version). - Manuel de Sousa Ribeiro; Afonso Leote; João Leite 001 (CoRR, 2025)