国際会議講演論文

■Discovering Inductive Theorems Using Rewriting Induction
Haruhiko Sato, Masahito Kurihara:
Proc. 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), pp.989‐993, Budapest, Hungary (2016)

■Evaluation of Causal Discovery Models in Bivariate Case Using Real World Data
Jing Song, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara:
Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2016 (IMECS 2016), pp. 291-295, Hong Kong (2016)

■A New Implementation of Multi-Context Algebraic Inductive Theorem Prover
ChengCheng Ji, Haruhiko Sato, Masahito Kurihara:
Lecture Notes in Engineering and Computer Science: Proceedings of World Congress on Engineering and Computer Scientists 2015 (WCECS 2015), pp.109-114, San Francisco, USA (2015)

■Crowdsourced Semantic Matching of Multi-Label Annotations
Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato:
Proc. International Joint Conference on Artificial Intelligence (IJCAI-15), pp. 3483-3489, Buenos Aires, Argentina (2015)

■Multi-Emotion Estimation in Narratives from Crowdsourced Annotations
Lei Duan, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara:
Proc. ACM/IEEE Joint Conference on Digital Libraries (JCDL 2015) , pp.91-100, Knoxville, USA (2015)

■An Efficient Implementation of Multi-Context Algebraic Reasoning System with Lazy Evaluation
ChengCheng Ji, Haruhiko Sato, Masahito Kurihara:
Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2015 (IMECS 2015), pp.201-205, Hong Kong (2015)

■Establishing Relationships between Emotion Taxonomies Using the Vector Space Model
Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato:
Lecture Notes in Engineering and Computer Science: Proceedings of The International MultiConference of Engineers and Computer Scientists 2015 (IMECS 2015), pp.19-24, Hong Kong, (2015)

■ Method Sequence Generation for Multiple Object States using Dynamic Symbolic Execution
Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
Proc. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2014), pp.3653‐3657, San Diego, USA (2014)

■ Transfer Learning Based on the Observation Probability of Each Attribute
Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
Proc. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2014), pp.3648‐3652, San Diego, USA(2014)

■ Monophonic Sound Source Separation by Non-negative Sparse Autoencoders
Keiki Zen, Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
Proc. 2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2014), pp.3644‐3647, San Diego, USA(2014)

■ Image Classification by Transfer Learning Based on the Predictive Ability of Each Attribute
Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
Proc. International MultiConference of Engineers and Computer Scientists 2014 (IMECS 2014), pp.75-78, Hong Kong (2014)

■ Inferring Intentions of Twitter Users to Visit Places
Chengcheng Zhang, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
Proc. International MultiConference of Engineers and Computer Scientists 2014 (IMECS 2014), pp. 473-476, Hong Kong (2014)

■ Automated Test Case Generation Considering Object States in Object-Oriented Programming
Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara:
Proc. International MultiConference of Engineers and Computer Scientists 2014 (IMECS 2014), pp. 569-573, Hong Kong (2014)

■ Learning an Accurate Entity Resolution Model from Crowdsourced Labels
Jingjing Wang, Satoshi Oyama, Masahito Kurihara, Hisashi Kashima:
Proc. 8th International Conference on Ubiquitous Information Management and Communication (IMCOM (ICUIMC) 2014) Siem Reap, Cambodia (2014)

■ Recognition of Normal Forms with Tree Automata for Inductive Theorem Proving
Haruhiko Sato and Masahito Kurihara:
Proc. Science and Information Conference 2013 (SAI 2013), pp.524-528, London, UK(2013)

■ An Incremental Self-organizing Neural Network Based on Enhanced Competitive Hebbian Learning
Hao Liu, Masahito Kurihara, Satoshi Oyama, and Haruhiko Sato:
Proc. 2013 International Joint Conference on Neural Networks (IJCNN 2013), Vol.1, pp.105-113, Dallas, USA (2013)

■ Extracting Desirable Moves from Match Logs of SRPG Using n-Gram Statistics
Takuya Narita, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara :
Proceedings of The International MultiConference of Engineers and Computer Scientists 2013 (IMECS 2013), pp.56-59, Hong Kong (2013)

■ A Preference Search System Using an Interactive Genetic Algorithm
Takuma Katanosaka, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara :
Proceedings of The International MultiConference of Engineers and Computer Scientists 2013 (IMECS 2013), pp.66-69, Hong Kong (2013)

■ Shop Inference System Using Location Data and Bayesian Network
Takuya Bando, Masahito Kurihara, Satoshi Oyama, Haruhiko Sato :
Proceedings of The International MultiConference of Engineers and Computer Scientists 2013 (IMECS 2013), pp.76-78, Hong Kong (2013)

■ Efficient and Robust Clustering on Large-scale Data Sets Using Fuzzy Neighborhood Functions
Hao Liu, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato :
Proceedings of The International MultiConference of Engineers and Computer Scientists 2013 (IMECS 2013), pp.328-331, Hong Kong (2013)

■ Classification of Twitter Users Based on Following Relations
Takuya Yamashita, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara :
Proceedings of The International MultiConference of Engineers and Computer Scientists 2013 (IMECS 2013), pp.341-343, Hong Kong (2013)

■ Parallelization of termination checker for term rewriting system
Rui Ding, Haruhiko Sato, and Masahito Kurihara:
Proc. 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012), pp.1824‐1829, Seoul, Korea (2012)

■ A robust energy artificial neuron based incremental self-organizing neural network with a dynamic structure
Hao Liu, Haruhiko Sato, Satoshi Oyama, and Masahito Kurihara:
Proc. 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2012), pp.1806‐1811, Seoul, Korea (2012)

■ Parallelization of termination checker of term rewriting systems
Rui Ding, Haruhiko Sato, and Masahito Kurihara:
Proc. International MultiConference of Engineers and Computer Scientists (IMECS 2012), pp.757-762, Hong Kong (2012)

■ Multi-context rewriting induction with termination checkers
Haruhiko Sato, Masahito Kurihara:
Proc. International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation, pp.49-58, Sapporo (2012)

■ A study on energy artificial neuron model and its applications in self-growing and self-organizing neural network
Hao Liu, Xiaojuan Ban, Zhuoran Xu, and Masahito Kurihara:
Proc. 18th World Congress of the International Federation of Automatic Control (IFAC 2011), pp.1-6, Milano, Italy (2011)

■ Comment-based keyword programming
Yusuke Sakamoto, Haruhiko Sato, Satoshi Oyama and Masahito Kurihara:
Proc. International MultiConference of Engineers and Computer Scientists (IMECS 2011), pp.750-754, Hong Kong (2011)

■ Uenew: a cross-browsing communication system based on peer-to-peer network
Ryohei Banno, Haruhiko Sato, Satoshi Oyama and Masahito Kurihara:
Proc. International MultiConference of Engineers and Computer Scientists (IMECS 2011), pp.697-701, Hong Kong (2011)

■ Formalizing dialectical reasoning for compromise-based justification
Hiroyuki Kido, Masahito Kurihara, Daisuke Katagami and Katsumi Nitta:
Proc. 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011), pp. 355-363, Rome, Italy (2011)

■ Artificial creature with sophisticated flights
Masashi Furukawa, Keiji Suzuki and Masahito Kurihara:
Proc. 4th International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2011), pp.53-58, Sapporo (2011)

■ A method for describing structure of system security based on trust and authentication
Tsukasa Maeda and Masahito Kurihara:
Proc. 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010), pp.350‐357, Istanbul, Turkey (2010)

■ Improvement and implementation of keyword programming
Sakamoto, Haruhiko Sato and Masahito Kurihara:
Proc. 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010), pp.474‐480, Istanbul, Turkey (2010)

■ Simulation of consensus formation models based on structural modeling
Tamotsu Mitamura, Takahumi Oohori, and Masahito Kurihara:
Proc. 2010 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2010), pp.601‐607, Istanbul, Turkey (2010)

■ Optimizing mkbTT
Sarah Winkler, Haruhiko Sato, Aart Middeldorp, and Masahito Kurihara:
Proc. 21st International Conference on Rewriting Techniques and Applications (RTA 2010), pp.373-384, Edinburgh, UK (2010)

■ Design and Implementation of Multi-Context Rewriting Induction
Haruhiko Sato and Masahito Kurihara:
Proc. International MultiConference of Engineers and Computer Scientists (IMECS 2010), pp.350-355, Hong Kong (2010)

■ A Study on Online Aspect Mining
Yusuke Sakamoto, Haruhiko Sato, and Masahito Kurihara:
Proc. International MultiConference of Engineers and Computer Scientists (IMECS 2010), pp.735-738, Hong Kong (2010)

■ Multi-Context Rewriting Induction
Masahito Kurihara and Haruhiko Sato:
Proc. 3rd International Symposium on Global COE Program of Center for Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2010), pp.42-45, Sapporo (2010)

■ Quick Maximum Power Point Tracking of Photovoltaic using Online Learning Neural Network
Yasushi Kohata, Koichiro Yamauchi, Masahito Kurihara:
16th International Conference on Neural Information Processing (ICONIP 2009), Bangkok, Thailand (CD-ROM)(2009)

■ User-friendly GUI in software model checking
Shoichi Yokoyama, Haruhiko Sato, and Masahito Kurihara:
Proc. 2009 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2009), pp.474-479, San Antonio, USA (2009)

■ Personalizing graphical user interfaces on flexible widget layout
Takuto Yanagida, Hidetoshi Nonaka, Masahito Kurihara:
Proc. 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2009), pp.255-263, Pittsburgh, USA (2009)

■ Design and Performance Evaluation of Knuth-Bendix Multi-Completion System Using Boolean Constrained Reduction Orders
Haruhiko Sato and Masahito Kurihara:
Trends in Communication Technologies and Engineering Science, Lecture Notes Electrical Engineering 33, pp. 251-263(2009)

■ Emergence of the behavior intelligence on artificial creatures in a physical virtual space
Masahito Kurihara, Masashi Furukawa, and Keiji Suzuki:
Proc. 2009 International Symposium on Global COE Program of Center for Next-Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2009), pp.80-81, Sapporo(2009)

■ Detecting blog groups using vector space models for link structures
Yuichi Sasaki and Masahito Kurihara:
Proc. 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), Singapore, pp.980-985(2008)

■ Implementation and performance evaluation of multi-completion with termination checking
Haruhiko Sato and Masahito Kurihara:
Proc. 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), Singapore, pp.991-996(2008)

■ Consensus formation models based on structural modeling
Tamotsu Mitamura, Takahumi Oohori, and Masahito Kurihara:
Proc. 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), Singapore (2008)

■ Keeping the stability of solutions to dynamic fuzzy CSPs
Yasuhiro Sudo, Masahito Kurihara , and Takuto Yanagida:
Proc. 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), Singapore (2008)

■ Implementation and performance evaluation of multi-completion with termination checking
Haruhiko Sato and Masahito Kurihara:
Proc. 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), Singapore (2008)

■ Detecting blog groups using vector space models for link structures
Yuichi Sasaki and Masahito Kurihara:
Proc. 2008 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2008), Singapore (2008)

■ Multi-completion with termination tools
Haruhiko Sato, Sarah Winkler, Masahito Kurihara and Aart Middeldorp:
Proc. 4th International Joint Conference on Automated Reasoning, (IJCAR 2008), Lecture Notes in Computer Science 5195, pp.306-312, Sydney, Australia (2008)

■ Design and Implementation of Multi-completion procedures with termination checking
Haruhiko Sato and Masahito Kurihara:
Proc. International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08), pp.33-40, Orlando, USA (2008)

■ Multi-completion procedures for term rewriting systems with modern termination checking
Haruhiko Sato and Masahito Kurihara:
Proc. International Conference on Computing, Communications and Control (CCCT 2008), pp.192-197, Orlando, USA (2008)

■ Multi-completion procedures for term rewriting systems based on constraint system
Haruhiko Sato and Masahito Kurihara:
Proc. International Conference on Information Technology and Applications (ICITA2008), pp.744-748, Cairns, Australia (2008)

■ Empirical Analysis of Grouping Web Pages using Vector Space Model for Link Structures
Yuichi Sasaki and Masahito Kurihara:
Proc. 2008 IEEE Conference on Soft Computing in Industrial Applications (SMCia/08), pp.1-6, Muroran, Japan (2008)

■ Computational Dialectics Based on Specialization and Generalization ? - A New Reasoning Method for Conflict Resolution -
Hiroyuki Kido and Masahito Kurihara:
Proc. Second International Workshop on Juris-informatics (JURISIN 2008), Lecture Notes in Artificial Intelligence, pp.1-10, Asahikawa, Japan (2008)

■ MKBOOL: A multi-completion system for boolean constrained reduction orders
Haruhiko Sato and Masahito Kurihara:
Proc. International Conference on Computer Science 2008 (ICCS 2008), pp.354-359, Hong Kong (2008)

■ Searching for successful reduction orders in equational multi-completion with boolean constraints
Masahito Kurihara and Haruhiko Sato:
Proc. 2008 International Symposium on Global COE Program of Center for Next-Generation Information Technology based on Knowledge Discovery and Knowledge Federation (GCOE-NGIT 2008), pp.64-69, Sapporo (2008)

■ Multi-completion procedures based on constraint system
Haruhiko Sato and Masahito Kurihara:
Proc. 11th Workshop on Intelligent and New-Generation Software (WINGS-11), pp.1-6, Sapporo (2007)

■ Closed Form Solutions for Connectivity of Fixed Radius Random Graphs in One-Dimensional Space
Ai Noshiro, Masahito Kurihara:
Proc. 2006 IEEE International Conference on Systems, Man, and Cybernetics, Taipei, Taiwan (2006)

■ User-Preferred Interface Design with Abstract Interaction Description Language
Takuto Yanagida, Hidetoshi Nonaka and Masahito Kurihara:
Proc. 2006 IEEE International Conference on Systems, Man, and Cybernetics, Taipei, Taiwan (2006)

■ An Acquiring Method of Macro-Actions in Reinforcement Learning
Takeshi Yoshikawa and Masahito Kurihara:
Proc. 2006 IEEE International Conference on Systems, Man, and Cybernetics, Taipei, Taiwan (2006)

■ Spread-Repair-Shrink: A hybrid algorithm for solving fuzzy constraint satisfaction problems
Yasuhiro Sudo and Masahito Kurihara:
Proc. IEEE World Congress on Computational Intelligence, Vancouver, Canada(2006)

■ Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm
Masato Noto and Masahito Kurihara:
Proc. IASTED International Conference on Advances in Computer Science and Technology, 67-72, Puerto Vallarta, Mexico (2006)

■ A set of pen-shaped input devices with specific affordances
Hidetoshi Nonaka and Masahito Kurihara:
Proc. 18th British Human Computer Interaction Annual Conference, Vol.2, 1-2, Edinburgh, UK(2005)

■ Anticipation of Mouse Pointer Movement Using Pressure Sensors
Hidetoshi Nonaka and Masahito Kurihara:
Proc. 7th Int. Conf. on Computing Anticipatory Systems, Liege, Belgium(2005)

■ Spread-Repair Algorithm for solving Extended Fuzzy Constraint Statisfaction Problems
Yasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura :
Proc. 4th IEEE International Workshop on Soft Computing as Transdisciplinary Science and Technology, Lecture Notes in Soft Computing, 891-901, Muroran, Japan(2005)

■ Analysis of Connectedness of the Fixed Radius Random Graph Model in One-dimensional Space
Ai Noshiro, Takeshi Yoshikawa, Masahito Kurihara:
Proc. 4th IEEE International Workshop on Soft Computing as Transdisciplinary Science and Technology, Lecture Notes in Soft Computing, 1280-1289, Muroran, Japan(2005)

■ Characteristic Analysis of Agents in Adaptive Consensus Formation Models
Hiroaki Oumi, Tamotsu Mitamura, Masahito Kurihara, Takafumi Oohori, Takeshi Yoshikawa:
Proc. 4th IEEE International Workshop on Soft Computing as Transdisciplinary Science and Technology, Lecture Notes in Soft Computing, 1329-1337, Muroran, Japan(2005)

■ Sensing pressure for authentication system using keystroke dynamics
Hidetoshi Nonaka and Masahito Kurihara,
Proc. International Conference on Computational Intelligence 2004, 19-22, Istanbul, Turkey (2004)

■ Extending fuzzy constraint satisfaction problems
Yasuhiro Sudo, Masahito Kurihara and Tamotsu Mitamura,
Proc. 6th International Conference on Fuzzy Systems, 26-30, Hanoi, Vietnam (2004)

■ Analysis of connectivity in the ad-hoc network model with the one-dimensional uniform distribution
Ai Noshiro, Takeshi Yoshikawa and Masahito Kurihara,
Proc. 6th International Conference on Fuzzy Systems, , 93-97, Hanoi, Vietnam (2004)

■ Description and acquirement of macro-actions in reinforcement learning
Takeshi Yoshikawa, Yuki Kanazawa and Masahito Kurihara,
Proc. 6th International Conference on Fuzzy Systems, 150-153, Hanoi, Vietnam (2004)

■ Use of highly accurate GPS in network-based barrier-free map creation system
Masahito Kurihara, Hidetoshi Nonaka and Takeshi Yoshikawa,
Proc. IEEE 2004 International Conference on Systems, Man and Cybernetics, 1-5, Hague, Netherlands(2004)

■Time-Frequency Decomposition in Gesture Recognition System Using Accelerometer
Hidetoshi Nonaka and Masahito Kurihara,
Proc. 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems, Lecture Notes in Artificial Intelligence 3213, Springer-Verlag, 1072-1078, Wellington, New Zealand (2004)

■Hybrid domain fuzzy constraint satisfaction problems and spread-repair algorithms
Yasuhiro Sudo, Masahito Kurihara and Tamotsu Mitamura,
Proc. SICE Annual Conference, 2118-2123, Sapporo, Japan (2004)

■ Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification
Masahito Kurihara and Hisashi Kondo,
Proc. 17th International Conference. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Lecture Notes in Computer Science 3029, Springer-Verlag, 827-837, Ottawa, Canada (2004)

■ Logic for multi-path message forwarding networks for mobile agents
Masahito Kurihara and Masanobu Numazawa,
Proc. 14th International Symposium on Methodologies for Intelligent Systems, Lecture Notes in Artificial Intelligence 2871, Springer-Verlag, 374-383, Maebasgi, Japan (2003)

■ Eye-Contact Based Communication Protocol in Human-Agent Interaction
Hidetoshi Nonaka and Masahito Kurihara,
Proc. 4th International Workshop on Intelligent Virtual Agents, Lecture Notes in Artificial Intelligence 2792, 106-110, Kloster Irsee, Germany (2003)

■ Anticipatory matching method for query-based head gesture identification
Hidetoshi Nonaka and Masahito Kurihara,
Proc. 6th International Conference on Computing Anticipatory Systems (2003)

■ A study on mixture models for genetic algorithms
Jun-ichi Imai, Hiroyuki Shioya and Masahito Kurihara,
Proc. SICE Annual Conference, 2573-2578, Fukui, Japan (2003)

■ A reinforcement learning system by using a mixture model of Bayesian network
Daisuke Kitakoshi, Hiroyuki Shioya and Masahito Kurihara,
Proc. SICE Annual Conference, 2386-2391, Fukui, Japan (2003)

■ Logic for multi-path message forwarding networks
Masahito Kurihara and Masanobu Numazawa,
Proc. IASTED International Conference on Computer Science and Technology, 325-330, Cancun, Mexico (2003)

■ Analysis of a method improving reinforcement learning agents' policies
Daisuke Kitakoshi, Masahito Kurihara and Hiroyuki Shioya,
Proc. 3rd International Conference on Intelligent Technologies, 219-225, Hanoi, Vietnum (2002)

■ Modeling and analysis of genetic algorithms based on the viewpoint of mixture systems
Jun-ichi Imai, Masahito Kurihara and Hiroyuki Shioya,
Proc. 3rd International Conference on Intelligent Technologies, 183-189, Hanoi, Vietnum (2002)

■ Pulse-based learning for object identification using ultrasound
Hidetoshi Nonaka and Masahito Kurihara,
Proc. 9th International Conference on Neural Information Processing, 2074-2077, Singapore (2002)

■ A graph transformation system model of reliable dynamic communication networks for location transparent mobile agents
Masahito Kurihara and Masanobu Numazawa,
Proc. IEEE International Conference on Systems, Man and Cybernetics, 1-5, Hamanet, Tunisia (2002)

■ Evolution and maintenance of proxy networks for location transparent mobile agents and formal representation by graph transformation rules
Masahito Kurihara and Masanobu Numazawa,
Proc. Pacific Asian Conference on Intelligent Systems, 151-155, Seoul, Korea (2001)

■ BDD encoding for partial order constraints and its application to expert systems in software verification domains
Masahito Kurihara and Hisashi Kondo,
Proc. IEEE International Conference on Systems, Man and Cybernetics, 2062-2067, Nashville, USA (2000)

■ Mobile agent systems with agent-based user-modifiability and their application to location transparency
Atsushi Shibuta and Masahito Kurihara,
Proc. 2nd Joint International Workshop of ORSJ and ASOR, 270-276, Sapporo, Japan (2000)

■ Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains
Masahito Kurihara andHisashi Kondo,
Proc. 12th Australian Joint Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence 1747, Springer-Verlag, 353-364, Sydney, Australlia (1999)

■ Design and heuristics for BDD-based automated termination verification system for rule-based programs
Hisashi Kondo and Masahito Kurihara,
Proc. IEEE International Conference on Systems, Man and Cybernetics, V, 738-743, Tokyo, Japan (1999)

■ A method for termination verification of rewrite rule programs
Masato Noto and Masahito Kurihara,
Proc. 15th National Conference of the Australian Society for Operations Research, 971-982 (1999)

■ Binary decision diagrams for mechanical verification of precedence-based termination of rewrite rules
Masahito Kurihara and Hisashi Kondo,
Proc. 5th Pacific Rim International Conference on Artificial Intelligence, 7-12, Singapore (1998)

■ Reflective agents for conditional rewriting
Masanobu Numasawa, Masahito Kurihara and Azuma Ohuchi,
Proc. 11th Australian Joint Conference on Artificial Intelligence, 85-96 (1998)

■ Reflective systems in rewriting language
Masanobu Numasawa, Masahito Kurihara and Azuma Ohuchi,
Proc. Internatinal Technical Conference on Circuits/Systems, Computers and Communications, 1161-1164 (1998)

■ Termination verification of equational programs
Masato Noto and Masahito Kurihara,
Proc. Internatinal Technical Conference on Circuits/Systems, Computers and Communications, 359-362 (1998)

■ Reflection in conditional REPS
Masanobu Numasawa, Masahito Kurihara and Azuma Ohuchi,
Proc. Internatinal Technical Conference on Circuits/Systems, Computers and Communications, 319-322 (1997)

■ A method for proving termination of functional programs
Masato Noto, Masahito Kurihara and Azuma Ohuchi,
Proc. Internatinal Technical Conference on Circuits/Systems, Computers and Communications, 47-50 (1997)

■ A reflective language based on conditional term rewriting
Masanobu Numazawa, Masahito Kurihara and Azuma Ohuchi,
Proc. International Symposium on Design and Implementation of Symbolic Computation Systems, 65-66 (1996)

■ Probabilistic analysis of autonomous distributed processing system by Petri net
Masashi Katsumata, Masahito Kurihara, Azuma Ohuchi and Yoshio Sugasawa,
Proc. Second Australia-Japan Workshop on Stochastic Model in Engineering, Technology and Management, 313-320 (1996)

■ Meta-computation in a conditional term rewriting-based language
Masanobu Numazawa, Masahito Kurihara and Azuma Ohuchi,
Proc. International Conference on Information Systems Analysis and Synthesis, 14-21 (1996)

■ Completion for multiple reduction orderings
Masahito Kurihara, Hisashi Kondo and Azuma Ohuchi,
Proc. 6th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 914, Springer-Verlag, 71-85, Kaiserslautern, Germany (1995)

■ Termination of combination of composable term rewriting systems
Masahito Kurihara and Azuma Ohuchi,
Proc. 7th Australian Joint Conference on Artificial Intelligence, World Scientific Publishing, 227-234, Armidale, Australlia (1994)

■ Expert system for proving termination of rewrite rule programs by path orderings with extended status
Masato Noto, Masahito Kurihara and Azuma Ohuchi,
Proc. IEEE Symposium on Emerging Technologies & Factory Automation, 142-147 (1994)

■ An algebraic specification and an object-oriented implementation of a reflective language
Masahito Kurihara and Azuma Ohuchi,
Proc. IMSA 92 International Workshop on Reflection and Meta-level Architecture, 137-142, Tokyo, Japan (1992)

■ Diagnosis of fuzzy logic circuits based on constraint propagation
Yoshihiro Nakagawa, Masahito Kurihara and Azuma Ohuchi,
Proc. 2nd Pacific Rim International Conference on Artificial Intelligence, 1298-1302, Seoul, Korea (1992)

■ Noncopying term rewriting and modularity of termination
Masahito Kurihara and Azuma Ohuchi,
Proc. 2nd Pacific Rim International Conference on Artificial Intelligence, 153-159, Seoul, Korea (1992)

■ An algebraic specification of a reflective language
Masahito Kurihara and Azuma Ohuchi,
Proc. 15th IEEE International Computer Software & Applications Conference, 231-236, Tokyo, Japan (1991)

■ Using ATMS to efficiently verify the termination of term rewriting systems
Masahito Kurihara, Hisashi Kondo andAzuma Ohuchi,
Proc. Pacific Rim International Conference on Artificial Intelligence, 456-461, Nagoya, Japan (1990)

■ Developing a consensus model in Flexible ISM
Azuma Ohuchi and Masahito Kurihara,
Proc. IEEE International Conference on Systems, Man, and Cybernetics, 72-77 (1990)

■ Termination verifier of term rewriting systems with reason maintenance system
Hisashi Kondo, Masahito Kurihara and Azuma Ohuchi,
Proc. Japanese-Sino Sapporo-Shenyang International Conference on Computer Applications, 5-8, Sapporo (1990)

■ Termination of direct sum of simply-terminating term rewriting systems
Masahito Kurihara and Azuma Ohuchi,
Proc. International Conference on Information Technology Commemorating the 30th Anniversary of the Information Processing Society of Japan, 11-18, Tokyo, Japan (1990)

■ Package-level fault diagnosis of digital circuits based on automated reasoning
Yoshihiro Nakagawa, Tadaaki Oda, Masahito Kurihara and Azuma Ohuchi,
Proc. SICE International Annual Conference, 685-688, Tokyo, Japan (1990)

■ Development of general diagnostic reasoning system and its application to logic circuits
Masahito Kurihara, Yoshimichi Kitaya and Azuma Ohuchi, Yoshihiro Nakagawa,
Proc. Joint Technical Conference on Circuits/Systems, Computers and Communications, 537-542, Sapporo, Japan (1989)

■ Visual simulation language for computer-controlled personal transportation systems
Masahito Kurihara, Azuma Ohuchi and Ikuo Kaji,
Proc. Sapporo International Computer Graphics Symposium, 144-149, Sapporo, Japan (1987)

■ Implication theory and algorithm for reachability matrix model
Azuma Ohuchi, Masahito Kurihara and Ikuo Kaji,
Proc. IEEE International Conference on Systems, Man, and Cybernetics, 920-924 (1985)

■ Reliability and availability analysis of a two-unit parallel redundant system with bivariate exponential lifetimes
Yoshio Sugasawa, Ikuo Kaji and Masahito Kurihara,
Proc. International Conference on Policy Analysis and Information Systems, 637-647, Taipei, Taiwan (1981)