Web Sites Verification: An Abductive Logic Programming Tool

  • P. Mancarella
  • G. Terreni
  • F. Toni
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4670)


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.


  1. 1.
    Alpuente, M., Ballis, D., Falaschi, M.: A rewriting-based framework for web sites verification. Electronic Notes in Theoretical Computer Science 124, 41–61 (2005)CrossRefGoogle Scholar
  2. 2.
    Bry, F., Schaffert, S.: The XML query language Xcerpt: Design principles, examples, and semantics (2002)Google Scholar
  3. 3.
    Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Proc. JELIA (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • P. Mancarella
    • 1
  • G. Terreni
    • 1
  • F. Toni
    • 2
  1. 1.Dipartimento di Informatica, Università di PisaItaly
  2. 2.Department of Computing, Imperial College LondonUK

Personalised recommendations