Person: Koichi Furukawa

DBLP: Furukawa:Koichi

Facilitated 1 volumes:

Ed

Contributed to:

2003

1997

1991

1989

1988

1987

1987

1986

1984

1984

1982

1987

Wrote 15 papers:

KDD-2003-ShimazuMF #case study

Experimental study of discovering essential information from customer inquiry (KS, AM, KF), pp. 741–746.

SAC-1997-ShimazuF #database #implementation #information management

Knowledge discovery in database by Progol-design, implementation and its application to expert system building (KS, KF), pp. 91–93.

ISLP-1991-Furukawa #generative #information management #scalability #towards

Fifth Generation Computer Project: Towards Large-Scale Knowledge Information Processing (KF), pp. 719–731.

NACLP-1989-FurukawaFS #partial evaluation #performance

Deriving an Efficient Production System by Partial Evaluation (KF, HF, TS), pp. 661–674.

JICSCP-1988-FujitaOF88 #constraints #haskell #partial evaluation #source code

Partial Evaluation of GHC Programs Based on the UR-set with Constraints (HF, AO, KF), pp. 924–941.

ICLP-1987-OhkiTF87 #logic programming #object-oriented #parallel #programming language

An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1 (MO, AT, KF), pp. 894–909.

SLP-1987-SekiF87 #logic programming #source code

Notes on Transformation Techniques for Generate and Test Logic Programs (HS, KF), pp. 215–223.

ICLP-1986-FuchiF86 #generative #logic programming

The Role of Logic Programming in the Fifth Generation Computer Project (KF, KF), pp. 1–24.

ICLP-1986-GoebelFP86 #approach #constraints #reasoning #using

Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning (RG, KF, DP), pp. 211–222.

ICLP-1986-TakeuchiF86 #logic programming #parallel #programming language

Parallel Logic Programming Languages (AT, KF), pp. 242–254.

ILPC-1984-HirakawaCF84 #concurrent #lazy evaluation #prolog

Eager and Lazy Enumerations in Concurrent Prolog (HH, TC, KF), pp. 89–100.

SLP-1984-KitakamiKMF84 #implementation #information management

A Methodology for Implementation of a Knowledge Acquisition System (HK, SK, TM, KF), pp. 131–142.

SLP-1984-MiyachiKKFTY84 #database #logic

A Knowledge Assimilation Method for Logic Databases (TM, SK, HK, KF, AT, HY), pp. 118–125.

ILPC-1982-FurukawaNM82 #concurrent #interpreter #programming #prolog

Prolog Interpreter Based on Concurrent Programming (KF, KN, YM), pp. 38–44.

AF-1987-Furukawa #generative #process #research

Fifth Generation Computer Project: Current Research Activity and Future Plans (KF), pp. 23–38.