Personal Information
Research Activity

seki hirohisa

Photograph

Affiliation

  • Department of Computer Science
    Department of Computer Science and Engineering

Title

  • Professor

Web Site

E-mail address

School Attended (except graduate school)

  • The University of Tokyo , Faculty of Engineering , 1979.03 , Graduated

Graduate School Attended, etc.

  • The University of Tokyo , Graduate School, Division of Engineering , Master Course , 1981.03 , Completed

Degree

  • The University of Tokyo , Other , Master of Engineering ,
  • The University of Tokyo , Other , Doctor of Engineering ,

External Career

  • Central Research Lab., Mitsubishi Electric Corp. , Researcher , 1981.04.01 - 1985.03.31
  • Institute of New Generation Computer Technology , Researcher , 1985.04.01 - 1989.03.31

Academic Society Joined

  • Association for Computing Machinery
  • Japan Society for Software Science and Technology
  • The Institute of Electronics, Information and Communication Engineers
  • Japanese Society for Artificial Intelligence
  • Information Processing Society of Japan
  • the Japan Society for Industrial and Applied Mathematics

Research Field (grants-in-aid-for-scientific-research classification)

  • Fundamental theory of informatics
  • Intelligent informatics

Research Career

No. Study period Current research subject Classification of research form Research program
1 2007.04 Study on Relational Data Mining Ordinary Research
2 2009.04 - 2012.03 Study on Computational Logic Individual Grant-in-Aid for Scientific Research

Research Achievement (Published Thesis)

No. Date of issuance Title of paper By type of journal Collaboration division Name of journal Volume
Number
Page
1 2014.12 Extending Co-logic Programs for Branching-Time Model Checking Others The simple work LOPSTR2013, Revised Selected Papers, Lecture Notes in Computer Science vol.8901 (p.127-144)
2 2014.12 Towards Efficient Closed Pattern Mining from Distributed Multi-Relational Data International conference proceedings The multiple authorship Proc. Joint 7th Int’l. Conf. on Soft Computing and Intelligent Systems and 15th Int’l. Symp. on Advanced Intelligent Systems (SCIS&ISIS 2014) (p.1138-1141)
3 2014.10 Merging Closed Pattern Sets in Distributed Multi-Relational Data International conference proceedings The multiple authorship Proc. 11th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2014) (p.71-82)
4 2014.09.09 Towards Efficient Merge Operations for Distributed Closed Pattern Mining Others The multiple authorship 平成26年度 電気・電子・情報関係学会東海支部連合大会論文集
5 2014.03 On Closed Pattern Mining from Distributed Relational Databases Others The multiple authorship Proc. of the 76th National Convention of IPSJ vol.1 (p.597-598)
6 2013.09 Extending Co-logic Programs for Branching-Time Model Checking International conference proceedings The simple work Proceedings of 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '13) (p.67-84)
7 2013.04.11 Proving Properties of Co-logic Programs with Negation by Program Transformations Others The simple work Lecture Notes in Computer Science vol.7844 (p.213-227)
8 2012.12 Proving Properties of Co-logic Programs by Unfold/fold Transformations Others The simple work Lecture Notes in Computer Science vol.7225 (p.205-220)
9 2012.10 Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results International conference proceedings The multiple authorship Proc. 9th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2012) (p.115-126)
10 2012.09 Proving Properties of Co-logic Programs with Negation by Program Transformations International conference proceedings The simple work Proc. of the 22nd Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2012) (p.184-198)
11 2012.03 Distributed Mining of Frequent Closed Patterns in Multi-Relational Data Others The multiple authorship Proc. of the 74th National Convention of IPSJ vol.2 (p.565-566)
12 2011.07 Proving Properties of Co-logic Programs by Unfold/fold Transformations International conference proceedings The simple work Pre-Proc. of the 21st Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2011) (p.112-126)
13 2011.04 On Inductive Proofs by Extended Unfold/fold Transformation Rules Others The simple work Lecture Notes in Computer Science, Springer-Verlag vol.6564 (p.117-132)
14 2010.10 On Enumerating Frequent Closed Patterns with Key in Multi-relational Data International conference proceedings The multiple authorship 13th International Conf. on Discovery Science, DS 2010, LNA! vol.6332 (p.72-86)
15 2010.07 On Inductive Proofs by Extended Unfold/fold Transformation Rules International conference proceedings The simple work Pre-Proc. of the 20th Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2010) (p.194-208)
16 2010.04.29 On Inductive and Coinductive Proofs via Unfold/Fold Transformations Academic Journal The simple work Logic-Based Program Synthesis and Transformation, Lecture Notes in Computer Science vol.6037 (p.82-96)
17 2009.11 On Enumerating Frequent Closed Patterns in Multi-Relational Data Mining Others The multiple authorship 7th Workshop on Informatics 2009 (p.89-94)
18 2009.09 On Inductive and Coinductive Proofs via Unfold/fold Transformations Others The simple work Proc. of the 19th Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2009), (p.1-15)
19 2009.03 On Negative Unfolding in the Answer Set Semantics Others The simple work Lecture Notes in Computer Science vol.5438 (p.168-184)
20 2008.07.18 On Negative Unfolding in the Answer Set Semantics International conference proceedings The simple work Proc. of Int'l. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2008) (p.73-87)
21 2003.09 On-line profit sharing works efficiently Others The multiple authorship Lecture Notes in Artificial Intelligence vol.2774 (p.317-324)
22 2002.09 MAP Classification with a Similarity Measure Others The multiple authorship Proc. IASTED Int'l Conference on Aritificial and Computational Intelligence (p.155-160)
23 2002.06 A Comparison of Three Methods for Parallelizing an ILP Algorithm FOIL Academic Journal The multiple authorship IEICE Trans. on Information and Systems vol.D-I, 85(6) (p.566-568)
24 2002.03 Adapting to Subsequent Changes of Environment by Learning Policy Precondition Academic Journal The multiple authorship Int'l. J. of Computer & Information Science vol.3(1) (p.49-58)
25 2002.03 Using Concept Learing for Restructuring Control Policy in Reinforcement Learning Academic Journal The multiple authorship Journal of Japanese Society for Artificial Intelligence vol.17(2) (p.135-144)
26 2001.08 Dynamic Load-balancing for Parallel Cost-based Abduction on Heterogeneous Distributed Environments Others The multiple authorship Proc. 2nd Int'l Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01) (p.1026-1032)
27 2001.08 Learning Preconditions for Control Policies in Reinforcement Learning Others The multiple authorship Proc. 2nd Int'l Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01) (p.47-54)
28 2000.03 PARCAR: A Parallel Cost-based Abductive Reasoning System Academic Journal The multiple authorship Trans. of Information Processing Society of Japan vol.41(3) (p.668-676)
29 1999.08 A Query Processing Method for Amalgamated Knowledge Bases Academic Journal The multiple authorship IEICE Trans. on Information and Systems vol.E82-D(8) (p.1180-1189)
30 1999.04 An Automated Reasoning System for Multi-Agent Environments Academic Journal The multiple authorship Journal of Japanese Society for Artificial Intelligence vol.14(3) (p.143-151)
31 1999.04 Cost-based Abduction using Binary Decision Diagrams Others The multiple authorship Lecture Notes in Artificial Intelligence vol.1611 (p.215-225)
32 1998.04 A Magic-set Approach to Computing Stable Models on MGTP Others The multiple authorship Proc. Workshop on Computational Aspects of Nonmonotonic Reasoning (p.56-61)
33 1998.04 Induction of Recursive Logic Programs Based on Structural Analysis of Saturations Academic Journal The multiple authorship Trans. of Information Processing Society of Japan vol.39(12) (p.3155-3164)
34 1998.04 Inducing Shogi Heuristics Using Inductive Logic Programming Others The multiple authorship Lecture Notes in Artificial Intelligence vol.1446(12) (p.155-164)
35 1998.01 A-SATCHMORE: SATCHMORE with Availability Checking Academic Journal The multiple authorship New Generation Computing vol.16(1) (p.55-74)
36 1997.08 Partial Deduction in Disjunctive Logic Programming Academic Journal The multiple authorship Journal of Logic Programming vol.32(3) (p.229-245)
37 1997.04 A Parallel Implementation of Cost-based Abductive Reasoning Others The multiple authorship 2nd ACM Int'l. Symposium on Parallel Symbolic Computation (PASCO'97) (p.111-118)
38 1997.04 Goal-directed Query Processing in Disjunctive Logic Databases Academic Journal The multiple authorship Trans. of Information Processing Society of Japan vol.38(1) (p.23-31)
39 1997.04 Making Theorem Prover SACHMORE More Efficient Academic Journal The multiple authorship Trans. of Information Processing Society of Japan vol.38(3) (p.443-452)
40 1997.04 Incorporating a Pruning Strategy into the Computation of Stable Models Based on MGTP Academic Journal The multiple authorship Journal of Japanese Society for Artificial Intelligence vol.12(5) (p.101-107)
41 1997.04 Induction of Logic Programs with More Than One Recursive Clause by Analyzing Saturations Others The multiple authorship Lecture Notes in Computer Science vol.1297 (p.165-172)
42 1997.04 Efficient Induction of Executable Logic Programs from Examples Others The multiple authorship Lecture Notes in Artificial Intelligence vol.1345 (p.212-224)
43 1996.10 Top-down Induction of Logic Programs from Incomplete Samples Others The multiple authorship Lecture Notes in Artificial Intelligence vol.1314 (p.265-282)
44 1996.04 An Automated Reasoning System for Multi-Agent Cooperation Others The multiple authorship 9th Int'l. Conf. on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA/AIE'96) (p.175-180)
45 1996.04 Improvement of Processor Efficiency in Parallel Search for Tsume-Shogi Game Tree Academic Journal The multiple authorship Trans. of Information Processing Society of Japan vol.37(9) (p.1745-1748)
46 1996.04 Parallel Cost-based Abductive Reasoning for Distributed Memory Systems Others The multiple authorship Lecture Notes in Computer Science vol.1114 (p.300-311)
47 1996.04 Implementing an Automated Reasoning System for Multi-Robot Cooperation Others The multiple authorship Distributed Autonomous Robotics Systems 2 (p.280-291)
48 1996.04 Image Filtering, Edge Detection, and Edge Tracing Using Fuzzy Reasoning Academic Journal The multiple authorship IEEE Trans. on Pattern Analysis and Machine Intelligence vol.18(5) (p.481-491)
49 1995.09 Goal-Directed Query Processing in Deductive Logic Databases Others The multiple authorship Lecture Notes in Computer Science vol.982 (p.415-430)
50 1995.04 Goal-Directed Query Processing in Disjunctive Logic Databases Others The multiple authorship Lecture Notes in Computer Science vol.970 (p.796-801)
51 1995.04 A Parallel Search Method in Tsume-shogi Game Tree and its Evaluation Academic Journal The multiple authorship 情報処理学会論文誌 vol.36(11) (p.2531-2539)
52 1995.04 Optimal Search in Cost-based Horn Abduction Academic Journal The multiple authorship Trans. of Information Processing Society of Japan vol.36(10) (p.2380-2390)
53 1994.04 Cost-based Horn Abduction and its Optimal Search Others The multiple authorship 3rd Int'l. Conf. on Automation, Robotics and Computer Vision (p.831-835)
54 1994.04 An Efficient Abductive Reasoning System Based on Program Analysis Academic Journal The multiple authorship Trans. of Information Processing Society of Japan vol.35(10) (p.2019-2028)
55 1994.04 WEIHE: An Automated Reasoning System for Multi-Agent Knowledge and Time Others The multiple authorship 3rd Pacific RIM Int'l Conf. on Artificial Intelligence (PRICAI'94) (p.14-19)
56 1994.04 Partial Deduction of Disjunctive Logic Programs: A Declarative Approach Others The multiple authorship Lecture Notes in Computer Science vol.883 (p.170-182)
57 1994.04 Cost-based Horn Abduction to Focus on the Most Probable Diagnosis Others The multiple authorship 5th Int'l. Workshop on Principles of Diagnosis (DX '94) (p.148-152)
58 1993.04 A Deductive Database Approach to Abductive Reasoning Others The multiple authorship Int'l Symp. on Next Generation Database Systems and Their Applications (p.77-84)
59 1993.04 Unfold/Fold Transformation of General Logic Programs for the Well-founded Semantics Academic Journal The simple work Journal of Logic Programming vol.16(1&2) (p.5-23)
60 1993.04 An Efficient Abductive Reasoning System Based on Program Analysis Others The multiple authorship Lecture Notes in Computer Science vol.724 (p.230-241)
61 1992.04 Soundness and Completeness of Partial Deductions for Well-founded Semantics Others The multiple authorship Lecture Notes in Artificial Intelligence vol.624 (p.1-12)
62 1991.04 Unfold/Fold Transformation of Stratified Programs Academic Journal The simple work Theoretical Computer Science vol.86(1) (p.107-139)
63 1990.04 A Comparative Study of the Well-founded and the Stable Model Semantics: Transformation's Viewpoint Others The simple work Workshop on Logic Programming and Non-Monotonic Logic (p.115-123)
64 1989.04 On the Power of Alexander Template Others The simple work 8th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (PODS'89) (p.150-159)
65 1989.04 Unfold/Fold Transformation of Stratified Programs (Extended Abstract) Others The simple work Logic Programming (p.554-568)
66 1988.04 A Query Evaluation Method for Stratified Programs Under the Extended CWA Others The multiple authorship 5th Int'l Conf. Logic Programming (p.195-211)
67 1987.04 Notes on Transformation Techniques for Generate and Test Logic Programs Others The multiple authorship IEEE Symp. on Logic Programming (p.215-223)
68 1986.04 Argus/V: A System for Verification of Prolog Programs Others The multiple authorship ACM and IEEE Fall Joint Computer Conf. (p.994-999)
69 1986.04 Verification of Prolog Programs Using an Extension of Execution Others The multiple authorship Lecture Notes in Computer Science vol.225 (p.475-489)
70 1985.04 Incorporating Generalization Heuristics into Verification of Prolog Programs Others The simple work 9th Int'l Joint Conf. on Artificial Intelligence (IJCAI'85) (p.737-741)
71 1984.04 Description and Reasoning of VLSI Circuit in Temporal Logic Academic Journal The multiple authorship New Generation Computing (p.79-90)
72 1983.04 A Description and Reasoning of Plant Controllers in Temporal Logic Others The multiple authorship 8th Int'l Joint Conf. on Artificial Intelligence (IJCAI'83) (p.405-408)

Research Achievement (Book)

No. Date of issuance Name of book Book type Form of book Name of publishing organization Number of pages taken charge
1 2014.09 Pre-Proceedings of 24th Int'l. Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR2014) Others The coeditorship work Institute for Analysis of System and Informatics, CNR
2 1997.04 Artificial Intelligence:A Modern Approach Others The multiple authorship Kyoritsu Syuppan
3 1989.04 Handbook of Automated Programming Others The multiple authorship Ohm-sha

Research Achievement (Review)

No. Date of issuancee Title of paper By type of journal Collaboration division Name of journal(Name of publishing organization) Volume
Number
Page
1 1990.02.15 演繹データベースの問合せ処理 Academic Journal The multiple authorship 情報処理(情報処理学会) vol.31(2) (p.216-224)
2 1989.01 第5回ロジックプログラミング国際会議に出席して Academic Journal The multiple authorship コンピュータ・ソフトウェア(岩波書店) vol.6(1) (p.102-107)

Industrial Property

No. Application date
Release date
Registration date
Name of invention Industrial property division Application number
Publication number
Registration number
Inventor name
1 ビットパターン圧縮装置 The patent 特開昭60-253322 -

Research paper

No. Holding period Name of subject Form of publication Site Classification of meeting Conference Name
1 2015.03.09 Javaプログラミングによる飽和パターンマイニングの負荷分散方式 The poster ( generality ) 豊橋技術科学大学 The domestic conference
2 2015.03.09 形式概念分析を利用したネットワーク構造分析の次元削減に関する検討 The poster ( generality ) 豊橋技術科学大学 The domestic conference
3 2014.12.03 - 2014.12.06 Towards Efficient Closed Pattern Mining from Distributed Multi-Relational Data The poster ( generality ) Kitakyushu, Japan The international conference
4 2014.10.07 - 2014.10.10 Merging Closed Pattern Sets in Distributed Multi-Relational Data The oral ( generality ) Kosice, Slovakia The international conference 11th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2014)
5 2014.09.08 - 2014.09.09 Towards Efficient Merge Operations for Distributed Closed Pattern Mining The poster ( generality ) 中京大学 名古屋キャンパス The domestic conference
6 2014.03.11 - 2014.03.13 On Closed Pattern Mining from Distributed Relational Databases The oral ( generality ) 東京電機大学 The domestic conference the 76th National Convention of IPSJ
7 2013.09.18 - 2013.09.19 Extending Co-logic Programs for Branching-Time Model Checking The oral ( generality ) Madrid, Spain The international conference 23rd International Symposium on Logic-Based Program Synthesis and Transformation
8 2013.03.19 - 2013.03.20 Closed Pattern Mining in Distributed Relational Databases The poster ( generality ) 岐阜大学 The domestic conference 2013 IEICE General Conference
9 2012.10.11 - 2012.10.14 Distributed Closed Pattern Mining in Multi-Relational Data based on Iceberg Query Lattices: Some Preliminary Results The oral ( generality ) Malaga, Spain The international conference 9th Int'l. Conf. on Concept Lattices and Their Applications (CLA 2012)
10 2012.09.18 - 2012.09.20 Proving Properties of Co-logic Programs with Negation by Program Transformations The oral ( generality ) Leuven, Belgium The international conference 22nd Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2012)
11 2012.03.06 - 2012.03.08 Distributed Mining of Frequent Closed Patterns in Multi-Relational Data The oral ( generality ) 名古屋工業大学 The domestic conference the 74th National Convention of IPSJ
12 2011.07.18 - 2011.07.20 Proving Properties of Co-logic Programs by Unfold/fold Transformations The oral ( generality ) Denmark The international conference 21st Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2011)
13 2010.10.06 - 2010.10.08 On Enumerating Frequent Closed Patterns with Key in Multi-relational Data The oral ( generality ) Australia The international conference 13th International Conf. on Discovery Science,
14 2010.07.23 - 2010.07.25 On Inductive Proofs by Extended Unfold/fold Transformation Rules The oral ( generality ) Austria The international conference 20th Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2010)
15 2009.11.28 On Enumerating Frequent Closed Patterns in Multi-Relational Data Mining The oral ( generality ) The domestic conference 7th Workshop on Informatics
16 2009.09.10 On Induction and Coinduction Proof via Unfold/fold Transformations The oral ( generality ) Portugal The international conference 19th Int'l. Symposium on Logic Program Synthesis and Transformation (LOPSTR09)
17 2008.07.17 On Negative Unfolding in the Answer Set Semantics The oral ( generality ) The international conference 18th Int'l. Symposium on Logic Program Synthesis and Transformation (LOPSTR08)

Updated on 2015/04/22

To the head of this page.