BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Hungary
1 × Japan
2 × Germany
2 × USA
4 × Italy
Collaborated with:
K.Inoue H.Seki T.C.Son E.Pontelli
Talks about:
program (9) logic (7) disjunct (5) abduct (4) partial (2) deduct (2) negat (2) transform (1) construct (1) consensus (1)

Person: Chiaki Sakama

DBLP DBLP: Sakama:Chiaki

Contributed to:

ICLP 20092009
ICLP 20062006
LOPSTR 20062006
ICLP 20022002
KR 19981998
JICSLP 19961996
ICLP 19951995
ICLP 19941994
KR 19941994
LOPSTR/META 19941994
ICLP 19931993

Wrote 12 papers:

ICLP-2009-SonPS #logic programming #multi
Logic Programming for Multiagent Planning with Negotiation (TCS, EP, CS), pp. 99–114.
ICLP-2006-InoueS #programming #set
Generality Relations in Answer Set Programming (KI, CS), pp. 211–225.
LOPSTR-2006-SakamaI #logic programming #source code
Constructing Consensus Logic Programs (CS, KI), pp. 26–42.
Disjunctive Explanations (KI, CS), pp. 317–332.
KR-1998-InoueS #abduction #specification #transaction
Specifying Transactions for Extended Abduction (KI, CS), pp. 394–405.
JICSLP-1996-SakamaI #logic programming #representation #source code
Representing Priorities in Logic Programs (CS, KI), pp. 82–96.
ICLP-1995-SakamaI #abduction #deduction #reasoning
The Effect of Partial Deduction in Abductive Reasoning (CS, KI), pp. 383–397.
ICLP-1994-SakamaI #abduction #equivalence #logic programming #on the #source code
On the Equivalence between Disjunctive and Abductive Logic Programs (CS, KI), pp. 489–503.
KR-1994-InoueS #on the
On Positive Occurrences of Negation as Failure (KI, CS), pp. 293–304.
LOPSTR-1994-SakamaS #approach #declarative #deduction #logic programming #source code
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach (CS, HS), pp. 170–182.
ICLP-1993-InoueS #abduction #logic programming #source code
Transforming Abductive Logic Programs to Disjunctive Programs (KI, CS), pp. 335–353.
ICLP-1993-SakamaI #logic programming #source code
Negation in Disjunctive Logic Programs (CS, KI), pp. 703–719.

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.