research
∙
03/05/2023
On Modifying a Neural Network's Perception
Artificial neural networks have proven to be extremely useful models tha...
share
research
∙
12/27/2021
A Brief History of Updates of Answer-Set Programs
Over the last couple of decades, there has been a considerable effort de...
research
∙
07/14/2021
Forgetting in Answer Set Programming – A Survey
Forgetting - or variable elimination - is an operation that allows the r...
research
∙
06/15/2021
Faster than LASER – Towards Stream Reasoning with Deep Neural Networks
With the constant increase of available data in various domains, such as...
research
∙
06/15/2021
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL
The amount of information produced, whether by newspapers, blogs and soc...
research
∙
12/15/2020
Explainable Abstract Trains Dataset
The Explainable Abstract Trains Dataset is an image dataset containing s...
research
∙
07/29/2019
A Syntactic Operator for Forgetting that Satisfies Strong Persistence
Whereas the operation of forgetting has recently seen a considerable amo...
research
∙
07/17/2017
When You Must Forget: beyond strong persistence when forgetting in answer set programming
Among the myriad of desirable properties discussed in the context of for...
research
∙
06/02/2017
Exception-Based Knowledge Updates
Existing methods for dealing with knowledge updates differ greatly depen...
research
∙
05/09/2017
A note on the uniqueness of models in social abstract argumentation
Social abstract argumentation is a principled way to assign values to co...
research
∙
09/12/2016
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Managed multi-context systems (mMCSs) allow for the integration of heter...
research
∙
05/20/2015
Towards Efficient Evolving Multi-Context Systems (Preliminary Report)
Managed Multi-Context Systems (mMCSs) provide a general framework for in...
research
∙
05/20/2015
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report)
Managed Multi-Context Systems (mMCSs) provide a general framework for in...
research
∙
04/27/2014
On Strong and Default Negation in Logic Program Updates (Extended Version)
Existing semantics for answer-set program updates fall into two categori...
research
∙
06/17/2013
The Rise and Fall of Semantic Rule Updates Based on SE-Models
Logic programs under the stable model semantics, or answer-set programs,...
research
∙
05/02/2011
Splitting and Updating Hybrid Knowledge Bases (Extended Version)
Over the years, nonmonotonic rules have proven to be a very expressive a...
research
∙
02/26/2011
Back and Forth Between Rules and SE-Models (Extended Version)
Rules in logic programming encode information about mutual interdependen...
research
∙
04/25/2010