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 × France
1 × Ireland
1 × USA
1 × United Kingdom
2 × Japan
Collaborated with:
N.Iwayama T.Wakaki M.D.Vos K.Kaneiwa T.Uno I.T.Foster S.Gregory G.A.Ringwood T.Li J.Padget T.Balke D.Corapi A.Russo J.A.Padget
Talks about:
use (3) program (2) comput (2) abduct (2) logic (2) circumscript (1) contradict (1) implement (1) sequenti (1) recoveri (1)

Person: Ken Satoh

DBLP DBLP: Satoh:Ken

Contributed to:

ICLP TC 20152015
ICLP 20112011
ASE 20062006
ICLP 19951995
JICSLP 19921992
ICLP 19911991
ICLP 19861986

Wrote 7 papers:

ICLP-2015-LiVPSB #debugging #using
Debugging ASP using ILP (TL, MDV, JP, KS, TB), pp. 100–113.
ICLP-J-2011-CorapiRVPS #design #induction #learning #using
Normative design using inductive learning (DC, AR, MDV, JAP, KS), pp. 783–799.
ASE-2006-SatohKU #diagrams #uml
Contradiction Finding and Minimal Recovery for UML Class Diagrams (KS, KK, TU), pp. 277–280.
ICLP-1995-WakakiS #logic programming
Computing Prioritized Circumscription by Logic Programming (TW, KS), pp. 283–297.
JICSLP-1992-SatohI #abduction #evaluation #logic programming #query
A Query Evaluation Method for Abductive Logic Programming (KS, NI), pp. 671–685.
ICLP-1991-SatohI #abduction #using
Computing Abduction by Using the TMS (KS, NI), pp. 505–518.
ICLP-1986-FosterGRS86 #implementation
A Sequential Implementation of Parlog (ITF, SG, GAR, KS), pp. 149–156.

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.