Ryuzo Hasegawa

Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Abstract Model Generation for Preprocessing Clause Sets.

[BibT_eX]

[DOI]

Mayumi Umeda

Proceedings of the Logic for Programming, 2004

2002

A Model Generation Based Theorem Prover MGTP for First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Model Generation with Boolean Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2001

2000

Minimal Model Generation with Factorization and Constrained Search.

[BibT_eX]

[DOI]

Megumi Kita

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

Proof Simplification for Model Generation and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Moder Generation Theorem Proving with Finite Interval Constraints.

[BibT_eX]

[DOI]

Reiner Hähnle

Yasuyuki Shirai

Proceedings of the Computational Logic, 2000

Efficient Minimal Model Generation Using Branching Lemmas.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2000

1999

The parallel logic programming system in the FGCS project and its future directions.

[BibT_eX]

[DOI]

Parallel Comput., 1999

1998

On the Relationship Between Non-Horn Magic Sets and Relevancy Testing.

[BibT_eX]

[DOI]

Yoshihiko Ohta

Katsumi Inoue

Proceedings of the Automated Deduction, 1998

1997

MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1997

1995

Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP.

[BibT_eX]

Yasuyuki Shirai

Proceedings of the Logic Programming, 1995

Model Generation Theorem Provers and Their Applications.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1994

An AND Parallelization Method for MGTP and Its Evaluation.

[BibT_eX]

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

1993

Outline of the FGCS Fallow-on Project.

[BibT_eX]

[DOI]

New Gener. Comput., 1993

Bottom-up Abduction by Model Generation.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers.

[BibT_eX]

Proceedings of the Automated Reasoning, 1992

Parallel Theorem Provers and Their Applications.

[BibT_eX]

Masayuki Fujita

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Model Generation Theorem Provers on a Parallel Inference Machine.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers.

[BibT_eX]

Akira Aiba

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Embedding Negation as Failure into a Model Generation Theorem Prover.

[BibT_eX]

[DOI]

Katsumi Inoue

Proceedings of the Automated Deduction, 1992

MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

1991

A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm.

[BibT_eX]

Proceedings of the Logic Programming, 1991

1988

Problem-Solving and Inference Software.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Constraints Logic Programming Language CAL.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

DFM: the data flow machine highly parallel symbol manipulation.

[BibT_eX]

[DOI]

Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987

1986

Implementation and Evaluation of a List-Processing-Oriented Data Flow Machine.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Symposium on Computer Architecture, Tokyo, Japan, June 1986, 1986

A Stream-Oriented Parallel Processing Scheme for Relational Database Operations.

[BibT_eX]

Yasushi Kiyoki

Proceedings of the International Conference on Parallel Processing, 1986

1985

A list-processing-oriented data flow machine architecture and its evaluation.

[BibT_eX]

[DOI]

Hirohide Mikami

Syst. Comput. Jpn., 1985

1984

Dataflow Computing and Eager and Lazy Evaluations.

[BibT_eX]

[DOI]

New Gener. Comput., 1984

Parallel Execution of Logic Programs based on Dataflow Concept.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1982

List Processing with a Data Flow Machine.

[BibT_eX]

[DOI]