Matches in SemOpenAlex for { <https://semopenalex.org/work/W1506104865> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1506104865 abstract "A major challenge in knowledge representation has been to devise reasoning mechanisms that are computationally feasible. The problem is that knowledge is usually incomplete and hence calls for very expressive representation languages like that of first-order logic, yet reasoning about incomplete knowledge is undecidable when based on classical logic. Over the past decade there have been several semantic approaches defining decidable forms of first-order reasoning. The computational gain, however, came at the price of losing too many useful inferences. In this work we take one of these existing weak reasoners and extend its power without losing decidability by moving from an unsorted to a sorted logic. In contrast to similar work by Frisch, we are not limited to formulas in a certain normal form and our approach extends to introspective reasoners as well." @default.
- W1506104865 created "2016-06-24" @default.
- W1506104865 creator A5005730180 @default.
- W1506104865 creator A5071916297 @default.
- W1506104865 date "1994-01-01" @default.
- W1506104865 modified "2023-10-17" @default.
- W1506104865 title "Enhancing the Power of a Decidable First-Order Reasoner" @default.
- W1506104865 cites W123640415 @default.
- W1506104865 cites W1503204116 @default.
- W1506104865 cites W1604517337 @default.
- W1506104865 cites W165299479 @default.
- W1506104865 cites W1913316099 @default.
- W1506104865 cites W1970861542 @default.
- W1506104865 cites W1991972474 @default.
- W1506104865 cites W2021693981 @default.
- W1506104865 cites W2023605209 @default.
- W1506104865 cites W2071500402 @default.
- W1506104865 cites W2164764666 @default.
- W1506104865 cites W2414735778 @default.
- W1506104865 cites W266965596 @default.
- W1506104865 cites W3144889436 @default.
- W1506104865 doi "https://doi.org/10.1016/b978-1-4832-1452-8.50133-0" @default.
- W1506104865 hasPublicationYear "1994" @default.
- W1506104865 type Work @default.
- W1506104865 sameAs 1506104865 @default.
- W1506104865 citedByCount "3" @default.
- W1506104865 crossrefType "book-chapter" @default.
- W1506104865 hasAuthorship W1506104865A5005730180 @default.
- W1506104865 hasAuthorship W1506104865A5071916297 @default.
- W1506104865 hasConcept C102993220 @default.
- W1506104865 hasConcept C153269930 @default.
- W1506104865 hasConcept C154945302 @default.
- W1506104865 hasConcept C159032336 @default.
- W1506104865 hasConcept C161301231 @default.
- W1506104865 hasConcept C17744445 @default.
- W1506104865 hasConcept C192034797 @default.
- W1506104865 hasConcept C195818886 @default.
- W1506104865 hasConcept C199539241 @default.
- W1506104865 hasConcept C2776359362 @default.
- W1506104865 hasConcept C41008148 @default.
- W1506104865 hasConcept C80444323 @default.
- W1506104865 hasConcept C94625758 @default.
- W1506104865 hasConcept C9616225 @default.
- W1506104865 hasConceptScore W1506104865C102993220 @default.
- W1506104865 hasConceptScore W1506104865C153269930 @default.
- W1506104865 hasConceptScore W1506104865C154945302 @default.
- W1506104865 hasConceptScore W1506104865C159032336 @default.
- W1506104865 hasConceptScore W1506104865C161301231 @default.
- W1506104865 hasConceptScore W1506104865C17744445 @default.
- W1506104865 hasConceptScore W1506104865C192034797 @default.
- W1506104865 hasConceptScore W1506104865C195818886 @default.
- W1506104865 hasConceptScore W1506104865C199539241 @default.
- W1506104865 hasConceptScore W1506104865C2776359362 @default.
- W1506104865 hasConceptScore W1506104865C41008148 @default.
- W1506104865 hasConceptScore W1506104865C80444323 @default.
- W1506104865 hasConceptScore W1506104865C94625758 @default.
- W1506104865 hasConceptScore W1506104865C9616225 @default.
- W1506104865 hasLocation W15061048651 @default.
- W1506104865 hasOpenAccess W1506104865 @default.
- W1506104865 hasPrimaryLocation W15061048651 @default.
- W1506104865 hasRelatedWork W1499051562 @default.
- W1506104865 hasRelatedWork W1585363700 @default.
- W1506104865 hasRelatedWork W193007183 @default.
- W1506104865 hasRelatedWork W2101443478 @default.
- W1506104865 hasRelatedWork W2114826642 @default.
- W1506104865 hasRelatedWork W2134457214 @default.
- W1506104865 hasRelatedWork W2174460668 @default.
- W1506104865 hasRelatedWork W2403204558 @default.
- W1506104865 hasRelatedWork W2406874399 @default.
- W1506104865 hasRelatedWork W2542253973 @default.
- W1506104865 hasRelatedWork W2889645270 @default.
- W1506104865 hasRelatedWork W2911538936 @default.
- W1506104865 hasRelatedWork W2949075068 @default.
- W1506104865 hasRelatedWork W2951043236 @default.
- W1506104865 hasRelatedWork W2952953299 @default.
- W1506104865 hasRelatedWork W2980961330 @default.
- W1506104865 hasRelatedWork W2999843026 @default.
- W1506104865 hasRelatedWork W3173432168 @default.
- W1506104865 hasRelatedWork W43308109 @default.
- W1506104865 hasRelatedWork W152841334 @default.
- W1506104865 isParatext "false" @default.
- W1506104865 isRetracted "false" @default.
- W1506104865 magId "1506104865" @default.
- W1506104865 workType "book-chapter" @default.