Matches in SemOpenAlex for { <https://semopenalex.org/work/W177560025> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W177560025 abstract "Intelligent aids to the development of scientific software are in great demand but in short supply. Two key components of such expert systems will be automated reasoning and knowledge representation methodologies. First order logic is described as the common language of a class of reasoning systems and database design methods. An overview is given of reasoning paradigms used in current expert systems and of database design methods appropriate to creation of the knowledge base to support such reasoning. Finally, some of the problems seen as topics for further research in this area are described. 14 refs." @default.
- W177560025 created "2016-06-24" @default.
- W177560025 creator A5078469358 @default.
- W177560025 creator A5085138988 @default.
- W177560025 date "1985-06-17" @default.
- W177560025 modified "2023-09-27" @default.
- W177560025 title "Automated reasoning and knowledge base design in the scientific programming environment" @default.
- W177560025 hasPublicationYear "1985" @default.
- W177560025 type Work @default.
- W177560025 sameAs 177560025 @default.
- W177560025 citedByCount "0" @default.
- W177560025 crossrefType "journal-article" @default.
- W177560025 hasAuthorship W177560025A5078469358 @default.
- W177560025 hasAuthorship W177560025A5085138988 @default.
- W177560025 hasConcept C102600418 @default.
- W177560025 hasConcept C115903868 @default.
- W177560025 hasConcept C115925183 @default.
- W177560025 hasConcept C154945302 @default.
- W177560025 hasConcept C161301231 @default.
- W177560025 hasConcept C195344581 @default.
- W177560025 hasConcept C2777212361 @default.
- W177560025 hasConcept C37335422 @default.
- W177560025 hasConcept C41008148 @default.
- W177560025 hasConcept C4554734 @default.
- W177560025 hasConcept C58328972 @default.
- W177560025 hasConcept C86827895 @default.
- W177560025 hasConcept C89288958 @default.
- W177560025 hasConcept C97364631 @default.
- W177560025 hasConceptScore W177560025C102600418 @default.
- W177560025 hasConceptScore W177560025C115903868 @default.
- W177560025 hasConceptScore W177560025C115925183 @default.
- W177560025 hasConceptScore W177560025C154945302 @default.
- W177560025 hasConceptScore W177560025C161301231 @default.
- W177560025 hasConceptScore W177560025C195344581 @default.
- W177560025 hasConceptScore W177560025C2777212361 @default.
- W177560025 hasConceptScore W177560025C37335422 @default.
- W177560025 hasConceptScore W177560025C41008148 @default.
- W177560025 hasConceptScore W177560025C4554734 @default.
- W177560025 hasConceptScore W177560025C58328972 @default.
- W177560025 hasConceptScore W177560025C86827895 @default.
- W177560025 hasConceptScore W177560025C89288958 @default.
- W177560025 hasConceptScore W177560025C97364631 @default.
- W177560025 hasLocation W1775600251 @default.
- W177560025 hasOpenAccess W177560025 @default.
- W177560025 hasPrimaryLocation W1775600251 @default.
- W177560025 hasRelatedWork W107857030 @default.
- W177560025 hasRelatedWork W154816051 @default.
- W177560025 hasRelatedWork W1595499933 @default.
- W177560025 hasRelatedWork W1874340611 @default.
- W177560025 hasRelatedWork W1876793518 @default.
- W177560025 hasRelatedWork W1965482737 @default.
- W177560025 hasRelatedWork W1968417030 @default.
- W177560025 hasRelatedWork W1985922844 @default.
- W177560025 hasRelatedWork W2019976933 @default.
- W177560025 hasRelatedWork W2038386889 @default.
- W177560025 hasRelatedWork W2049721545 @default.
- W177560025 hasRelatedWork W2096985133 @default.
- W177560025 hasRelatedWork W2108186627 @default.
- W177560025 hasRelatedWork W2165769793 @default.
- W177560025 hasRelatedWork W2355468753 @default.
- W177560025 hasRelatedWork W2366967677 @default.
- W177560025 hasRelatedWork W2431372423 @default.
- W177560025 hasRelatedWork W5178400 @default.
- W177560025 hasRelatedWork W657460693 @default.
- W177560025 hasRelatedWork W2105083039 @default.
- W177560025 isParatext "false" @default.
- W177560025 isRetracted "false" @default.
- W177560025 magId "177560025" @default.
- W177560025 workType "article" @default.