Search Results for author:
Found 1 papers, 0 papers with code
On Strong and Default Negation in Logic Program Updates (Extended Version)
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 in heads of rules and optionally provide support for strong negation by means of a syntactic transformation.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
