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
∙
06/02/2017
Exception-Based Knowledge Updates
Existing methods for dealing with knowledge updates differ greatly depen...
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