Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898772359> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2898772359 endingPage "51" @default.
- W2898772359 startingPage "42" @default.
- W2898772359 abstract "Abstraction is a well-known approach to simplify a complex problem by over-approximating it with a deliberate loss of information. It was not considered so far in Answer Set Programming (ASP), a convenient tool for problem solving. We introduce a method to automatically abstract ASP programs that preserves their structure by reducing the vocabulary while ensuring an over-approximation (i.e., each original answer set maps to some abstract answer set). This allows for generating partial answer set candidates that can help with approximation of reasoning. Computing the abstract answer sets is intuitively easier due to a smaller search space, at the cost of encountering spurious answer sets. Faithful (non-spurious) abstractions may be used to represent projected answer sets and to guide solvers in answer set construction. For dealing with spurious answer sets, we employ an ASP debugging approach to help with abstraction refinement, which determines atoms as badly omitted and adds them back in the abstraction. As a show case, we apply abstraction to explain unsatisfiability of ASP programs in terms of blocker sets, which are the sets of atoms such that abstraction to them preserves unsatisfiability. Their usefulness is demonstrated by experimental results." @default.
- W2898772359 created "2018-11-09" @default.
- W2898772359 creator A5024232019 @default.
- W2898772359 creator A5082178480 @default.
- W2898772359 date "2018-01-01" @default.
- W2898772359 modified "2023-09-27" @default.
- W2898772359 title "Omission-Based Abstraction for Answer Set Programs." @default.
- W2898772359 hasPublicationYear "2018" @default.
- W2898772359 type Work @default.
- W2898772359 sameAs 2898772359 @default.
- W2898772359 citedByCount "2" @default.
- W2898772359 countsByYear W28987723592020 @default.
- W2898772359 countsByYear W28987723592021 @default.
- W2898772359 crossrefType "proceedings-article" @default.
- W2898772359 hasAuthorship W2898772359A5024232019 @default.
- W2898772359 hasAuthorship W2898772359A5082178480 @default.
- W2898772359 hasConcept C111472728 @default.
- W2898772359 hasConcept C119857082 @default.
- W2898772359 hasConcept C124304363 @default.
- W2898772359 hasConcept C138885662 @default.
- W2898772359 hasConcept C168065819 @default.
- W2898772359 hasConcept C177264268 @default.
- W2898772359 hasConcept C182620335 @default.
- W2898772359 hasConcept C199360897 @default.
- W2898772359 hasConcept C41008148 @default.
- W2898772359 hasConcept C80444323 @default.
- W2898772359 hasConcept C97256817 @default.
- W2898772359 hasConceptScore W2898772359C111472728 @default.
- W2898772359 hasConceptScore W2898772359C119857082 @default.
- W2898772359 hasConceptScore W2898772359C124304363 @default.
- W2898772359 hasConceptScore W2898772359C138885662 @default.
- W2898772359 hasConceptScore W2898772359C168065819 @default.
- W2898772359 hasConceptScore W2898772359C177264268 @default.
- W2898772359 hasConceptScore W2898772359C182620335 @default.
- W2898772359 hasConceptScore W2898772359C199360897 @default.
- W2898772359 hasConceptScore W2898772359C41008148 @default.
- W2898772359 hasConceptScore W2898772359C80444323 @default.
- W2898772359 hasConceptScore W2898772359C97256817 @default.
- W2898772359 hasLocation W28987723591 @default.
- W2898772359 hasOpenAccess W2898772359 @default.
- W2898772359 hasPrimaryLocation W28987723591 @default.
- W2898772359 hasRelatedWork W1538709216 @default.
- W2898772359 hasRelatedWork W1550020009 @default.
- W2898772359 hasRelatedWork W1588107453 @default.
- W2898772359 hasRelatedWork W201814071 @default.
- W2898772359 hasRelatedWork W2050680750 @default.
- W2898772359 hasRelatedWork W2156962871 @default.
- W2898772359 hasRelatedWork W2285416797 @default.
- W2898772359 hasRelatedWork W2289854974 @default.
- W2898772359 hasRelatedWork W2510852717 @default.
- W2898772359 hasRelatedWork W2776804019 @default.
- W2898772359 hasRelatedWork W2951471155 @default.
- W2898772359 hasRelatedWork W2963222651 @default.
- W2898772359 hasRelatedWork W2964023786 @default.
- W2898772359 hasRelatedWork W2964210039 @default.
- W2898772359 hasRelatedWork W3036025663 @default.
- W2898772359 hasRelatedWork W3093047347 @default.
- W2898772359 hasRelatedWork W3101458312 @default.
- W2898772359 hasRelatedWork W3103165021 @default.
- W2898772359 hasRelatedWork W3211219023 @default.
- W2898772359 hasRelatedWork W38786560 @default.
- W2898772359 isParatext "false" @default.
- W2898772359 isRetracted "false" @default.
- W2898772359 magId "2898772359" @default.
- W2898772359 workType "article" @default.