FRINK Linked Data Fragments server

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

• W1531543048 endingPage "433" @default.
• W1531543048 startingPage "428" @default.
• W1531543048 abstract "This paper examines the role that formal logic ought to play in representing and reasoning with commonsense knowledge. We take issue with the commonly held view (as expressed by Newell [1980]) that the use of representations based on formal logic is inappropriate in most applications of artificial intelligence. We argue to the contrary that there is an important set of issues, involving incomplete knowledge of a problem situation, that so far have been addressed only by systems based on formal logic and deductive inference, and that, in some sense, probably can be dealt with only by systems based on logic and deduction. We further argue that the experiments of the late 1960s on problem-solving by theorem-proving did not show that the use of logic and deduction in AI systems was necessarily inefficient, but rather that what was needed was better control of the deduction process, combined with more attention to the computational properties of axioms." @default.
• W1531543048 created "2016-06-24" @default.
• W1531543048 creator A5002282030 @default.
• W1531543048 date "1982-08-18" @default.
• W1531543048 modified "2023-10-04" @default.
• W1531543048 title "The role of logic in knowledge representation and commonsense reasoning" @default.
• W1531543048 cites W114646640 @default.
• W1531543048 cites W1513207501 @default.
• W1531543048 cites W1542841606 @default.
• W1531543048 cites W1963804765 @default.
• W1531543048 cites W1970045008 @default.
• W1531543048 cites W1999987460 @default.
• W1531543048 cites W2005814556 @default.
• W1531543048 cites W2035346816 @default.
• W1531543048 cites W2075322664 @default.
• W1531543048 cites W2100738443 @default.
• W1531543048 cites W2112962394 @default.
• W1531543048 cites W2121773050 @default.
• W1531543048 cites W2131062488 @default.
• W1531543048 cites W2163751633 @default.
• W1531543048 cites W37883845 @default.
• W1531543048 cites W61655999 @default.
• W1531543048 hasPublicationYear "1982" @default.
• W1531543048 type Work @default.
• W1531543048 sameAs 1531543048 @default.
• W1531543048 citedByCount "52" @default.
• W1531543048 countsByYear W15315430482012 @default.
• W1531543048 countsByYear W15315430482016 @default.
• W1531543048 countsByYear W15315430482017 @default.
• W1531543048 countsByYear W15315430482018 @default.
• W1531543048 countsByYear W15315430482019 @default.
• W1531543048 countsByYear W15315430482020 @default.
• W1531543048 countsByYear W15315430482021 @default.
• W1531543048 crossrefType "proceedings-article" @default.
• W1531543048 hasAuthorship W1531543048A5002282030 @default.
• W1531543048 hasConcept C101874905 @default.
• W1531543048 hasConcept C102993220 @default.
• W1531543048 hasConcept C121332964 @default.
• W1531543048 hasConcept C124047733 @default.
• W1531543048 hasConcept C154945302 @default.
• W1531543048 hasConcept C159032336 @default.
• W1531543048 hasConcept C161301231 @default.
• W1531543048 hasConcept C165801399 @default.
• W1531543048 hasConcept C167729594 @default.
• W1531543048 hasConcept C172385210 @default.
• W1531543048 hasConcept C193221554 @default.
• W1531543048 hasConcept C19689857 @default.
• W1531543048 hasConcept C199360897 @default.
• W1531543048 hasConcept C203659156 @default.
• W1531543048 hasConcept C2524010 @default.
• W1531543048 hasConcept C2776214188 @default.
• W1531543048 hasConcept C2777796570 @default.
• W1531543048 hasConcept C30542707 @default.
• W1531543048 hasConcept C33923547 @default.
• W1531543048 hasConcept C3746660 @default.
• W1531543048 hasConcept C3845977 @default.
• W1531543048 hasConcept C41008148 @default.
• W1531543048 hasConcept C62520636 @default.
• W1531543048 hasConcept C97364631 @default.
• W1531543048 hasConceptScore W1531543048C101874905 @default.
• W1531543048 hasConceptScore W1531543048C102993220 @default.
• W1531543048 hasConceptScore W1531543048C121332964 @default.
• W1531543048 hasConceptScore W1531543048C124047733 @default.
• W1531543048 hasConceptScore W1531543048C154945302 @default.
• W1531543048 hasConceptScore W1531543048C159032336 @default.
• W1531543048 hasConceptScore W1531543048C161301231 @default.
• W1531543048 hasConceptScore W1531543048C165801399 @default.
• W1531543048 hasConceptScore W1531543048C167729594 @default.
• W1531543048 hasConceptScore W1531543048C172385210 @default.
• W1531543048 hasConceptScore W1531543048C193221554 @default.
• W1531543048 hasConceptScore W1531543048C19689857 @default.
• W1531543048 hasConceptScore W1531543048C199360897 @default.
• W1531543048 hasConceptScore W1531543048C203659156 @default.
• W1531543048 hasConceptScore W1531543048C2524010 @default.
• W1531543048 hasConceptScore W1531543048C2776214188 @default.
• W1531543048 hasConceptScore W1531543048C2777796570 @default.
• W1531543048 hasConceptScore W1531543048C30542707 @default.
• W1531543048 hasConceptScore W1531543048C33923547 @default.
• W1531543048 hasConceptScore W1531543048C3746660 @default.
• W1531543048 hasConceptScore W1531543048C3845977 @default.
• W1531543048 hasConceptScore W1531543048C41008148 @default.
• W1531543048 hasConceptScore W1531543048C62520636 @default.
• W1531543048 hasConceptScore W1531543048C97364631 @default.
• W1531543048 hasLocation W15315430481 @default.
• W1531543048 hasOpenAccess W1531543048 @default.
• W1531543048 hasPrimaryLocation W15315430481 @default.
• W1531543048 hasRelatedWork W114428419 @default.
• W1531543048 hasRelatedWork W1488908270 @default.
• W1531543048 hasRelatedWork W1491778683 @default.
• W1531543048 hasRelatedWork W1501126425 @default.
• W1531543048 hasRelatedWork W1511791602 @default.
• W1531543048 hasRelatedWork W1527956248 @default.
• W1531543048 hasRelatedWork W1572972820 @default.
• W1531543048 hasRelatedWork W164524185 @default.
• W1531543048 hasRelatedWork W206823374 @default.
• W1531543048 hasRelatedWork W209988247 @default.
• W1531543048 hasRelatedWork W53998823 @default.
• W1531543048 hasRelatedWork W839043780 @default.

• next