4 citations · 6 across the 5 of their papers we have counts for
5 papers · 1 filter
A Brief History of Updates of Answer-Set Programs
João Leite, Martin Slota
Over the last couple of decades, there has been a considerable effort devoted to the problem of updating logic programs under the stable model semantics (a.k.a. answer-set programs…
Exception-Based Knowledge Updates
Martin Slota, Joao Leite
Existing methods for dealing with knowledge updates differ greatly depending on the underlying knowledge representation formalism. When Classical Logic is used, updates are typical…
On Strong and Default Negation in Logic Program Updates (Extended Version)
Martin Slota, Martin Baláz, João Leite
Existing semantics for answer-set program updates fall into two categories: either they consider only strong negation in heads of rules, or they primarily rely on default negation…
Back and Forth Between Rules and SE-Models (Extended Version)
Martin Slota, João Leite
Rules in logic programming encode information about mutual interdependencies between literals that is not captured by any of the commonly used semantics. This information becomes e…
Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)
Martin Slota, João Leite
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this pr…