Matches in SemOpenAlex for { <https://semopenalex.org/work/W1526031460> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1526031460 abstract "In this paper, we study an abductive framework for disjunctive logic programming that provides a new way to understand negation in disjunctive logic programming. We show that the defined framework captures the existing minimal model semantics based on (Extended) Generalised Closed World Assumption ((E)GGWA), This relationship between abduction and minimal model reasoning provides a methodology to develop algorithms for minimal model reasoning. To demonstrate this, we show how a theorem prover, based on restart model elimination calculus, can be modified for abductive reasoning and thus for minimal model reasoning." @default.
- W1526031460 created "2016-06-24" @default.
- W1526031460 creator A5034386390 @default.
- W1526031460 date "1996-01-01" @default.
- W1526031460 modified "2023-09-25" @default.
- W1526031460 title "An abductive framework for negation in disjunctive logic programming" @default.
- W1526031460 cites W1524811847 @default.
- W1526031460 cites W1965184317 @default.
- W1526031460 cites W1967701834 @default.
- W1526031460 cites W1980131378 @default.
- W1526031460 cites W1987005090 @default.
- W1526031460 cites W2004352874 @default.
- W1526031460 cites W2008294142 @default.
- W1526031460 cites W2058656940 @default.
- W1526031460 cites W2087432892 @default.
- W1526031460 cites W2090093170 @default.
- W1526031460 cites W2505983251 @default.
- W1526031460 cites W2557892554 @default.
- W1526031460 cites W4206370914 @default.
- W1526031460 cites W4301968143 @default.
- W1526031460 doi "https://doi.org/10.1007/3-540-61630-6_18" @default.
- W1526031460 hasPublicationYear "1996" @default.
- W1526031460 type Work @default.
- W1526031460 sameAs 1526031460 @default.
- W1526031460 citedByCount "10" @default.
- W1526031460 crossrefType "book-chapter" @default.
- W1526031460 hasAuthorship W1526031460A5034386390 @default.
- W1526031460 hasConcept C127001435 @default.
- W1526031460 hasConcept C128838566 @default.
- W1526031460 hasConcept C154945302 @default.
- W1526031460 hasConcept C156325763 @default.
- W1526031460 hasConcept C159032336 @default.
- W1526031460 hasConcept C166088908 @default.
- W1526031460 hasConcept C182620335 @default.
- W1526031460 hasConcept C184337299 @default.
- W1526031460 hasConcept C195344581 @default.
- W1526031460 hasConcept C199360897 @default.
- W1526031460 hasConcept C206880738 @default.
- W1526031460 hasConcept C2185349 @default.
- W1526031460 hasConcept C41008148 @default.
- W1526031460 hasConcept C62360110 @default.
- W1526031460 hasConcept C80444323 @default.
- W1526031460 hasConceptScore W1526031460C127001435 @default.
- W1526031460 hasConceptScore W1526031460C128838566 @default.
- W1526031460 hasConceptScore W1526031460C154945302 @default.
- W1526031460 hasConceptScore W1526031460C156325763 @default.
- W1526031460 hasConceptScore W1526031460C159032336 @default.
- W1526031460 hasConceptScore W1526031460C166088908 @default.
- W1526031460 hasConceptScore W1526031460C182620335 @default.
- W1526031460 hasConceptScore W1526031460C184337299 @default.
- W1526031460 hasConceptScore W1526031460C195344581 @default.
- W1526031460 hasConceptScore W1526031460C199360897 @default.
- W1526031460 hasConceptScore W1526031460C206880738 @default.
- W1526031460 hasConceptScore W1526031460C2185349 @default.
- W1526031460 hasConceptScore W1526031460C41008148 @default.
- W1526031460 hasConceptScore W1526031460C62360110 @default.
- W1526031460 hasConceptScore W1526031460C80444323 @default.
- W1526031460 hasLocation W15260314601 @default.
- W1526031460 hasOpenAccess W1526031460 @default.
- W1526031460 hasPrimaryLocation W15260314601 @default.
- W1526031460 hasRelatedWork W1505787149 @default.
- W1526031460 hasRelatedWork W1509246413 @default.
- W1526031460 hasRelatedWork W1524811847 @default.
- W1526031460 hasRelatedWork W1557631107 @default.
- W1526031460 hasRelatedWork W1583427059 @default.
- W1526031460 hasRelatedWork W1586012806 @default.
- W1526031460 hasRelatedWork W2023070772 @default.
- W1526031460 hasRelatedWork W2030454431 @default.
- W1526031460 hasRelatedWork W2078253420 @default.
- W1526031460 hasRelatedWork W2078711049 @default.
- W1526031460 hasRelatedWork W2088175080 @default.
- W1526031460 hasRelatedWork W2090093170 @default.
- W1526031460 hasRelatedWork W2110239019 @default.
- W1526031460 hasRelatedWork W2153530522 @default.
- W1526031460 hasRelatedWork W2167440926 @default.
- W1526031460 hasRelatedWork W2411085520 @default.
- W1526031460 hasRelatedWork W2548530381 @default.
- W1526031460 hasRelatedWork W2552926189 @default.
- W1526031460 hasRelatedWork W2912282119 @default.
- W1526031460 hasRelatedWork W32456035 @default.
- W1526031460 isParatext "false" @default.
- W1526031460 isRetracted "false" @default.
- W1526031460 magId "1526031460" @default.
- W1526031460 workType "book-chapter" @default.