seki hirohisa

J-GLOBAL         Last updated: Feb 7, 2015 at 02:59
 
Avatar
Name
seki hirohisa
URL
http://sekilab.web.nitech.ac.jp/
Affiliation
Nagoya Institute of Technology
Degree
Master of Engineering(The University of Tokyo), Doctor of Engineering(The University of Tokyo)

Research Areas

 
 

Academic & Professional Experience

 
Apr 1992
 - 
Today
 Professor,Nagoya Institute of Technology
 
Apr 1981
 - 
Mar 1985
 Researcher,Central Research Lab., Mitsubishi Electric Corp.
 
Apr 1985
 - 
Mar 1989
 Researcher,Institute of New Generation Computer Technology
 

Education

 
 
 - 
1981
Graduate School, Division of Engineering, The University of Tokyo
 
 
 - 
1979
Faculty of Engineering, The University of Tokyo
 

Misc

 
A Description and Reasoning of Plant Controllers in Temporal Logic
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
8th Int'l Joint Conf. on Artificial Intelligence (IJCAI'83)   405-408   Apr 1983
Description and Reasoning of VLSI Circuit in Temporal Logic
Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi
New Generation Computing   79-90   Apr 1984
Incorporating Generalization Heuristics into Verification of Prolog Programs
Hirohisa Seki
9th Int'l Joint Conf. on Artificial Intelligence (IJCAI'85)   737-741   Apr 1985
Argus/V: A System for Verification of Prolog Programs
Tadashi Kanamori, Hirohi Fujita, Hirohisa Seki et al.
ACM and IEEE Fall Joint Computer Conf.   994-999   Apr 1986
Verification of Prolog Programs Using an Extension of Execution
Tadashi Kanamori , Hirohisa Seki
Lecture Notes in Computer Science   225 475-489   Apr 1986

Books etc

 
Handbook of Automated Programming
Ohm-sha   Apr 1989   
Artificial Intelligence:A Modern Approach
Kyoritsu Syuppan   Apr 1997   

Conference Activities & Talks

 
On Negative Unfolding in the Answer Set Semantics
18th Int'l. Symposium on Logic Program Synthesis and Transformation (LOPSTR08)   2008   
On Induction and Coinduction Proof via Unfold/fold Transformations
19th Int'l. Symposium on Logic Program Synthesis and Transformation (LOPSTR09)   2009   
On Enumerating Frequent Closed Patterns in Multi-Relational Data Mining
7th Workshop on Informatics   2009   
On Inductive Proofs by Extended Unfold/fold Transformation Rules
20th Int'l. Sympo. on Logic-Based Program Synthesis and Transformation (LOPSTR2010)   2010   
On Enumerating Frequent Closed Patterns with Key in Multi-relational Data
13th International Conf. on Discovery Science,   2010   

Research Grants & Projects

 
Study on Relational Data Mining
Ordinary Research
Project Year: 2007 - 2007
We study an efficient algorithm for enumerationg frequent patterns in relational data mining.
Study on Computational Logic
Grant-in-Aid for Scientific Research
Project Year: 2009 - 2012
We study the methodologies of computational logic for constructing secure systems.