Matches in SemOpenAlex for { <https://semopenalex.org/work/W15652953> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W15652953 abstract "Abduction has been extensively studied in propositional logic because of its many applications in artificial intelligence. However, its intrinsic complexity has been a limitation to the implementation of abductive reasoning tools in more expressive logics. We have devised such a tool in ground flat equational logic, in which literals are equations or disequations between constants. Our tool is based on the computation of prime implicates. It uses a relaxed paramodulation calculus, designed to generate all prime implicates of a formula, together with a carefully defined data structure storing the implicates and able to efficiently detect, and remove, redundancies. In addition to a detailed description of this method, we present an analysis of some experimental results." @default.
- W15652953 created "2016-06-24" @default.
- W15652953 creator A5010578735 @default.
- W15652953 creator A5057556247 @default.
- W15652953 creator A5079985573 @default.
- W15652953 date "2013-08-03" @default.
- W15652953 modified "2023-09-27" @default.
- W15652953 title "An Approach to Abductive Reasoning in Equational Logic" @default.
- W15652953 cites W145128706 @default.
- W15652953 cites W1505068091 @default.
- W15652953 cites W1507112684 @default.
- W15652953 cites W1526521033 @default.
- W15652953 cites W1552596904 @default.
- W15652953 cites W1552843312 @default.
- W15652953 cites W1585533089 @default.
- W15652953 cites W1602903215 @default.
- W15652953 cites W16460774 @default.
- W15652953 cites W1790807402 @default.
- W15652953 cites W1973279396 @default.
- W15652953 cites W1991421635 @default.
- W15652953 cites W2014832702 @default.
- W15652953 cites W2038745317 @default.
- W15652953 cites W2047315525 @default.
- W15652953 cites W2097412459 @default.
- W15652953 cites W2144078201 @default.
- W15652953 cites W2167258402 @default.
- W15652953 cites W2337480916 @default.
- W15652953 cites W32130834 @default.
- W15652953 cites W37301688 @default.
- W15652953 cites W583799156 @default.
- W15652953 hasPublicationYear "2013" @default.
- W15652953 type Work @default.
- W15652953 sameAs 15652953 @default.
- W15652953 citedByCount "5" @default.
- W15652953 countsByYear W156529532015 @default.
- W15652953 countsByYear W156529532017 @default.
- W15652953 countsByYear W156529532018 @default.
- W15652953 crossrefType "proceedings-article" @default.
- W15652953 hasAuthorship W15652953A5010578735 @default.
- W15652953 hasAuthorship W15652953A5057556247 @default.
- W15652953 hasAuthorship W15652953A5079985573 @default.
- W15652953 hasBestOaLocation W156529531 @default.
- W15652953 hasConcept C154564781 @default.
- W15652953 hasConcept C154690210 @default.
- W15652953 hasConcept C154945302 @default.
- W15652953 hasConcept C159032336 @default.
- W15652953 hasConcept C166088908 @default.
- W15652953 hasConcept C199360897 @default.
- W15652953 hasConcept C41008148 @default.
- W15652953 hasConcept C97364631 @default.
- W15652953 hasConceptScore W15652953C154564781 @default.
- W15652953 hasConceptScore W15652953C154690210 @default.
- W15652953 hasConceptScore W15652953C154945302 @default.
- W15652953 hasConceptScore W15652953C159032336 @default.
- W15652953 hasConceptScore W15652953C166088908 @default.
- W15652953 hasConceptScore W15652953C199360897 @default.
- W15652953 hasConceptScore W15652953C41008148 @default.
- W15652953 hasConceptScore W15652953C97364631 @default.
- W15652953 hasLocation W156529531 @default.
- W15652953 hasLocation W156529532 @default.
- W15652953 hasLocation W156529533 @default.
- W15652953 hasOpenAccess W15652953 @default.
- W15652953 hasPrimaryLocation W156529531 @default.
- W15652953 hasRelatedWork W1526931790 @default.
- W15652953 hasRelatedWork W15652953 @default.
- W15652953 hasRelatedWork W165460335 @default.
- W15652953 hasRelatedWork W2060384184 @default.
- W15652953 hasRelatedWork W2072094307 @default.
- W15652953 hasRelatedWork W2726449882 @default.
- W15652953 hasRelatedWork W2734696120 @default.
- W15652953 hasRelatedWork W2793985749 @default.
- W15652953 hasRelatedWork W2794737734 @default.
- W15652953 hasRelatedWork W4300099046 @default.
- W15652953 isParatext "false" @default.
- W15652953 isRetracted "false" @default.
- W15652953 magId "15652953" @default.
- W15652953 workType "article" @default.