João Leite

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Towards provenance in heterogeneous knowledge bases	2023-04-04	Paper
Tractable reasoning using logic programs with intensional concepts	2021-12-01	Paper
On syntactic forgetting under uniform equivalence	2021-12-01	Paper
On the limits of forgetting in answer set programming	2020-11-16	Paper
Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems	2020-05-14	Paper
A syntactic operator for forgetting that satisfies strong persistence	2020-05-04	Paper
Telco network inventory validation with NoHR	2019-10-10	Paper
Equivalence of defeasible normative systems	2018-08-28	Paper
You can't always forget what you want: on the limits of forgetting in answer set programming	2018-07-12	Paper
Reactive multi-context systems: heterogeneous reasoning in dynamic environments	2018-05-11	Paper
When you must forget: Beyond strong persistence when forgetting in answer set programming	2017-11-08	Paper
Moviola: interpreting dynamic logic programs via multi-shot answer set programming	2017-09-05	Paper
A bird's-eye view of forgetting in answer-set programming	2017-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q5282995	2017-07-18	Paper
On the efficient implementation of social abstract argumentation	2017-07-18	Paper
Inconsistency Management in Reactive Multi-context Systems	2016-11-30	Paper
Forgetting in ASP: the forgotten properties	2016-11-30	Paper
On updates of hybrid knowledge bases composed of ontologies and rules	2015-12-22	Paper
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems	2015-01-19	Paper
The rise and fall of semantic rule updates based on SE-models	2014-12-10	Paper
Evolving bridge rules in evolving multi-context systems	2014-10-14	Paper
Extending social abstract argumentation with votes on attacks	2014-03-31	Paper
Non-monotonic temporal goals	2013-10-10	Paper
Early recovery in logic program updates	2013-10-10	Paper
Time is up! -- Norms with deadlines in action languages	2013-10-04	Paper
MKNF knowledge bases in multi-context systems	2012-09-21	Paper
A Unifying Perspective on Knowledge Updates	2012-09-21	Paper
Normative systems represented as hybrid knowledge bases	2011-09-16	Paper
Splitting and updating hybrid knowledge bases	2011-08-16	Paper
Back and Forth between Rules and SE-Models	2011-05-26	Paper
Evolving logic programs with temporal operators	2011-05-19	Paper
On semantic update operators for answer-set programs	2011-05-11	Paper
Towards closed world reasoning in dynamic open worlds	2010-08-19	Paper
Playing with rules	2010-02-02	Paper
EVOLP: An Implementation	2009-02-12	Paper
EVOLP: Tranformation-Based Semantics	2009-02-12	Paper
Adding Evolving Abilities to a Multi-Agent System	2009-01-20	Paper
A survey of programming languages and platforms for multi-agent systems	2006-04-06	Paper

Research outcomes over time

This page was built for person: João Leite