BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
1 × Sweden
1 × United Kingdom
6 × USA
Collaborated with:
A.Takeuchi K.Shimazu H.Fujita H.Seki K.Fuchi H.Kitakami S.Kunifuji T.Miyachi A.Momma T.Shintani A.Okumura M.Ohki R.Goebel D.Poole H.Hirakawa T.Chikayama K.Nitta Y.Matsumoto H.Yokota
Talks about:
program (7) logic (5) knowledg (4) generat (4) project (3) languag (3) system (3) comput (3) fifth (3) base (3)

Person: Koichi Furukawa

DBLP DBLP: Furukawa:Koichi

Facilitated 1 volumes:

ICLP 1991Ed

Contributed to:

KDD 20032003
SAC 19971997
ILPS 19911991
NACLP 19891989
ICLP/SPL 19881988
ICLP 19871987
SLP 19871987
ICLP 19861986
ILPC 19841984
SLP 19841984
ILPC 19821982
TAPSOFT, Vol.2: AS 19871987

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.