FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W207961124> ?p ?o ?g. }

• W207961124 endingPage "477" @default.
• W207961124 startingPage "472" @default.
• W207961124 abstract "We consider the problem of identifying equivalence of two knowledge bases which are capable of abductive reasoning. Here, a knowledge base is written in either first-order logic or nonmonotonic logic programming. In this work, we will give two definitions of abductive equivalence. The first one, explainable equivalence, requires that two abductive programs have the same explainability for any observation. Another one, explanatory equivalence, guarantees that any observation has exactly the same explanations in each abductive framework. Explanatory equivalence is a stronger notion than explainable equivalence. In first-order abduction, explainable equivalence can be verified by the notion of extensional equivalence in default theories. In nonmonotonic logic programs, explanatory equivalence can be checked by means of the notion of relative strong equivalence. We also show the complexity results for abductive equivalence." @default.
• W207961124 created "2016-06-24" @default.
• W207961124 creator A5072948790 @default.
• W207961124 creator A5080458729 @default.
• W207961124 date "2005-07-30" @default.
• W207961124 modified "2023-09-26" @default.
• W207961124 title "Equivalence in abductive logic" @default.
• W207961124 cites W14372084 @default.
• W207961124 cites W1552914076 @default.
• W207961124 cites W1579369115 @default.
• W207961124 cites W1600576559 @default.
• W207961124 cites W16194962 @default.
• W207961124 cites W173782181 @default.
• W207961124 cites W1776669836 @default.
• W207961124 cites W1985274317 @default.
• W207961124 cites W1997714358 @default.
• W207961124 cites W2020153579 @default.
• W207961124 cites W2022482529 @default.
• W207961124 cites W2035824165 @default.
• W207961124 cites W2067679576 @default.
• W207961124 cites W2076698873 @default.
• W207961124 cites W2088175080 @default.
• W207961124 cites W2100657934 @default.
• W207961124 cites W2108309071 @default.
• W207961124 cites W2155322595 @default.
• W207961124 cites W2772521659 @default.
• W207961124 cites W66135448 @default.
• W207961124 cites W81377374 @default.
• W207961124 cites W86882622 @default.
• W207961124 cites W1536527479 @default.
• W207961124 hasPublicationYear "2005" @default.
• W207961124 type Work @default.
• W207961124 sameAs 207961124 @default.
• W207961124 citedByCount "3" @default.
• W207961124 crossrefType "proceedings-article" @default.
• W207961124 hasAuthorship W207961124A5072948790 @default.
• W207961124 hasAuthorship W207961124A5080458729 @default.
• W207961124 hasConcept C102993220 @default.
• W207961124 hasConcept C118615104 @default.
• W207961124 hasConcept C136119220 @default.
• W207961124 hasConcept C136137745 @default.
• W207961124 hasConcept C151730666 @default.
• W207961124 hasConcept C154945302 @default.
• W207961124 hasConcept C159032336 @default.
• W207961124 hasConcept C160236029 @default.
• W207961124 hasConcept C166088908 @default.
• W207961124 hasConcept C202444582 @default.
• W207961124 hasConcept C203659156 @default.
• W207961124 hasConcept C2780069185 @default.
• W207961124 hasConcept C33923547 @default.
• W207961124 hasConcept C3845977 @default.
• W207961124 hasConcept C41008148 @default.
• W207961124 hasConcept C62360110 @default.
• W207961124 hasConcept C70846408 @default.
• W207961124 hasConcept C77928131 @default.
• W207961124 hasConcept C80444323 @default.
• W207961124 hasConcept C86803240 @default.
• W207961124 hasConceptScore W207961124C102993220 @default.
• W207961124 hasConceptScore W207961124C118615104 @default.
• W207961124 hasConceptScore W207961124C136119220 @default.
• W207961124 hasConceptScore W207961124C136137745 @default.
• W207961124 hasConceptScore W207961124C151730666 @default.
• W207961124 hasConceptScore W207961124C154945302 @default.
• W207961124 hasConceptScore W207961124C159032336 @default.
• W207961124 hasConceptScore W207961124C160236029 @default.
• W207961124 hasConceptScore W207961124C166088908 @default.
• W207961124 hasConceptScore W207961124C202444582 @default.
• W207961124 hasConceptScore W207961124C203659156 @default.
• W207961124 hasConceptScore W207961124C2780069185 @default.
• W207961124 hasConceptScore W207961124C33923547 @default.
• W207961124 hasConceptScore W207961124C3845977 @default.
• W207961124 hasConceptScore W207961124C41008148 @default.
• W207961124 hasConceptScore W207961124C62360110 @default.
• W207961124 hasConceptScore W207961124C70846408 @default.
• W207961124 hasConceptScore W207961124C77928131 @default.
• W207961124 hasConceptScore W207961124C80444323 @default.
• W207961124 hasConceptScore W207961124C86803240 @default.
• W207961124 hasLocation W2079611241 @default.
• W207961124 hasOpenAccess W207961124 @default.
• W207961124 hasPrimaryLocation W2079611241 @default.
• W207961124 hasRelatedWork W1519912472 @default.
• W207961124 hasRelatedWork W1552914076 @default.
• W207961124 hasRelatedWork W1602726442 @default.
• W207961124 hasRelatedWork W1643135166 @default.
• W207961124 hasRelatedWork W1985274317 @default.
• W207961124 hasRelatedWork W2000042161 @default.
• W207961124 hasRelatedWork W2034572172 @default.
• W207961124 hasRelatedWork W204153282 @default.
• W207961124 hasRelatedWork W2055430578 @default.
• W207961124 hasRelatedWork W2065726785 @default.
• W207961124 hasRelatedWork W2072094307 @default.
• W207961124 hasRelatedWork W2098123608 @default.
• W207961124 hasRelatedWork W2158693883 @default.
• W207961124 hasRelatedWork W2548211066 @default.
• W207961124 hasRelatedWork W31407229 @default.
• W207961124 hasRelatedWork W50624334 @default.
• W207961124 hasRelatedWork W52435515 @default.
• W207961124 hasRelatedWork W60507602 @default.

• next