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 × Japan
1 × USA
Collaborated with:
H.Isozaki A.O.Mendelzon
Talks about:
transact (2) base (2) transform (1) knowledg (1) program (1) between (1) execut (1) differ (1) updat (1) revis (1)

Person: Hirofumi Katsuno

DBLP DBLP: Katsuno:Hirofumi

Contributed to:

ICLP 19951995
KR 19911991

Wrote 2 papers:

ICLP-1995-IsozakiK #estimation #execution #logic programming #source code #transaction
Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths (HI, HK), p. 822.
KR-1991-KatsunoM #difference #knowledge base #on the
On the Difference between Updating a Knowledge Base and Revising It (HK, AOM), pp. 387–394.

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.