`Travelled to:`

1 × Italy

1 × Japan

1 × Portugal

1 × Sweden

1 × The Netherlands

1 × USA

`Collaborated with:`

R.A.Kowalski P.Mancarella G.Terreni Y.Dimopoulos B.Nebel P.M.Dung R.Craven C.Cadar A.Hadad M.Williams

`Talks about:`

program (4) logic (4) argument (3) abduct (2) transform (1) synthesi (1) procedur (1) approach (1) theoret (1) default (1)

## Person: Francesca Toni

### DBLP: Toni:Francesca

### Facilitated 2 volumes:

### Contributed to:

### Wrote 7 papers:

- KR-2012-CravenTCHW #performance
- Efficient Argumentation for Medical Decision-Making (RC, FT, CC, AH, MW).
- ICLP-2007-MancarellaTT #abduction #logic programming #verification #web
- Web Sites Verification: An Abductive Logic Programming Tool (PM, GT, FT), pp. 434–435.
- KR-2000-DimopoulosNT
- Finding Admissible and Preferred Arguments Can be Very Hard (YD, BN, FT), pp. 53–61.
- LOPSTR-1996-DungKT #proving #reasoning #synthesis
- Synthesis of Proof Procedures for Default Reasoning (PMD, RAK, FT), pp. 313–324.
- ICLP-1995-ToniK #abduction #logic programming #reduction #source code
- Reduction of Abductive Logic Programs to Normal Logic Programs (FT, RAK), pp. 367–381.
- LOPSTR-1995-ToniK #approach #logic programming #program transformation
- An Argumentation-Theoretic Approach to Logic Program Transformation (FT, RAK), pp. 61–75.