Matches in SemOpenAlex for { <https://semopenalex.org/work/W201844188> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W201844188 endingPage "302" @default.
- W201844188 startingPage "291" @default.
- W201844188 abstract "Normal proof procedures in abductive logic programming assume that a given program does not change until the proof is completed. However, while a proof is being constructed, new knowledge which affects the proof might be acquired. This paper addresses two important issues: 1. How is it confirmed that the proof being constructed is not affected by the addition of a clause? 2. If affected, how are the invalid parts of the proof restored? The abductive proof procedure used in this paper is Kakas and Mancarella's procedure and is extended to prepare for proof checking and proof restoration. It is shown that any invalid part of a proof can be restored if some additional goals are solved. These additional goals can be added before a proof is completed." @default.
- W201844188 created "2016-06-24" @default.
- W201844188 creator A5053714919 @default.
- W201844188 date "1998-01-01" @default.
- W201844188 modified "2023-09-26" @default.
- W201844188 title "Knowledge assimilation and proof restoration through the addition of goals" @default.
- W201844188 cites W1497293019 @default.
- W201844188 cites W1527767420 @default.
- W201844188 cites W1976303542 @default.
- W201844188 cites W2004440855 @default.
- W201844188 cites W2147096558 @default.
- W201844188 cites W2772521659 @default.
- W201844188 cites W2911252687 @default.
- W201844188 doi "https://doi.org/10.1007/bfb0057453" @default.
- W201844188 hasPublicationYear "1998" @default.
- W201844188 type Work @default.
- W201844188 sameAs 201844188 @default.
- W201844188 citedByCount "2" @default.
- W201844188 crossrefType "book-chapter" @default.
- W201844188 hasAuthorship W201844188A5053714919 @default.
- W201844188 hasConcept C111919701 @default.
- W201844188 hasConcept C124978682 @default.
- W201844188 hasConcept C138885662 @default.
- W201844188 hasConcept C39432304 @default.
- W201844188 hasConcept C41008148 @default.
- W201844188 hasConcept C41895202 @default.
- W201844188 hasConcept C75649859 @default.
- W201844188 hasConceptScore W201844188C111919701 @default.
- W201844188 hasConceptScore W201844188C124978682 @default.
- W201844188 hasConceptScore W201844188C138885662 @default.
- W201844188 hasConceptScore W201844188C39432304 @default.
- W201844188 hasConceptScore W201844188C41008148 @default.
- W201844188 hasConceptScore W201844188C41895202 @default.
- W201844188 hasConceptScore W201844188C75649859 @default.
- W201844188 hasLocation W2018441881 @default.
- W201844188 hasOpenAccess W201844188 @default.
- W201844188 hasPrimaryLocation W2018441881 @default.
- W201844188 hasRelatedWork W1514660789 @default.
- W201844188 hasRelatedWork W1581236117 @default.
- W201844188 hasRelatedWork W2066326365 @default.
- W201844188 hasRelatedWork W2090465512 @default.
- W201844188 hasRelatedWork W2140788736 @default.
- W201844188 hasRelatedWork W2899084033 @default.
- W201844188 hasRelatedWork W3118359659 @default.
- W201844188 hasRelatedWork W3130161743 @default.
- W201844188 hasRelatedWork W4284892069 @default.
- W201844188 hasRelatedWork W4306398691 @default.
- W201844188 isParatext "false" @default.
- W201844188 isRetracted "false" @default.
- W201844188 magId "201844188" @default.
- W201844188 workType "book-chapter" @default.