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 × 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 DBLP: Toni:Francesca

Facilitated 2 volumes:

ICLP TC 2015Ed
ICLP 2015Ed

Contributed to:

KR 20122012
ICLP 20072007
KR 20002000
LOPSTR 19961996
ICLP 19951995
LOPSTR 19951995

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.

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.