Masateru Harao

Publication Activity (10 Years)

Years Active: 1975-2007
Publications (10 Years): 0

Publications

Kosuke Ono, Masateru Harao
Multiagent-based modelling and simulation of consensus formations in arguments. Int. J. Agent Oriented Softw. Eng. 1 (2) (2007)
Takashi Katoh, Kouichi Hirata, Masateru Harao
Mining Frequent Diamond Episodes from Event Sequences. MDAI (2007)
Kengo Kubo, Keizo Yamada, Kouichi Hirata, Masateru Harao
Efficient schema matching algorithm based on pre-checking. Systems and Computers in Japan 38 (4) (2007)
Takashi Katoh, Kouichi Hirata, Masateru Harao
Mining Sectorial Episodes from Event Sequences. Discovery Science (2006)
Kouichi Hirata, Megumi Kuwabara, Masateru Harao
On Finding Acyclic Subhypergraphs. FCT (2005)
Nobuhito Ohkura, Kouichi Hirata, Tetsuji Kuboyama, Masateru Harao
-Gram Distance for Ordered Unlabeled Trees. Discovery Science (2005)
Shogo Ozaki, Masateru Harao, Kouichi Hirata
Performance Analysis for Construction of a Performance Practice Support System. ICITA (2) (2005)
Kosuke Ono, Masateru Harao, Kouichi Hirata
Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments. ICITA (1) (2005)
Kosuke Ono, Takashi Hata, Toyofumi Maetani, Masateru Harao, Kouichi Hirata
Development of a Multi-Agent Based Generic Traffic Simulator. JSAI Workshops (2005)
Megumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao
On Generalization and Subsumption for Ordered Clauses. JSAI Workshops (2005)
Yoshikazu Shima, Kouichi Hirata, Masateru Harao
Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning. PAKDD (2005)
Kouichi Hirata, Keizo Yamada, Masateru Harao
Tractable and intractable second-order matching problems. J. Symb. Comput. 37 (5) (2004)
Yoshikazu Shima, Shinji Mitsuishi, Kouichi Hirata, Masateru Harao
Extracting Minimal and Closed Monotone DNF Formulas. Discovery Science (2004)
Kouichi Hirata, Takeshi Ogawa, Masateru Harao
Generalization Algorithms for Second-Order Terms. ILP (2004)
Kouichi Hirata, Ryosuke Nagazumi, Masateru Harao
Extraction of Coverings as Monotone DNF Formulas. Discovery Science (2003)
Jianguo Lu, John Mylopoulos, Masateru Harao, Masami Hagiya
Higher order generalization and its application in program verification. Ann. Math. Artif. Intell. 28 (1-4) (2000)
Kouichi Hirata, Keizo Yamada, Masateru Harao
Tractable and Intractable Second-Order Matching Problems. COCOON (1999)
Jianguo Lu, Masateru Harao, Masami Hagiya
Higher Order Generalization. JELIA (1998)
Masateru Harao
Proof Discovery in LK System By Analogy. ASIAN (1997)
Masateru Harao
Analogical Reasoning for L K Theorem Proving. IWAR (1992)
Ken-etsu Fujita, Masateru Harao
Proving based on similarity. ALT (1991)
Masateru Harao, Koji Iwanuma
Automated Design of Circuits from Recursion Equations Using Theorem-Proving Technique. Systems and Computers in Japan 21 (6) (1990)
Masateru Harao
Analogical Reasoning Based on Higher-Order Unification. ALT (1990)
Masateru Harao, Koji Iwanuma
Transformation rules for automated design of circuits by theorem-proving techniques. Transformation from recursion equations to circuit descriptions. Systems and Computers in Japan 20 (1) (1989)
Koji Iwanuma, Masateru Harao
Knowledge Representation and Inference Based on First-Order Modal Logic. FGCS (1988)
Koji Iwanuma, Masateru Harao
Knowledge Representation and Inference Based on First-Order Modal Logic. LP (1987)
Koji Iwanuma, Masateru Harao, Shoichi Noguchi
Completeness of temporal and spatial logic ETSL. Systems and Computers in Japan 18 (6) (1987)
Hiromi Miyajima, Masateru Harao, Shoichi Noguchi
Indecomposable Maps in Tessellation Structures of Arbitrary Dimension. J. Comput. Syst. Sci. 29 (2) (1984)
Masateru Harao, Shoichi Noguchi
Global Mapping Space of Cellular Systems Inf. Control. 43 (2) (1979)
Masateru Harao, Shoichi Noguchi
On Some Dynamical Properties of Finite Cellular Automaton. IEEE Trans. Computers 27 (1) (1978)
Masateru Harao, Shoichi Noguchi
Fault Tolerant Cellular Automata. J. Comput. Syst. Sci. 11 (2) (1975)