Koichi Furukawa

According to our database1, Koichi Furukawa
  • authored at least 78 papers between 1977 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
The Cognitive Role of Analogical Abduction in Skill Acquisition.
Proceedings of the New Frontiers in Artificial Intelligence, 2015

A high step-up DC-DC converter using transformer with intrinsic voltage-doubler.
Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

2013
On Skill Acquisition Support by Analogical Rule Abduction.
Proceedings of the Information Search, Integration, and Personalization, 2013

2011
Abductive Reasoning as an Integrating Framework in Skill Acquisition.
JACIII, 2011

2009
Discovering Rules by Meta-level Abduction.
Proceedings of the Inductive Logic Programming, 19th International Conference, 2009

2006
Philosophy of New Generation Computing -- In Remembrance of Professor Kazuhiro Fuchi.
New Generation Comput., 2006

Experimental Study of Semantic Contents Mining on Intra-university Enterprise Contents Management System for Knowledge Sharing.
Proceedings of the Semantic Web, 2006

2003
Preface.
Theor. Comput. Sci., 2003

Experimental study of discovering essential information from customer inquiry.
Proceedings of the Ninth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 24, 2003

DAISY, an RER Model Based Interface for RDB to ILP.
Proceedings of the Conceptual Modeling, 2003

Discovering Exceptional Information from Customer Inquiry by Association Rule Miner.
Proceedings of the Discovery Science, 6th International Conference, 2003

2002
Towards Cross Fertilization of Multiple Disciplines.
New Generation Comput., 2002

Respiration Reflecting Musical Expression: Analysis of Respiration during Musical Performance by Inductive Logic Programming.
Proceedings of the Music and Artificial Intelligence, Second International Conference, 2002

A Computational Model for Children's Language Acquisition Using Inductive Logic Programming.
Proceedings of the Progress in Discovery Science, 2002

2001
A Bootstrapping Model for Children's Vocabulary Acquisition using Inductive Logic Programming.
Electron. Trans. Artif. Intell., 2001

Application of Pruning Techniques for Propositional Learning to Progol.
Proceedings of the Inductive Logic Programming, 11th International Conference, 2001

2000
Motor Skill as Dynamic Constraint Satisfaction.
Electron. Trans. Artif. Intell., 2000

On the Completion of Inverse Entailment for Mutual Recursion and its Application to Self Recursion.
Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

1999
A Model of Children's Vocabulary Acquisition Using Inductive Logic Programming.
Proceedings of the Discovery Science, 1999

1998
On the Completion of the Most Specific Hypothesis Computation in Inverse Entailment for Mutual Recursion.
Proceedings of the Discovery Science, 1998

1997
Knowledge discovery in database by Progol-design, implementation and its application to expert system building.
Proceedings of the 1997 ACM symposium on Applied Computing, 1997

Realizing Progol by Forward Reasoning.
Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

On a Sufficient Condition for the Existence of Most Specific Hypothesis in Progol.
Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

Query Evaluation of Deductive Database by MGTP and its Application to Data Mining.
Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, 1997

1996
Curried least general generalization: A framework for higher order concept learning.
Proceedings of the Learning and Reasoning with Complex Representations, 1996

A New Design and Implementation of Progol by Bottom-Up Computation.
Proceedings of the Inductive Logic Programming, 6th International Workshop, 1996

Design of Database Interface to ILP for Building Knowledge Base.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

1995
Special Issue on Inductive Logic Programming.
New Generation Comput., 1995

A Framework for Verbalizing Unconscious Knowledge Based on Inductive Logic Programming.
Proceedings of the Machine Intelligence 15, 1995

1994
Special Issue on Algorithmic Learning Theory.
New Generation Comput., 1994

1993
Fifth Generation Computer Systems (FGCS) Project in Japan.
Informatica (Slovenia), 1993

The Fifth Generation Project: Personal Perspectives.
Commun. ACM, 1993

On the number of securities which constitute an efficient portfolio.
Annals OR, 1993

1992
Current research status and future direction of the fifth generation computer project.
Future Generation Comp. Syst., 1992

Logic Programming as the Integrator of the Fifth Generation Computer Systems Project.
Commun. ACM, 1992

Concurrent Logic Programming as a Basis for Large-Scale Knowledge Information Processing - Panel Position Paper.
FGCS, 1992

Summary of Basic Research Activities of the FGCS Project.
FGCS, 1992

1991
Role of Logic Programming in the FGCS Project.
Proceedings of the Theoretical Aspects of Computer Software, 1991

Fifth Generation Computer Project: Towards Large-Scale Knowledge Information Processing.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990
Guest editors' preface.
New Generation Comput., 1990

1989
FGCS '88.
New Generation Comput., 1989

Deriving an Efficient Production System by Partial Evaluation.
Proceedings of the Logic Programming, 1989

Constraint Logic Programming as a New Vehicle for Knowledge Representation.
IFIP Congress, 1989

1988
Unfolding Rules for GHC Programs.
New Generation Comput., 1988

A Self-Applicable Partial Evaluator and Its Use in Incremental Compilation.
New Generation Comput., 1988

Partial Evaluation of GHC Programs Based on the UR-set with Constraints.
Proceedings of the Logic Programming, 1988

GHC - A Language for a New Age of Parallel Programming.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

Transformation Rules for GHC Programs.
FGCS, 1988

1987
Preface to the Special Issue.
New Generation Comput., 1987

The Role of Logic Programming in the Fifth Generation Computer Project.
New Generation Comput., 1987

Fifth Generation Computer Project: Current Research Activity and Future Plans.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Notes on Transformation Techniques for Generate and Test Logic Programs.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1.
Proceedings of the Logic Programming, 1987

1986
A Framework for Interactive Problem Solving Based on Interactive Query Revision.
Proceedings of the Logic Programming '86, 1986

Partial Evaluation of Prolog Programs and its Application to Meta Programming.
IFIP Congress, 1986

Specification Languages versus Programming Languages (Panel).
IFIP Congress, 1986

Parallel Logic Programming Languages.
Proceedings of the Third International Conference on Logic Programming, 1986

Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning.
Proceedings of the Third International Conference on Logic Programming, 1986

The Role of Logic Programming in the Fifth Generation Computer Project.
Proceedings of the Third International Conference on Logic Programming, 1986

Guarded Horn Clauses and Experience with Parallel Logic Programming.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985
Bounded Buffer Communication in Concurrent Prolog.
New Generation Comput., 1985

Guest Editors' Preface.
New Generation Comput., 1985

1984
A Knowledge Assimilation Method for Logic Databases.
New Generation Comput., 1984

Prolog Interpreter and its Parallel Extension.
Proceedings of the VLSI Engineering: Beyond Software Engineering, 1984

A Knowledge Assimilation Method for Logic Databases.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

A Methodology for Implementation of a Knowledge Acquisition System.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

OR-Parallel Optimizing Prolog System: POPS. Its Design and Implementation in Concurrent Prolog.
Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984

Object-Oriented Parser in the Logic Programming Language ESP.
Natural Language Understanding and Natural Language Understanding Workshop, 1984

Eager and Lazy Enumerations in Concurrent Prolog.
Proceedings of the Second International Logic Programming Conference, 1984

Basic Software System.
FGCS, 1984

MANDELA: A LogicBased Knowledge Programming System.
FGCS, 1984

1983
Modularization and Abstraction in Logic Programming.
New Generation Comput., 1983

Knowledge Engineering and Fifth Generation Computers.
IEEE Database Eng. Bull., 1983

1982
Prolog Interpreter Based on Concurrent Programming.
Proceedings of the First International Logic Programming Conference, 1982

1981
Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1979
Relational Strategies for Processing Universally Quantified Queries to Large Data Bases.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977
Panel: Directions in Database Research.
Proceedings of the Third International Conference on Very Large Data Bases, 1977

A Deductive Question Answering System on Relational Data Bases.
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977


  Loading...