WorldCat Identities

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)

Overview
Works: 932 works in 1,783 publications in 1 language and 4,032 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Editor, Other
Classifications: QA76.5, 001.64
Publication Timeline
.
Most widely held works about Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
 
Most widely held works by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)
Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 by Eiiti Wada( Book )

3 editions published in 1987 in English and held by 241 WorldCat member libraries worldwide

This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries
Fifth generation computer systems 1984 : proceedings of the International Conference on Fifth Generation Computer Systems 1984, Tokyo, Japan, November 6-9, 1984 by International Conference on Fifth Generation Computer Systems( Book )

18 editions published between 1984 and 1985 in English and held by 220 WorldCat member libraries worldwide

Programming of future generation computers II : proceedings of the Second Franco-Japanese Symposium on Programming of Future Generation Computers, Cannes, France, 9-11, November, 1987 by Franco-Japanese Symposium on Programming of Future Generation Computers( Book )

2 editions published in 1988 in English and held by 109 WorldCat member libraries worldwide

Proceedings of the International Conference on Fifth Generation Computer Systems 1988 : Nov. 28-Dec. 2, 1988, Tokyo Prince Hotel, Tokyo Japan by International Conference on Fifth Generation Computer Systems( Book )

4 editions published in 1988 in English and held by 59 WorldCat member libraries worldwide

ICOT journal by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)( )

in English and Undetermined and held by 26 WorldCat member libraries worldwide

Fifth generation computer systems 1988 : proceedings of the International Conference on Fifth Generation Computer Systems 1988, Tokyo, Japan, November 28 - December 2, 1988 by International Conference on Fifth Generation Computer Systems( Book )

9 editions published in 1988 in English and Undetermined and held by 24 WorldCat member libraries worldwide

FGCS '92 : fifth generation computer systems 1992( Book )

1 edition published in 1992 in English and held by 20 WorldCat member libraries worldwide

CAL, a theoretical background of constraint logic programming and its applications by Kō Sakai( Book )

7 editions published between 1988 and 1992 in English and held by 16 WorldCat member libraries worldwide

This paper describes these additional functions for the application: a facility to approximate the real roots of univariate equations in the algebraic constraint solver employing the Buchberger algorithm, handling multiple solutions for each non-linear univariate equation by introducing the concept of context. Through this research and development, we are aiming to establish a very high level programming language for problem solving, based on concept of the constraint logic programming."
Potential of general-purpose reasoning assistant system EUODHILOS by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)( Book )

7 editions published between 1988 and 1991 in English and held by 14 WorldCat member libraries worldwide

Abstract: "Much work has been done on special-purpose reasoning assistant systems whose underlying logics are fixed. In contrast with such a trend, this paper is devoted to a new dimension of computer-assisted reasoning research, that is, a general-purpose reasoning assistant system that allows a user to define his own logical system relevant for the objects in the problem domain and to reason about them. In the first half of the paper, the need, significance and design principle of EUODHILOS: a general-purpose system for computer-assisted reasoning, are discussed, then the system overview is described, placing emphases on the following three points: (1) formal system description language, (2) proving methodology based on several sheets for logical thought, (3) visual human-computer interface for reasoning. In the latter half, the potentials and usefulness of EUODHILOS are demonstrated through experiments and experiences of its use by a number of logics and proof examples therein, which have been used or devised in computer science, artificial intelligence and so on."
Knowledge base system in logic programming paradigm by Hidenori Itoh( Book )

5 editions published in 1988 in English and held by 13 WorldCat member libraries worldwide

Abstract: "This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985."
A'UM : a stream-based concurrent object-oriented language by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)( Book )

8 editions published between 1987 and 1988 in English and held by 12 WorldCat member libraries worldwide

Abstract: "This paper describes a parallel object-oriented programming language, A'UM. A'UM has been designed as a user's language upon KL1 which is the kernel language of the parallel inference machine, PIM, being developed at ICTO. The goal of A'UM is to provide high description power for ease of writing large-scale parallel systems and applications, including the operating system, PIMOS, for PIM. A'UM is characterized with its high level abstractions based on pure parallel objects, of which most characteristics are implicit stream merging, object-name association, macro expansion based grammar, and modular programming support by class inheritance, that are described in detail."
Fifth generation computer systems 1988 : proceedings of the International Conference on Fifth Generation Computer Systems 1988, Tokyo, Japan, November 28-December, 1988 by International Conference on Fifth Generation Computer Systems( Book )

4 editions published between 1988 and 1989 in English and held by 11 WorldCat member libraries worldwide

FGCS '88 : proceedings of the International Conference on Fifth Generation Computer Systems 1988, Nov. 28 - Dec. 2, 1988, Tokyo Prince Hotel, Tokyo, Japan by International Conference on Fifth Generation Computer Systems( Book )

3 editions published in 1988 in English and held by 11 WorldCat member libraries worldwide

Parallel inference machine research in FGCS project by Atsuhiro Goto( Book )

4 editions published between 1987 and 1989 in English and held by 10 WorldCat member libraries worldwide

Abstract: "As part of the FGCS project, we are developing parallel inference machine (PIM) systems based on a logic programming framework. The research and development of PIM includes the PIM hardware architectures and the parallel implementation of KL1. KL1 has been designed as the PIM kernel language, so that both PIM applications and the parallel operating system (PIMOS) can be written in KL1. The characteristics of KL1 are used to solve KL1 parallel implementation problems, such as distributed resource management, goal scheduling and distribution, memory management, and distributed unification. They have been condensed into the abstract machine instruction set, KL1-B
System size dependency of minimum load-dispatching rate in parallel inference machines by M Sugie( Book )

4 editions published in 1988 in English and held by 10 WorldCat member libraries worldwide

The strategy in which the goal dispatch target cluster is determined at random and then this goal dispatch is aborted on the condition that the dispatch target cluster has more ready goals than the dispatching cluster or on the condition that the dispatching cluster has fewer ready goals than the threshold brings the second lowest load-displacing rate limit and is expected to realize high performance stably at real program execution. More than 70% averaged utilization is achieved in the region that the load-displacing rate is higher than 5%. It is confirmed that 0.54 of the maximum performance of a parallel inference machine prototype can be achieved by applying this load-dispatching strategy."
A Cooperative logic design expert system on a multiprocessor( Book )

4 editions published between 1990 and 1991 in English and held by 10 WorldCat member libraries worldwide

Abstract: "CAD systems that can quickly produce quality designs are needed for the expanding VLSI market. This paper presents a cooperative design mechanism in a cooperative logic design expert system on a multiprocessor, co-LODEX. co-LODEX accepts constraints on area and speed, and outputs a CMOS standard cell netlist that satisfies the constraints. The user can even get an optimal circuit for area or speed by iteratively strengthening the corresponding constraint. Short turnaround is expected through the combination of parallel processing by several processors and their cooperation. The cooperative design mechanism is based on an evaluation-redesign mechanism using assumption-based reasoning within a single processor
Negation in disjunctive logic programs by Chiaki Sakama( Book )

3 editions published in 1992 in English and held by 6 WorldCat member libraries worldwide

The PWA is also extended to the PWA[symbol] for general disjunctive programs. Then it is shown that the PWA[symbol] provides the most careful negative inference compared with the GCWA[symbol] and the WGCWA[symbol]. We also present a bottom-up model generation proof procedure to compute each negation in general disjunctive programs."
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.62 for FGCS '88 : ... to 0.89 for Fifth gene ...)

Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
Alternative Names
Icot

Institute for New Generation Computer Technology

Institute for New Generation Computer Technology (Japan)

Institute for New Generation Computer Technology Tōkyō

Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)

Shinsedai Konpyuta Gijutsu Kaihatsu Kiko

Shinsedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)

Sinsedai Konpyuta Gizyutu Kaihatu Kiko

シンセダイ コンピュータ ギジュツ カイハツ キコウ

新世代コンピュータ技術開発機構 (Japan)

Languages
English (90)

Covers