MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Kouichi Hirata" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Flattening and implication
by Kouichi Hirata — 1999 — in: Proc. 10th Internat. Conf. on Algorithmic Learning Theory, LNAI 1720
…Flattening and Implication ⋆ Kouichi Hirata ⋆⋆ Department of Artificial Intelligence, Kyushu…
Cited by 2 (2 self) – Add To MetaCart

On condensation of a clause
by Kouichi Hirata — 2003 — In Horvath T. and Yamamoto A., Eds, Proceedings of the 15th Int. Conf. on Inductive Logic Programming, LNAI, Springer-Verlag
…On Condensation of a Clause ⋆ Kouichi Hirata Department of Artificial Intelligence Kyushu…
Cited by 1 (0 self) – Add To MetaCart

On the hardness of learning acyclic conjunctive queries
by Kouichi Hirata — 2000 — Proc. 11th Internat. Conf. on Algorithmic Learning Theory, LNAI 1968 (Springer
…On the Hardness of Learning Acyclic Conjunctive Queries # Kouichi Hirata ## Department…
Cited by 1 (1 self) – Add To MetaCart

Finding Minimal Models by the Semantic Tableaux System
by Kouichi Hirata — 1992
…Finding Minimal Models by the Semantic Tableaux System Kouichi Hirata Research Institute…
Cited by 1 (1 self) – Add To MetaCart

Rule-Generating Abduction for Recursive Prolog
by Kouichi Hirata — 1994 — Proceedings of the 4th International Workshop on Analogical and Inductive Inference, Lecture Notes in Artificial Intelligence 872
…Rule-Generating Abduction for Recursive Prolog Kouichi Hirata Research Institute of Fundamental…
Cited by 1 (1 self) – Add To MetaCart

A Classification of Abduction : Abduction for Logic Programming
by Kouichi Hirata — 1995 — In Proceedings of the Fourteenth International Machine Learning Workshop, ML-14
…A Classification of Abduction : Abduction for Logic Programming Kouichi Hirata Research Institute…
Cited by 13 (4 self) – Add To MetaCart

Rule-Generating Abduction for Recursive Prolog
by Kouichi Hirata Kyushu, Kouichi Hirata — 1994
…Rule-Generating Abduction for Recursive Prolog 3 Kouichi Hirata Kyushu Institute of Technology…
Add To MetaCart

Efficient Second-Order Predicate Schema Matching Algorithm
by Masateru Harao, Keizo Yamada, Kouichi Hirata
…E#cient Second-Order Predicate Schema Matching Algorithm Masateru Harao Keizo Yamada Kouichi Hirata…
Add To MetaCart

The Hardness Results of Actively Predicting Simple Subclasses of Context-Free Grammars
by Kouichi Hirata, Hiroshi Sakamoto, Hiroki Arimura
…The Hardness Results of Actively Predicting Simple Subclasses of Context-Free Grammars Kouichi…
Add To MetaCart

Tractable and Intractable Second-Order Matching Problems
by Kouichi Hirata, Keizo Yamada, Masateru Harao — 1999 — In Proc. 5th Ann. Int. Computing and Combinatorics Conference (COCOON'99), LNCS 1627
…Tractable and Intractable Second-Order Matching Problems # Kouichi Hirata Keizo Yamada Masateru…
Cited by 9 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB