Search filters

List of works by João Alexandre Leite

A Language for Multi-dimensional Updates

scientific article published in October 2002

A Query Tool for $\mathcal{EL}$ with Non-monotonic Rules

scientific article published in 2013

Declarative Semantics for the Rule Interchange Format Production Rule Dialect

Evolving Bridge Rules in Evolving Multi-Context Systems

scientific article published in 2014

Forgetting in ASP: The Forgotten Properties

scientific article published in 2016

Inconsistency Management in Reactive Multi-context Systems

scientific article published in 2016

Iterative Variable Elimination in ASP

scientific article published in 2017

MKNF Knowledge Bases in Multi-Context Systems

scientific article published in 2012

Minimal Change in Evolving Multi-Context Systems

scientific article published in 2015

Multi-dimensional Dynamic Knowledge Representation

scientific article published in 2001

Next Step for NoHR: OWL 2 QL

scientific article published in 2015

NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond

scientific article published in 2017

NoHR: Querying EL with Non-monotonic Rules

scientific article published in proceedings of the iswc 2013 posters & demonstrations track

Non-monotonic Temporal Goals

scientific article published in 2013

Querying LUBM with Non-monotonic Features in Protege using NoHR

scientific article published in proceedings of the iswc 2015 posters & demonstrations track

Reasoning over Ontologies and Non-monotonic Rules

scientific article published in 2015

Time Is Up! – Norms with Deadlines in Action Languages

scientific article published in 2013