BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Seki:Hirohisa

Facilitated 1 volumes:

LOPSTR 2014Ed

Contributed to:

LOPSTR 20132013
LOPSTR 20122012
LOPSTR 20112011
LOPSTR 20102010
LOPSTR 20092009
LOPSTR 20082008
ICLP 19971997
ICLP 19951995
LOPSTR/META 19941994
WSA 19931993
ICLP/SPL 19881988
SLP 19871987
ICLP 19861986

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.