The ultimate guide to forgetting in answer set programming

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Citations (Scopus)

Abstract

Many approaches for forgetting in Answer Set Programming (ASP) have been proposed in recent years, in the form of specific operators, or classes of operators, following different principles and obeying different properties. Whereas each approach was developed to somehow address some particular view on forgetting, thus aimed at obeying a specific set of properties deemed adequate for such view, we are lacking a comprehensive and uniform overview of existing operators and properties. We aim at overcoming this by thoroughly examining existing properties and (classes of) operators for forgetting in ASP, drawing a complete picture, which includes many novel (even surprising) results on relations between properties and operators. Our goal is to provide a guide to help users in choosing the most adequate operator for their application requirements.

Original languageEnglish
Title of host publicationPrinciples of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
EditorsJ. Delgrande, C. Baral , F. Wolter
PublisherAAAI Press
Pages135-144
Number of pages10
Publication statusPublished - 2016
Event15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 - Cape Town, South Africa
Duration: 25 Apr 201629 Apr 2016

Conference

Conference15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016
CountrySouth Africa
CityCape Town
Period25/04/1629/04/16

Keywords

  • Knowledge representation

Fingerprint Dive into the research topics of 'The ultimate guide to forgetting in answer set programming'. Together they form a unique fingerprint.

Cite this