Masateru Harao

According to our database, Masateru Harao authored at least 29 papers between 1975 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Efficient schema matching algorithm based on pre-checking.

Kengo Kubo, Keizo Yamada, Kouichi Hirata, Masateru Harao

Syst. Comput. Jpn., 2007

Multiagent-based modelling and simulation of consensus formations in arguments.

Kosuke Ono, Masateru Harao

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

Mining Frequent Diamond Episodes from Event Sequences.

Takashi Katoh, Kouichi Hirata, Masateru Harao

Proceedings of the Modeling Decisions for Artificial Intelligence, 2007

2006

Mining Sectorial Episodes from Event Sequences.

Takashi Katoh, Kouichi Hirata, Masateru Harao

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

2005

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

Yoshikazu Shima, Kouichi Hirata, Masateru Harao

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

Development of a Multi-Agent Based Generic Traffic Simulator.

Kosuke Ono, Takashi Hata, Toyofumi Maetani, Masateru Harao, Kouichi Hirata

Proceedings of the New Frontiers in Artificial Intelligence, 2005

On Generalization and Subsumption for Ordered Clauses.

Megumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao

Proceedings of the New Frontiers in Artificial Intelligence, 2005

Performance Analysis for Construction of a Performance Practice Support System.

Shogo Ozaki, Masateru Harao, Kouichi Hirata

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.

Kosuke Ono, Masateru Harao, Kouichi Hirata

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

On Finding Acyclic Subhypergraphs.

Kouichi Hirata, Megumi Kuwabara, Masateru Harao

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

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

Nobuhito Ohkura, Kouichi Hirata, Tetsuji Kuboyama, Masateru Harao

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

2004

Tractable and intractable second-order matching problems.

Kouichi Hirata, Keizo Yamada, Masateru Harao

J. Symb. Comput., 2004

Generalization Algorithms for Second-Order Terms.

Kouichi Hirata, Takeshi Ogawa, Masateru Harao

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

Extracting Minimal and Closed Monotone DNF Formulas.

Yoshikazu Shima, Shinji Mitsuishi, Kouichi Hirata, Masateru Harao

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

2003

Extraction of Coverings as Monotone DNF Formulas.

Kouichi Hirata, Ryosuke Nagazumi, Masateru Harao

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

2000

Higher order generalization and its application in program verification.

Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya

Ann. Math. Artif. Intell., 2000

1998

Higher Order Generalization.

Jianguo Lu, Masateru Harao, Masami Hagiya

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

1997

Proof Discovery in LK System By Analogy.

Masateru Harao

Proceedings of the Advances in Computing Science, 1997

1992

Analogical Reasoning for L K Theorem Proving.

Masateru Harao

Proceedings of the Automated Reasoning, 1992

1991

Proving based on similarity.

Ken-etsu Fujita, Masateru Harao

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

1990

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

Masateru Harao, Koji Iwanuma

Syst. Comput. Jpn., 1990

Analogical Reasoning Based on Higher-Order Unification.

Masateru Harao

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.

Masateru Harao, Koji Iwanuma

Syst. Comput. Jpn., 1989

1988

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

Koji Iwanuma, Masateru Harao

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

1987

Completeness of temporal and spatial logic ETSL.

Koji Iwanuma, Masateru Harao, Shoichi Noguchi

Syst. Comput. Jpn., 1987

1984

Indecomposable Maps in Tessellation Structures of Arbitrary Dimension.

Hiromi Miyajima, Masateru Harao, Shoichi Noguchi

J. Comput. Syst. Sci., 1984

1979

Global Mapping Space of Cellular Systems

Masateru Harao, Shoichi Noguchi

Inf. Control., November, 1979

1978

On Some Dynamical Properties of Finite Cellular Automaton.

Masateru Harao, Shoichi Noguchi

IEEE Trans. Computers, 1978

1975

Fault Tolerant Cellular Automata.

Masateru Harao, Shoichi Noguchi

J. Comput. Syst. Sci., 1975