Books and Papers
1.
Books
A Model Generation Based Theorem Prover MGTP for First-Order Logic Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Lecture Notes in Artificial Intelligence 2408 (Co-authored) 2002/09
2.
Papers
Estimating the price sensitivity of e-commerce site users based on anomaly detection methods using probability ellipses 23rd Asia Pacific Industrial Engineering & Management System Conference (APIEMS 2023) (Co-authored) 2022/10
3.
Papers
Simulation-Based Classification in Multi-Objective Optimization Problems with Social Simulation Proc. of 17th annual Social Simulation Conference (SSC2022) (Co-authored) 2022/09
4.
Papers
Evaluation of Credibility for Reviewers and Review Scores Based on Link Analysis 2nd Asia Conference on Machine Learning and Computing (Sole-authored) 2018/12
5.
Papers
Discovering New Creative Mixtures of Cooking Ingredients 9th Workshop on Multimedia for Cooking and Eating Activities (CEA2017), in conjunction with The 2017 International Joint Conference on Artificial Intelligence (IJCAI2017) (Co-authored) 2017/08
6.
Papers
Application of Hidden Markov Model to Analyze Enthusiast's Dynamics of A Lifestyle Brand The Hawaii International Conference on System Sciences (HICSS 49) (Co-authored) 2016/01
7.
Papers
Understanding Changes in Customer Purchase Behavior: Study of Attenuation Model for Multiparametric Purchase Preferences IEEE International Workshop on Data Mining for Service (DMS2014) (in conjunction with The 2014 IEEE International Conference on Data Mining (ICDM 2014)), Shenzhen, China / December 14, 2014 (Co-authored) 2014/12
8.
Papers
Analysis Using Popularity Awareness Index, Recency Index and Purchase Diversity in Group Buying 14th Industrial Conference on Data Mining (ICDM), St. Petersburg / Russia, Advances in Data Mining, LNCS 8557, pp. 100-114, Springer, July 2014 (Co-authored) 2014/07
9.
Papers
Similarity Joins on Item Set Collections Using Zero-Suppressed Binary Decision Diagrams In Proc. of 18th International Conference on Database Systems for Advanced Applications (DASFAA), LNCS 7825, Part I, pp. 56 -70, Springer, April 2013, Wuhan, China (Co-authored) 2013/04
10.
Papers
Applicability of Existing Anonymization Methods to Large Location History Data in Urban Travel The 2012 IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2012), October 2012, Seoul, Korea, (Co-authored) 2012/10
11.
Papers
Incremental Set Recommendation Based on Class Differences In Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD), LNAI 7301, pp 183-194, Springer, May 2012, Kuala Lunpur, Malaysia (Co-authored) 2012/05
12.
Papers
Great East Japan Earthquake Viewed from a URL shortener ACM Special Workshop on the Internet and Disaster, December 2011, Tokyo (Co-authored) 2011/12
13.
Papers
Practical IT Training Courses using Open-Source Software Journal of Economics, Memoirs of the Faculty of Law and Literature, Shimane University, No.37 Special Issue, Open Source Policy and Promotion of IT Industries in East Asia, pp.37-42 (Co-authored) 2010/11
14.
Papers
Practical Education Courses on Open-Source Software in Japanese Higher Education The 6th International Conference on Open Source Systems (OSS2010), Workshop of Open Source Policy and Promotion of IT Industries in East Asia, pp.9-14 (Co-authored) 2010/06
15.
Papers
Information Technology Trends in a Decade Revealed by Text-mining The 3rd IEEE Pacific Visualization Symposium, pp.17-18, March 2010, Taipei, Taiwan (Co-authored) 2010/03
16.
Papers
A Foresight Methodology for Exploring Prior R&D Topics in Software Field : Calculation and Resolution of Conflicts (Co-authored) 2010/01
17.
Papers
Constructing Web Sites Evaluation Rules Based on Page-Staying Time The 13th IEEE International Symposium on Consumer Electronics May 25-28, 2009, Mielparque-Kyoto, Kyoto, Japan (Co-authored) 2009/05
18.
Papers
A Methodology for Planning R&D Strategies in IT Field In Proc. of Hawaii International Conference on System Sciences (HICSS-39), Vol 2, pp.45c, January 4-7, 2006, Kauai, Hawaii (Co-authored) 2006/01
19.
Papers
Semantic Mediawiki: A User-Oriented System for Integrated Content and Metadata Management System IADIS International Conference on WWW/Internet 2005, October 2005 (Co-authored) 2005/10
20.
Papers
Experiments on Quantitative Technology Trends Analysis from the Internet News Resources (Co-authored) 2005/07
21.
Papers
Technology Trends Analysis from the Internet Resources In Proc. of 9th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD), LNAI 3518, pp. 820-825, Springer, May 2005, Hanoi, Vietnam (Co-authored) 2005/05
22.
Papers
Answer Set Computation based on a Minimal Model Generation Theorem Prover In Proc. of 8th Pacific Rim International Conference on Artificial Intelligence (PRICAI), LNAI 3157, pp 43-52, Springer, August 2004, Auckland, New Zealand (Co-authored) 2004/08
23.
Papers
Answer Set Computation on a Minimal Model Generation Theorem Prover MM-MGTP Dagstuhl Seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints (Seminar 02381), Dagstuhl, Germany (Co-authored) 2002/09
24.
Papers
Legal Reasoning with Dynamic Rule Preferences Based on Theorem Proving Technologies In Proceedings of International Workshop on Informations & Electrical Engineering 2002, May 2002, Seoul, Korea (Co-authored) 2002/05
25.
Papers
Model generation theorem proving with interval constraints In F.Benhamou, W.J. Older, M.van Emden, and P.van Hentenryck,eds., Proc.of ILPS Post-Conf. Workshop on Interval Constraints, Portland/OR, Dec. December 1995, USA (Co-authored) 1995/12
26.
Papers
Two Approaches for Finite-Domain Constraint Satisfaction Problems Proc. of 12th International Conference on Logic Programming (ICLP) (Co-authored) 1995/07
27.
Papers
Two Approaches for Finite-Domain Constraint Satisfaction Problems Dagstuhl Seminar on Deduction (Seminar 9512), Dagstuhl, Germany (Co-authored) 1995/03
28.
Papers
Two Approaches for Finite-Domain Constraint Satisfaction Problems ICOT technical report, TR-911, Institute for New Generation Computer Technology, February 1995 (Co-authored) 1995/02
29.
Papers
Two Approaches for Finite-Domain Constraint Satisfaction Problems Fifth Generation Computer Systems (FGCS) 1994, Workshop W2 Automated Theorem Proving (Co-authored) 1994/12
30.
Papers
Constraint Propagation of CP and CMGTP : Experiments on Quasigroup Problems Workshop 1C (Automated Reasoning in Algebra), 12th International Conference on Automated Deduction (CADE-12), Nancy, France (Co-authored) 1994/06
31.
Papers
Introducing Constraint Propagation into Model Generation Theorem Prover (Co-authored) 1994/03
32.
Papers
Program synthesis by a model generation theorem prover ICOT technical report, TR-629, Institute for New Generation Computer Technology, May 1991 (Co-authored) 1991/05