Masateru Harao

Int. J. Agent Oriented Softw. Eng., 2007

Mining Frequent Diamond Episodes from Event Sequences.

[BibT_eX]

[DOI]

Takashi Katoh

Proceedings of the Modeling Decisions for Artificial Intelligence, 2007

2006

Mining Sectorial Episodes from Event Sequences.

[BibT_eX]

[DOI]

Takashi Katoh

Proceedings of the Discovery Science, 9th International Conference, 2006

2005

Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning.

[BibT_eX]

[DOI]

Yoshikazu Shima

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2005

Development of a Multi-Agent Based Generic Traffic Simulator.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2005

On Generalization and Subsumption for Ordered Clauses.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2005

Performance Analysis for Construction of a Performance Practice Support System.

[BibT_eX]

[DOI]

Shogo Ozaki

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments.

[BibT_eX]

[DOI]

Kosuke Ono

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

On Finding Acyclic Subhypergraphs.

[BibT_eX]

[DOI]

Megumi Kuwabara

Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

The <i>q</i>-Gram Distance for Ordered Unlabeled Trees.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 8th International Conference, 2005

2004

Tractable and intractable second-order matching problems.

[BibT_eX]

[DOI]

Keizo Yamada

J. Symb. Comput., 2004

Generalization Algorithms for Second-Order Terms.

[BibT_eX]

[DOI]

Takeshi Ogawa

Proceedings of the Inductive Logic Programming, 14th International Conference, 2004

Extracting Minimal and Closed Monotone DNF Formulas.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 7th International Conference, 2004

2003

Extraction of Coverings as Monotone DNF Formulas.

[BibT_eX]

[DOI]

Ryosuke Nagazumi

Proceedings of the Discovery Science, 6th International Conference, 2003

2000

Higher order generalization and its application in program verification.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2000

1998

Higher Order Generalization.

[BibT_eX]

[DOI]

Jianguo Lu

Masami Hagiya

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Proof Discovery in LK System By Analogy.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1997

1992

Analogical Reasoning for L K Theorem Proving.

[BibT_eX]

Proceedings of the Automated Reasoning, 1992

1991

Proving based on similarity.

[BibT_eX]

Ken-etsu Fujita

Proceedings of the Algorithmic Learning Theory, 2nd International Workshop, 1991

1990

Automated Design of Circuits from Recursion Equations Using Theorem-Proving Technique.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1990

Analogical Reasoning Based on Higher-Order Unification.

[BibT_eX]

Proceedings of the Algorithmic Learning Theory, First International Workshop, 1990

1989

Transformation rules for automated design of circuits by theorem-proving techniques. Transformation from recursion equations to circuit descriptions.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1989

1987

Completeness of temporal and spatial logic ETSL.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1987

Knowledge Representation and Inference Based on First-Order Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming '87, 1987

1984

Indecomposable Maps in Tessellation Structures of Arbitrary Dimension.

[BibT_eX]

[DOI]

Hiromi Miyajima

J. Comput. Syst. Sci., 1984

1979

Global Mapping Space of Cellular Systems

[BibT_eX]

[DOI]

Inf. Control., November, 1979

1978

On Some Dynamical Properties of Finite Cellular Automaton.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1978

1975

Fault Tolerant Cellular Automata.

[BibT_eX]

[DOI]