`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:

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