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: Sakama:Chiaki
Contributed to:
20092006
20062002
1998199619951994199419941993Wrote 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.
- ICLP-2002-InoueS
- 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.