A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Strategic computing at DARPA: overview and assessment
Communications of the ACM
KL1 and the early days of the FGCS project
ACM SIGPLAN Notices
Communications of the ACM
Software engineering provisioning process
ICSE '85 Proceedings of the 8th international conference on Software engineering
Data flow relation processor for knowledge base machine
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
The Fifth Generation grail: A survey of related research
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
| Hi-index | 48.25 |
As part of Japan's effort to become a leader in the computer industry, the Institute for New Generation Computer Technology has launched a revolutionary ten-year plan for the development of large computer systems which will be applicable to knowledge information processing systems. These Fifth Generation computers will be built around the concepts of logic programming. In order to refute the accusation that Japan exploits knowledge from abroad without contributing any of its own, this project will stimulate original research and will make its results available to the international research community.