WorldCat Identities

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

Overview
Works: 982 works in 1,780 publications in 1 language and 4,030 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Other, Editor
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 233 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 Fith Generation Computer Systems( Book )

15 editions published in 1984 in English and held by 202 WorldCat member libraries worldwide

Programming of future generation computers : proceedings of the First Franco-Japanese Symposium on Programming of Future Generation Computers, Tokyo, Japan, 6-8 October 1986 by Franco-Japanese Symposium on Programming of Future Generation Computers( Book )

2 editions published in 1988 in English and held by 110 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 )

3 editions published in 1988 in English and held by 58 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, 1988 by International Conference on Fifth Generation Computer Systems( Book )

13 editions published between 1988 and 1989 in English and Undetermined and held by 35 WorldCat member libraries worldwide

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

in English and Undetermined and held by 25 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

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

Fifth generation computer systems : proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan, October 19-22, 1981 by Tōru Motooka( Book )

3 editions published between 1984 and 1985 in English and held by 11 WorldCat member libraries worldwide

The Japan Information Processing Development Centre (JIPDEC) established a committee for Study and Research on Fifth-Generation Computers. Beginning in 1979, this Committee set out on a two-year investigation into the most desirable types of computer systems for application in the 1990`s (fifth-generation computers) and how the development projects aimed at the realization of these systems should be carried forward. This book contains the papers presented at the International Conference on Fifth Generation Computer Systems. Included among these papers is a preliminary report on the findings of the Committee
Fifth generation computer systems 1992( Book )

2 editions published in 1992 in English and held by 11 WorldCat member libraries worldwide

Potential of general-purpose reasoning assistant system EUODHILOS by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)( Book )

5 editions published between 1988 and 1991 in English and held by 10 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."
Co-operative high performance sequential inference machine : CHI-II by Shin-ichi Habata( Book )

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

Fifth generation computer systems project : outline of plan and results by Takashi Kurozumi( Book )

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

Abstract: "Objectives of the Fifth Generation Computer System (FGCS) project, which has been supported by MITI as a national project, are to research and to develop new computer technologies, especially parallel processing and inference technologies, for knowledge information processing systems. This paper describes the planning of the FGCS project, the framework of the FGCS, the outline of the R & D plan and the state of the art of the FGCS project."
Boolean-valued logic programming language scheme LIFE-III : a summary by Jinsei Yamaguchi( Book )

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

Abstract: "We define the notion of logic-oriented inferential framework extension LIFE-III as an AI language scheme and prove the theoretical background. Especially, the concept of Boolean-valued relativized completeness, which will play an important role in many fields of AI, is proposed and it is systematically studied that what kinds of relativized completeness are satisfied by LIFE-III."
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. 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. Design alternatives are considered as assumptions and constraint violations as contradictions
Inferring parsers of context-free languages from structural examples by Yasubumi Sakakibara( Book )

4 editions published in 1987 in English and held by 9 WorldCat member libraries worldwide

Inference machines in FGCS project by Shin Sedai Konpyūta Gijutsu Kaihatsu Kikō (Japan)( Book )

5 editions published in 1987 in English and held by 9 WorldCat member libraries worldwide

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

3 editions published between 1988 and 1990 in English and held by 9 WorldCat member libraries worldwide

Abstract: "Constraint logic programming (CLP) is an extension of logic programming by introducing the facility of writing and solving constraints in a certain domain. CAL (Contrainte avec Logique) is a CLP language in which (possibly non-linear) polynomial equations can be written as constraints, while almost all the other CLP languages proposed so far have concentrated only on linear equations and inequations. This paper describes a general semantics of CLP including CAL, and shows the validity of CAL in this framework."
Unfold/fold transformation of stratified programs by Hirohisa Seki( Book )

4 editions published between 1988 and 1990 in English and held by 9 WorldCat member libraries worldwide

Abstract: "This paper describes several extensions of Tamaki-Sato's [TS84] unfold/fold transformation of definite programs. We first propose unfold/fold rules preserving also the finite failure set (by SLD-resolution) of a definite program, which the original rules by Tamaki and Sato do not. Then, we show that our unfold/fold rules can be extended to ones for stratified programs, and prove that both the success set and the finite failure set (by SLDNF-resolution) of a stratified program are preserved. Furthermore, preservation of equivalence of the perfect model semantics [Prz] is also discussed."
Hardware implementation of dynamic load balancing in the Parallel Inference Machine PIM/c( Book )

4 editions published between 1991 and 1992 in English and held by 9 WorldCat member libraries worldwide

Abstract: "This paper proposes and evaluates the hardware implementation required for dynamic load balancing in the prototype PIM/c of the Parallel Inference Machine (PIM). On one hand, PIM/c is configured along a hierarchical structure of loosely coupled TCMP clusters (TCMP -- Tightly-Coupled Multi-Processors) in order to utilize the high locality of logic programs. On the other hand, an LCMP (Loosely-Coupled Multi- Processors) approach enables us to build a more scalable machine using a crossbar network. Load balancing algorithms and corresponding hardware suitable for each hierarchy are used. First, for dynamic load balancing in the TCMP hierarchy, we propose a register with broadcast facility to request load dispatching
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.72 (from 0.62 for FGCS '88 : ... to 0.84 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