Web sites verification: an abductive logic programming tool

Authors:
P. Mancarella;G. Terreni;F. Toni
Affiliations:
Dipartimento di Informatica, Università di Pisa, Italy;Dipartimento di Informatica, Università di Pisa, Italy;Department of Computing, Imperial College London, UK
Venue:
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Year:
2007

Citing 0
Cited 3

Web Sites Repairing through Abduction

Electronic Notes in Theoretical Computer Science (ENTCS)
The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments

Theory and Practice of Logic Programming
Constraint logic programming

A 25-year perspective on logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web site should fulfill by using (a fragment of) the query language Xcerpt. The rules are translated into abductive logic programs with constraints and their fulfillment is checked through the CIFF abductive proof procedure.