Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046191606> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2046191606 endingPage "205" @default.
- W2046191606 startingPage "175" @default.
- W2046191606 abstract "A long outstanding problem for abduction in logic programming has been on how minimality might be defined. Without minimality, an abductive procedure is often required to generate exponentially many subsumed explanations for a given observation. In this paper, we propose a new definition of abduction in logic programming where the set of minimal explanations can be viewed as a succinct representation of the set of all explanations. We then propose an abductive procedure where the problem of generating explanations is formalized as rewriting with confluent and terminating rewrite systems. We show that these rewrite systems are sound and complete under the partial stable model semantics, and sound and complete under the answer set semantics when the underlying program is so-called odd-loop free. We discuss an application of abduction in logic programming to a problem in reasoning about actions and provide some experimental results." @default.
- W2046191606 created "2016-06-24" @default.
- W2046191606 creator A5072151614 @default.
- W2046191606 creator A5089419141 @default.
- W2046191606 date "2002-09-01" @default.
- W2046191606 modified "2023-10-01" @default.
- W2046191606 title "Abduction in logic programming: A new definition and an abductive procedure based on rewriting" @default.
- W2046191606 cites W1967802770 @default.
- W2046191606 cites W1970598347 @default.
- W2046191606 cites W1979101142 @default.
- W2046191606 cites W1988827098 @default.
- W2046191606 cites W2005752553 @default.
- W2046191606 cites W2011124182 @default.
- W2046191606 cites W2022472812 @default.
- W2046191606 cites W2024943265 @default.
- W2046191606 cites W2039985169 @default.
- W2046191606 cites W2069453418 @default.
- W2046191606 cites W2069972706 @default.
- W2046191606 cites W2071787143 @default.
- W2046191606 cites W2076698873 @default.
- W2046191606 cites W2078139775 @default.
- W2046191606 cites W2152131859 @default.
- W2046191606 doi "https://doi.org/10.1016/s0004-3702(02)00227-8" @default.
- W2046191606 hasPublicationYear "2002" @default.
- W2046191606 type Work @default.
- W2046191606 sameAs 2046191606 @default.
- W2046191606 citedByCount "28" @default.
- W2046191606 countsByYear W20461916062013 @default.
- W2046191606 countsByYear W20461916062014 @default.
- W2046191606 countsByYear W20461916062015 @default.
- W2046191606 countsByYear W20461916062016 @default.
- W2046191606 countsByYear W20461916062017 @default.
- W2046191606 countsByYear W20461916062019 @default.
- W2046191606 crossrefType "journal-article" @default.
- W2046191606 hasAuthorship W2046191606A5072151614 @default.
- W2046191606 hasAuthorship W2046191606A5089419141 @default.
- W2046191606 hasBestOaLocation W20461916061 @default.
- W2046191606 hasConcept C127001435 @default.
- W2046191606 hasConcept C128838566 @default.
- W2046191606 hasConcept C154690210 @default.
- W2046191606 hasConcept C154945302 @default.
- W2046191606 hasConcept C156325763 @default.
- W2046191606 hasConcept C159032336 @default.
- W2046191606 hasConcept C166088908 @default.
- W2046191606 hasConcept C177264268 @default.
- W2046191606 hasConcept C182620335 @default.
- W2046191606 hasConcept C184337299 @default.
- W2046191606 hasConcept C199360897 @default.
- W2046191606 hasConcept C33923547 @default.
- W2046191606 hasConcept C41008148 @default.
- W2046191606 hasConcept C62360110 @default.
- W2046191606 hasConcept C80444323 @default.
- W2046191606 hasConceptScore W2046191606C127001435 @default.
- W2046191606 hasConceptScore W2046191606C128838566 @default.
- W2046191606 hasConceptScore W2046191606C154690210 @default.
- W2046191606 hasConceptScore W2046191606C154945302 @default.
- W2046191606 hasConceptScore W2046191606C156325763 @default.
- W2046191606 hasConceptScore W2046191606C159032336 @default.
- W2046191606 hasConceptScore W2046191606C166088908 @default.
- W2046191606 hasConceptScore W2046191606C177264268 @default.
- W2046191606 hasConceptScore W2046191606C182620335 @default.
- W2046191606 hasConceptScore W2046191606C184337299 @default.
- W2046191606 hasConceptScore W2046191606C199360897 @default.
- W2046191606 hasConceptScore W2046191606C33923547 @default.
- W2046191606 hasConceptScore W2046191606C41008148 @default.
- W2046191606 hasConceptScore W2046191606C62360110 @default.
- W2046191606 hasConceptScore W2046191606C80444323 @default.
- W2046191606 hasIssue "1-2" @default.
- W2046191606 hasLocation W20461916061 @default.
- W2046191606 hasOpenAccess W2046191606 @default.
- W2046191606 hasPrimaryLocation W20461916061 @default.
- W2046191606 hasRelatedWork W1485855639 @default.
- W2046191606 hasRelatedWork W1511110679 @default.
- W2046191606 hasRelatedWork W1517451538 @default.
- W2046191606 hasRelatedWork W1598230960 @default.
- W2046191606 hasRelatedWork W2046191606 @default.
- W2046191606 hasRelatedWork W2124627636 @default.
- W2046191606 hasRelatedWork W2130003285 @default.
- W2046191606 hasRelatedWork W2176973685 @default.
- W2046191606 hasRelatedWork W2256886837 @default.
- W2046191606 hasRelatedWork W227147738 @default.
- W2046191606 hasVolume "140" @default.
- W2046191606 isParatext "false" @default.
- W2046191606 isRetracted "false" @default.
- W2046191606 magId "2046191606" @default.
- W2046191606 workType "article" @default.