Forgetting in ASP: The Forgotten Properties

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 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. A recently published comprehensive overview of existing operators and properties provided a uniform picture of the landscape, including many novel (even surprising) results on relations between properties and operators. Yet, this overview largely missed an additional set properties for forgetting, proposed by Wong, and this paper aims to close this gap. It turns out that, while some of these properties are closely related to the properties previously studied, four of them are distinct providing novel results and insights, further strengthening established relations between existing operators. © Springer International Publishing AG 2016.
Original languageEnglish
Title of host publicationLOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016)
EditorsL. Michael, A. Kakas
Place of PublicationCham
PublisherSpringer International Publishing
Pages543-550
ISBN (Electronic)978-3-319-48758-8
ISBN (Print)978-3-319-48757-1
DOIs
Publication statusPublished - 2016
Event15th European Conference on Logics in Artificial Intelligence (JELIA) - Larnaca, Cyprus
Duration: 9 Nov 201611 Nov 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume10021
ISSN (Print)0302-9743

Conference

Conference15th European Conference on Logics in Artificial Intelligence (JELIA)
CountryCyprus
City Larnaca
Period9/11/1611/11/16

Keywords

  • KNOWLEDGE BASES
  • LOGIC PROGRAMS
  • ONTOLOGIES

Cite this