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.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)
2 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)
3 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)
4 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)
5 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)
6 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)
7 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)
8 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)
9 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)
10 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)
11 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)
12 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)
13 2009.11 On Enumerating Frequent Closed Patterns in Multi-Relational Data Mining Others The multiple authorship 7th Workshop on Informatics 2009 (p.89-94)
14 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)
15 2009.03 On Negative Unfolding in the Answer Set Semantics Others The simple work Lecture Notes in Computer Science vol.5438 (p.168-184)
16 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)
17 2003.09 On-line profit sharing works efficiently Others The multiple authorship Lecture Notes in Artificial Intelligence vol.2774 (p.317-324)
18 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)
19 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)
20 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)
21 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)
22 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)
23 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)
24 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)
25 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)
26 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)
27 1999.04 Cost-based Abduction using Binary Decision Diagrams Others The multiple authorship Lecture Notes in Artificial Intelligence vol.1611 (p.215-225)
28 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)
29 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)
30 1998.04 Inducing Shogi Heuristics Using Inductive Logic Programming Others The multiple authorship Lecture Notes in Artificial Intelligence vol.1446(12) (p.155-164)
31 1998.01 A-SATCHMORE: SATCHMORE with Availability Checking Academic Journal The multiple authorship New Generation Computing vol.16(1) (p.55-74)
32 1997.08 Partial Deduction in Disjunctive Logic Programming Academic Journal The multiple authorship Journal of Logic Programming vol.32(3) (p.229-245)
33 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)
34 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)
35 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)
36 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)
37 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)
38 1997.04 Efficient Induction of Executable Logic Programs from Examples Others The multiple authorship Lecture Notes in Artificial Intelligence vol.1345 (p.212-224)
39 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)
40 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)
41 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)
42 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)
43 1996.04 Implementing an Automated Reasoning System for Multi-Robot Cooperation Others The multiple authorship Distributed Autonomous Robotics Systems 2 (p.280-291)
44 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)
45 1995.09 Goal-Directed Query Processing in Deductive Logic Databases Others The multiple authorship Lecture Notes in Computer Science vol.982 (p.415-430)
46 1995.04 Goal-Directed Query Processing in Disjunctive Logic Databases Others The multiple authorship Lecture Notes in Computer Science vol.970 (p.796-801)
47 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)
48 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)
49 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)
50 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)
51 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)
52 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)
53 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)
54 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)
55 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)
56 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)
57 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)
58 1991.04 Unfold/Fold Transformation of Stratified Programs Academic Journal The simple work Theoretical Computer Science vol.86(1) (p.107-139)
59 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)
60 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)
61 1989.04 Unfold/Fold Transformation of Stratified Programs (Extended Abstract) Others The simple work Logic Programming (p.554-568)
62 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)
63 1987.04 Notes on Transformation Techniques for Generate and Test Logic Programs Others The multiple authorship IEEE Symp. on Logic Programming (p.215-223)
64 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)
65 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)
66 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)
67 1984.04 Description and Reasoning of VLSI Circuit in Temporal Logic Academic Journal The multiple authorship New Generation Computing (p.79-90)
68 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 1997.04 Artificial Intelligence:A Modern Approach Others The multiple authorship Kyoritsu Syuppan
2 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 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
2 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
3 2013.03.19 - 2013.03.20 Closed Pattern Mining in Distributed Relational Databases The poster ( generality ) 岐阜大学 The domestic conference 2013 IEICE General Conference
4 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)
5 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)
6 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
7 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)
8 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,
9 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)
10 2009.11.28 On Enumerating Frequent Closed Patterns in Multi-Relational Data Mining The oral ( generality ) The domestic conference 7th Workshop on Informatics
11 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)
12 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 2014/09/18

To the head of this page.