Matches in SemOpenAlex for { <https://semopenalex.org/work/W970885104> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W970885104 abstract "Summary This paper describes a system that automatically synthesizes a program from a specification written in natural language. The system infers a goal from the given specification, plans from the goal, and then repeatedly infers simpler plans from each plan, on the basis of the concept of goal-plan analysis. In other words, it synthesizes a program by executing top-down hierarchic decomposition. The system requires many types of knowledge, such as common knowledge, domain-dependent knowledge, and knowledge about the syntax and semantics of the target language. In order to apply such a variety of knowledge effectively, we used a knowledge-based method to implement the system. Essentially, this method is the framework of the cooperative production system. The system has several knowledge sources which work cooperatively to resolve problems. We explain the concept, implementation, and application of the system in this paper." @default.
- W970885104 created "2016-06-24" @default.
- W970885104 creator A5023847482 @default.
- W970885104 creator A5058172777 @default.
- W970885104 creator A5085919049 @default.
- W970885104 date "1991-01-01" @default.
- W970885104 modified "2023-09-27" @default.
- W970885104 title "A Technique for Prolog Program Synthesis from Natural Language Specification" @default.
- W970885104 doi "https://doi.org/10.1016/b978-0-12-037102-0.50008-x" @default.
- W970885104 hasPublicationYear "1991" @default.
- W970885104 type Work @default.
- W970885104 sameAs 970885104 @default.
- W970885104 citedByCount "1" @default.
- W970885104 crossrefType "book-chapter" @default.
- W970885104 hasAuthorship W970885104A5023847482 @default.
- W970885104 hasAuthorship W970885104A5058172777 @default.
- W970885104 hasAuthorship W970885104A5085919049 @default.
- W970885104 hasConcept C115903868 @default.
- W970885104 hasConcept C134306372 @default.
- W970885104 hasConcept C154945302 @default.
- W970885104 hasConcept C166957645 @default.
- W970885104 hasConcept C184337299 @default.
- W970885104 hasConcept C195324797 @default.
- W970885104 hasConcept C199360897 @default.
- W970885104 hasConcept C207685749 @default.
- W970885104 hasConcept C2776505523 @default.
- W970885104 hasConcept C2776937632 @default.
- W970885104 hasConcept C33923547 @default.
- W970885104 hasConcept C36503486 @default.
- W970885104 hasConcept C41008148 @default.
- W970885104 hasConcept C60048249 @default.
- W970885104 hasConcept C81721847 @default.
- W970885104 hasConcept C95457728 @default.
- W970885104 hasConceptScore W970885104C115903868 @default.
- W970885104 hasConceptScore W970885104C134306372 @default.
- W970885104 hasConceptScore W970885104C154945302 @default.
- W970885104 hasConceptScore W970885104C166957645 @default.
- W970885104 hasConceptScore W970885104C184337299 @default.
- W970885104 hasConceptScore W970885104C195324797 @default.
- W970885104 hasConceptScore W970885104C199360897 @default.
- W970885104 hasConceptScore W970885104C207685749 @default.
- W970885104 hasConceptScore W970885104C2776505523 @default.
- W970885104 hasConceptScore W970885104C2776937632 @default.
- W970885104 hasConceptScore W970885104C33923547 @default.
- W970885104 hasConceptScore W970885104C36503486 @default.
- W970885104 hasConceptScore W970885104C41008148 @default.
- W970885104 hasConceptScore W970885104C60048249 @default.
- W970885104 hasConceptScore W970885104C81721847 @default.
- W970885104 hasConceptScore W970885104C95457728 @default.
- W970885104 hasLocation W9708851041 @default.
- W970885104 hasOpenAccess W970885104 @default.
- W970885104 hasPrimaryLocation W9708851041 @default.
- W970885104 hasRelatedWork W1487789883 @default.
- W970885104 hasRelatedWork W1528804788 @default.
- W970885104 hasRelatedWork W1608234008 @default.
- W970885104 hasRelatedWork W166858941 @default.
- W970885104 hasRelatedWork W1712968549 @default.
- W970885104 hasRelatedWork W1755575350 @default.
- W970885104 hasRelatedWork W183138741 @default.
- W970885104 hasRelatedWork W1981138299 @default.
- W970885104 hasRelatedWork W2021288829 @default.
- W970885104 hasRelatedWork W2021291681 @default.
- W970885104 hasRelatedWork W2031162680 @default.
- W970885104 hasRelatedWork W2039865167 @default.
- W970885104 hasRelatedWork W2106289813 @default.
- W970885104 hasRelatedWork W2157368609 @default.
- W970885104 hasRelatedWork W2213117487 @default.
- W970885104 hasRelatedWork W232684567 @default.
- W970885104 hasRelatedWork W2369762395 @default.
- W970885104 hasRelatedWork W2400615773 @default.
- W970885104 hasRelatedWork W3004607380 @default.
- W970885104 hasRelatedWork W3106342639 @default.
- W970885104 isParatext "false" @default.
- W970885104 isRetracted "false" @default.
- W970885104 magId "970885104" @default.
- W970885104 workType "book-chapter" @default.