Travelled to:1 × Austria
1 × Denmark
1 × Japan
1 × Portugal
1 × United Kingdom
2 × Belgium
2 × Italy
2 × Spain
2 × USA
Collaborated with:∅ H.Itoh Y.Shimajiri C.Sakama K.Furukawa T.Kanamori S.Kato
Talks about:program (9) logic (6) transform (5) unfold (4) extend (3) fold (3) properti (2) disjunct (2) induct (2) queri (2)
Person: Hirohisa Seki
DBLP: Seki:Hirohisa
Facilitated 1 volumes:
EdContributed to:
201320122011201020092008
199719951994
1993198819871986Wrote 14 papers:
- LOPSTR-2013-Seki #logic programming #model checking #source code
- Extending Co-logic Programs for Branching-Time Model Checking (HS), pp. 127–144.
- LOPSTR-2012-Seki #logic programming #program transformation #proving #source code
- Proving Properties of Co-logic Programs with Negation by Program Transformations (HS), pp. 213–227.
- LOPSTR-2011-Seki #logic programming #proving #source code
- Proving Properties of Co-Logic Programs by Unfold/Fold Transformations (HS), pp. 205–220.
- LOPSTR-2010-Seki #induction #on the #proving
- On Inductive Proofs by Extended Unfold/Fold Transformation Rules (HS), pp. 117–132.
- LOPSTR-2009-Seki #induction #on the #proving
- On Inductive and Coinductive Proofs via Unfold/Fold Transformations (HS), pp. 82–96.
- LOPSTR-2008-Seki #on the #semantics #set
- On Negative Unfolding in the Answer Set Semantics (HS), pp. 168–184.
- ICLP-1997-ShimajiriSI #modelling
- Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP (YS, HS, HI), pp. 376–390.
- ICLP-1995-ShimajiriSI #database #logic #query
- Making Query Processing Goal-Directed in Disjunctive Logic Databases (YS, HS, HI), p. 820.
- LOPSTR-1994-SakamaS #approach #declarative #deduction #logic programming #source code
- Partial Deduction of Disjunctive Logic Programs: A Declarative Approach (CS, HS), pp. 170–182.
- WSA-1993-KatoSI #abduction #performance #program analysis #reasoning
- An Efficient Abductive Reasoning System Based on Program Analysis (SK, HS, HI), pp. 230–241.
- JICSCP-1988-SekiI88 #evaluation #query #source code
- A Query Evaluation Method for Stratified Programs Under the Extended CWA (HS, HI), pp. 195–211.
- SLP-1987-SekiF87 #logic programming #source code
- Notes on Transformation Techniques for Generate and Test Logic Programs (HS, KF), pp. 215–223.
- ICLP-1986-KanamoriS86 #execution #prolog #source code #using #verification
- Verification of Prolog Programs Using an Extension of Execution (TK, HS), pp. 475–489.