Masateru Harao

According to our database1, Masateru Harao authored at least 28 papers between 1975 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Efficient schema matching algorithm based on pre-checking.
Systems and Computers in Japan, 2007

Multiagent-based modelling and simulation of consensus formations in arguments.
Int. J. Agent Oriented Softw. Eng., 2007

Mining Frequent Diamond Episodes from Event Sequences.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2007

2006
Mining Sectorial Episodes from Event Sequences.
Proceedings of the Discovery Science, 9th International Conference, 2006

2005
Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Pruning.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2005

Development of a Multi-Agent Based Generic Traffic Simulator.
Proceedings of the New Frontiers in Artificial Intelligence, 2005

On Generalization and Subsumption for Ordered Clauses.
Proceedings of the New Frontiers in Artificial Intelligence, 2005

Performance Analysis for Construction of a Performance Practice Support System.
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.
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

On Finding Acyclic Subhypergraphs.
Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

The <i>q</i>-Gram Distance for Ordered Unlabeled Trees.
Proceedings of the Discovery Science, 8th International Conference, 2005

2004
Tractable and intractable second-order matching problems.
J. Symb. Comput., 2004

Generalization Algorithms for Second-Order Terms.
Proceedings of the Inductive Logic Programming, 14th International Conference, 2004

Extracting Minimal and Closed Monotone DNF Formulas.
Proceedings of the Discovery Science, 7th International Conference, 2004

2003
Extraction of Coverings as Monotone DNF Formulas.
Proceedings of the Discovery Science, 6th International Conference, 2003

2000
Higher order generalization and its application in program verification.
Ann. Math. Artif. Intell., 2000

1998
Higher Order Generalization.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997
Proof Discovery in LK System By Analogy.
Proceedings of the Advances in Computing Science, 1997

1992
Analogical Reasoning for L K Theorem Proving.
Proceedings of the Automated Reasoning, 1992

1990
Automated Design of Circuits from Recursion Equations Using Theorem-Proving Technique.
Systems and Computers in Japan, 1990

Analogical Reasoning Based on Higher-Order Unification.
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.
Systems and Computers in Japan, 1989

1988
Knowledge Representation and Inference Based on First-Order Modal Logic.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987
Completeness of temporal and spatial logic ETSL.
Systems and Computers in Japan, 1987

1984
Indecomposable Maps in Tessellation Structures of Arbitrary Dimension.
J. Comput. Syst. Sci., 1984

1979
Global Mapping Space of Cellular Systems
Inf. Control., November, 1979

1978
On Some Dynamical Properties of Finite Cellular Automaton.
IEEE Trans. Computers, 1978

1975
Fault Tolerant Cellular Automata.
J. Comput. Syst. Sci., 1975


  Loading...