João Leite

Orcid: 0000-0001-6786-7360

Affiliations:
  • Universidade Nova de Lisboa, Department of Computer Science


According to our database1, João Leite authored at least 124 papers between 1997 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Brief History of Updates of Answer-Set Programs.
Theory Pract. Log. Program., 2023

Forgetting in Answer Set Programming - A Survey.
Theory Pract. Log. Program., 2023

On Modifying a Neural Network's Perception.
CoRR, 2023

Revising Boolean Logical Models of Biological Regulatory Networks.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022
Towards Provenance in Heterogeneous Knowledge Bases.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Looking Inside the Black-Box: Logic-based Explanations for Neural Networks.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021
Tractable Reasoning Using Logic Programs with Intensional Concepts.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

On Syntactic Forgetting Under Uniform Equivalence.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks.
Proceedings of the Progress in Artificial Intelligence, 2021

Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL.
Proceedings of the Progress in Artificial Intelligence, 2021

Aligning Artificial Neural Networks and Ontologies towards Explainable AI.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
NoHR: An Overview.
Künstliche Intell., 2020

Explainable Abstract Trains Dataset.
CoRR, 2020

On the limits of forgetting in Answer Set Programming.
Artif. Intell., 2020

2019
A Syntactic Operator for Forgetting that Satisfies Strong Persistence.
Theory Pract. Log. Program., 2019

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Telco Network Inventory Validation with NoHR.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Forgetting in Answer Set Programming with Anonymous Cycles.
Proceedings of the Progress in Artificial Intelligence, 2019

Forgetting in Modular Answer Set Programming.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV).
J. Log. Comput., 2018

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.
Artif. Intell., 2018

Variable Elimination for DLP-Functions.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017
When you must forget: Beyond strong persistence when forgetting in answer set programming.
Theory Pract. Log. Program., 2017

Exception-Based Knowledge Updates.
CoRR, 2017

A note on the uniqueness of models in social abstract argumentation.
CoRR, 2017

moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

A Bird's-Eye View of Forgetting in Answer-Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Efficient Reasoning with Rules and Ontologies.
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017

Iterative Variable Elimination in ASP.
Proceedings of the Progress in Artificial Intelligence, 2017

2016
The Ultimate Guide to Forgetting in Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Inconsistency Management in Reactive Multi-context Systems.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Forgetting in ASP: The Forgotten Properties.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Towards Inconsistency Management in Reactive Multi-Context Systems.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

On Some Properties of Forgetting in ASP.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
Towards Efficient Evolving Multi-Context Systems (Preliminary Report).
CoRR, 2015

On Minimal Change in Evolving Multi-Context Systems (Preliminary Report).
CoRR, 2015

Applications of logical approaches to argumentation.
Argument Comput., 2015

On updates of hybrid knowledge bases composed of ontologies and rules.
Artif. Intell., 2015

Querying LUBM with Non-monotonic Features in Protege using NoHR.
Proceedings of the ISWC 2015 Posters & Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC-2015), 2015

Next Step for NoHR: OWL 2 QL.
Proceedings of the Semantic Web - ISWC 2015, 2015

Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Efficient Paraconsistent Reasoning with Ontologies and Rules.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Extending NoHR for OWL 2 QL.
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Reasoning over Ontologies and Non-monotonic Rules.
Proceedings of the Progress in Artificial Intelligence, 2015

Minimal Change in Evolving Multi-Context Systems.
Proceedings of the Progress in Artificial Intelligence, 2015

Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract).
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
The rise and fall of semantic rule updates based on SE-models.
Theory Pract. Log. Program., 2014

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII).
J. Log. Comput., 2014

What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems.
J. Log. Comput., 2014

On Strong and Default Negation in Logic Program Updates (Extended Version).
CoRR, 2014

On Efficient Evolving Multi-Context Systems.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

On Supporting Strong and Default Negation in Answer-Set Program Updates.
Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2014, 2014

Evolving Multi-Context Systems.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

On the Efficient Implementation of Social Abstract Argumentation.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Evolving Bridge Rules in Evolving Multi-Context Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 2014

2013
Equivalence of defeasible normative systems.
J. Appl. Non Class. Logics, 2013

Extending Social Abstract Argumentation with Votes on Attacks.
Proceedings of the Theory and Applications of Formal Argumentation, 2013

A Query Tool for <i>EL</i> with Non-monotonic Rules.
Proceedings of the Semantic Web - ISWC 2013, 2013

NoHR: Querying EL with Non-monotonic Rules.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Early Recovery in Logic Program Updates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Non-monotonic Temporal Goals.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

On Condensing a Sequence of Updates in Answer-Set Programming.
Proceedings of the IJCAI 2013, 2013

Time Is Up! - Norms with Deadlines in Action Languages.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012
Robust Equivalence Models for Semantic Updates of Answer-Set Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

A Unifying Perspective on Knowledge Updates.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

MKNF Knowledge Bases in Multi-Context Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012

Normative systems require hybrid knowledge bases.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Splitting and updating hybrid knowledge bases.
Theory Pract. Log. Program., 2011

Splitting and Updating Hybrid Knowledge Bases (Extended Version)
CoRR, 2011

Back and Forth Between Rules and SE-Models (Extended Version)
CoRR, 2011

Preface to the special issue on computational logics in multi-agent systems.
Ann. Math. Artif. Intell., 2011

Back and Forth between Rules and SE-Models.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Social Abstract Argumentation.
Proceedings of the IJCAI 2011, 2011

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications.
Proceedings of the Formal Methods and Software Engineering, 2011

Normative Systems Represented as Hybrid Knowledge Bases.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Evolving Logic Programs with Temporal Operators.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
Towards closed world reasoning in dynamic open worlds.
Theory Pract. Log. Program., 2010

Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)
CoRR, 2010

Declarative Semantics for the Rule Interchange Format Production Rule Dialect.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

On Semantic Update Operators for Answer-Set Programs.
Proceedings of the ECAI 2010, 2010

2009
ERASP - a system for enhancing recommendations using answer-set programming.
Int. J. Reason. based Intell. Syst., 2009

Introductory Essay of LADS'009.
Proceedings of the Second Multi-Agent Logics, 2009

A Logic Programming System for Evolving Programs with Temporal Operators.
Proceedings of the Progress in Artificial Intelligence, 2009

Playing with Rules.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Resource allocation with answer-set programming.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System.
Proceedings of the Advances in Artificial Intelligence, 2008

Evolving Logic Programming Based Agents with Temporal Operators.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2008

Non-Markovian Agent Evolution with EVOLP.
Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

2007
Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004.
J. Appl. Log., 2007

Answer-Set Programming Based Dynamic User Modeling for Recommender Systems.
Proceedings of the Progress in Artificial Intelligence, 2007

EVOLP: An Implementation.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

EVOLP: Tranformation-Based Semantics.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2006
A Survey of Programming Languages and Platforms for Multi-Agent Systems.
Informatica (Slovenia), 2006

Adding Knowledge Updates to 3APL.
Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

A Dynamic Logic Programming Based System for Agents with Declarative Goals.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Adding Evolving Abilities to a Multi-Agent System.
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

2005
The Refined Extension Principle for Semantics of Dynamic Logic Programming.
Stud Logica, 2005

2004
Introduction.
Ann. Math. Artif. Intell., 2004

Semantics for Dynamic Logic Programming: A Principle-Based Approach.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

On Some Differences Between Semantics of Logic Program Updates.
Proceedings of the Advances in Artificial Intelligence, 2004

2003
An Evolvable Rule-Based E-mail Agent.
Proceedings of the Progress in Artificial Intelligence, 2003

Logic Programming for Evolving Agents.
Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003

An Evolving Agent with EVOLP.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
A Language for Multi-dimensional Updates.
Proceedings of the Computational Logic in Multi-Agent Systems, 2002

Preface.
Proceedings of the Computational Logic in Multi-Agent Systems, 2002

Evolving Logic Programs.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

A Language for Updates with Multiple Dimensions.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001
Multi-dimensional Dynamic Knowledge Representation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Computing Environment-Aware Agent Behaviours with Logic Program Updates.
Proceedings of the Logic Based Program Synthesis and Transformation, 2001

On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints.
Proceedings of the Progress in Artificial Intelligence, 2001

A Modified Semantics for LUPS.
Proceedings of the Progress in Artificial Intelligence, 2001

Evolving Multi-agent Viewpoints - an Architecture.
Proceedings of the Progress in Artificial Intelligence, 2001

MINERVA - A Dynamic Logic Programming Agent Architecture.
Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

Combining societal agents' knowledge.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
Dynamic updates of non-monotonic knowledge bases.
J. Log. Program., 2000

Multi-dimensional Dynamic Logic Programming.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999
Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming.
Proceedings of the Progress in Artificial Intelligence, 1999

Hypotethical Reasoning: an application to Optical Music Recognition.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Iterated Logic Program Updates.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Dynamic Logic Programming.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
Generalizing Updates: From Models to Programs.
Proceedings of the Logic Programming and Knowledge Representation, 1997


  Loading...