Giacomo Terreni - Research

CIFFWEB

A prototype tool for specification, verification and repair of web sites via Abductive Logic Programs

Click below to download the prototype version of CIFFWeb a prototype tool specification, verification and repair of web sites via Abductive Logic Programs. The tool is composed of a enhanced version of the CIFF System 4.0 and a JAVA translator from Web Checking Rules written in Xcerpt-like syntax to ALP programs. See below to check the SICStus Prolog versions required by the CIFF 4.0 System.
CIFFWeb

Publications

P. Mancarella, F. Sadri, G. Terreni, and F. Toni.

Web Sites Verification: an Abductive Logic Programming Tool.

Proceedings of ICLP 2007.

P. Mancarella, G. Terreni, and F. Toni.

Web Site Verification and Repair: an Abductive Logic Programming Tool

Technical Report (with full translation function).

The CIFF Abductive Proof Procedure

Click below to download the CIFF System 4.0 for Abductive Logic Programming with Constraints. It works under Sicstus Prolog 3.12.x versions. It should work also under Sicstus Prolog 3.11.2 but it should NOT work under Sicstus Prolog 4.x versions due to the changes done by SICStus in both syntax ans semantics of some built-in predicates.
CIFF System 4.0
CIFF System 4.0 for SWIProlog (beta)
Up to CIFF System 3.0 the main implementor was Ulle Endriss helped by Markos Hatzitaskos for the development of some CIFF modules. With respect to version 4.0, version 3.0 is less focused on efficiency but it has a GUI which needs Tcl/Tk libraries installed. Click below to download the CIFF System 3.0 (also downloadable clicking here).
CIFF System 3.0

Publications

G. Terreni.

The CIFF System: an Overview.

Technical Report.

P. Mancarella, F. Sadri, G. Terreni, and F. Toni.

Programming Applications in CIFF.

Proceedings of LPNMR 2007.

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni.

Refinements of the CIFF Procedure.

Proceedings of the 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice (ARW-2005), University of Edinburgh, July 2005. Extended Abstract.

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni.

The CIFF Proof Procedure for Abductive Logic Programming with Constraints.

Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004), Springer-Verlag, September 2004.

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni.

Abductive Logic Programming with CIFF: System Description.

Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004), Springer-Verlag, September 2004.

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni.

Abductive Logic Programming with CIFF: Implementation and Applications.

Proceedings of Convegno Italiano di Logica Computazionale (CILC-2004) , University of Parma, June 2004.

U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni.

Abductive Logic Programming with CIFF.

Proceedings of the 11th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice (ARW-2004), University of Leeds, March 2004. Extended Abstract.