Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549545260> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W1549545260 abstract "We propose an approach to approximate classical reasoning via well-known theorem-proving techniques. Unlike other approaches, our approach takes into acconnt the interplay of knowledge bases and queries and thus allows for query-sensitive approximate reasoning. We demonstrate that our approach deals extremely well with the examples found in the literature. This reveals that conventional theorem-proving techniques can account for approximate reasoning." @default.
- W1549545260 created "2016-06-24" @default.
- W1549545260 creator A5058467603 @default.
- W1549545260 creator A5073236004 @default.
- W1549545260 date "1995-01-01" @default.
- W1549545260 modified "2023-09-27" @default.
- W1549545260 title "Using classical theorem-proving techniques for approximate reasoning: Revised report" @default.
- W1549545260 cites W1540422960 @default.
- W1549545260 cites W171867237 @default.
- W1549545260 cites W1981549588 @default.
- W1549545260 cites W1985520716 @default.
- W1549545260 cites W2011039300 @default.
- W1549545260 cites W2011184850 @default.
- W1549545260 cites W2011992362 @default.
- W1549545260 cites W24002392 @default.
- W1549545260 cites W2912336891 @default.
- W1549545260 cites W3429031 @default.
- W1549545260 cites W153888645 @default.
- W1549545260 doi "https://doi.org/10.1007/bfb0035972" @default.
- W1549545260 hasPublicationYear "1995" @default.
- W1549545260 type Work @default.
- W1549545260 sameAs 1549545260 @default.
- W1549545260 citedByCount "1" @default.
- W1549545260 crossrefType "book-chapter" @default.
- W1549545260 hasAuthorship W1549545260A5058467603 @default.
- W1549545260 hasAuthorship W1549545260A5073236004 @default.
- W1549545260 hasConcept C154945302 @default.
- W1549545260 hasConcept C195344581 @default.
- W1549545260 hasConcept C206880738 @default.
- W1549545260 hasConcept C41008148 @default.
- W1549545260 hasConcept C80444323 @default.
- W1549545260 hasConceptScore W1549545260C154945302 @default.
- W1549545260 hasConceptScore W1549545260C195344581 @default.
- W1549545260 hasConceptScore W1549545260C206880738 @default.
- W1549545260 hasConceptScore W1549545260C41008148 @default.
- W1549545260 hasConceptScore W1549545260C80444323 @default.
- W1549545260 hasLocation W15495452601 @default.
- W1549545260 hasOpenAccess W1549545260 @default.
- W1549545260 hasPrimaryLocation W15495452601 @default.
- W1549545260 hasRelatedWork W107135364 @default.
- W1549545260 hasRelatedWork W1490982973 @default.
- W1549545260 hasRelatedWork W1498428138 @default.
- W1549545260 hasRelatedWork W1525483008 @default.
- W1549545260 hasRelatedWork W1562474977 @default.
- W1549545260 hasRelatedWork W1604435911 @default.
- W1549545260 hasRelatedWork W1656258 @default.
- W1549545260 hasRelatedWork W1966647497 @default.
- W1549545260 hasRelatedWork W1967592514 @default.
- W1549545260 hasRelatedWork W1987466669 @default.
- W1549545260 hasRelatedWork W2013572173 @default.
- W1549545260 hasRelatedWork W2024311864 @default.
- W1549545260 hasRelatedWork W2040884237 @default.
- W1549545260 hasRelatedWork W2073911647 @default.
- W1549545260 hasRelatedWork W2075268055 @default.
- W1549545260 hasRelatedWork W2479841591 @default.
- W1549545260 hasRelatedWork W2611534876 @default.
- W1549545260 hasRelatedWork W287250049 @default.
- W1549545260 hasRelatedWork W83406561 @default.
- W1549545260 hasRelatedWork W94570535 @default.
- W1549545260 isParatext "false" @default.
- W1549545260 isRetracted "false" @default.
- W1549545260 magId "1549545260" @default.
- W1549545260 workType "book-chapter" @default.