Web Sites Repairing through Abduction

Authors:
Paolo Mancarella;Giacomo Terreni;Francesca Toni
Affiliations:
Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy;Dipartimento di Informatica, Universitá di Pisa, Pisa, Italy;Department of Computing, Imperial College, London, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 8
Cited 2

Negation in logic programming

Journal of Logic Programming
The birth of Prolog

HOPL-II The second ACM SIGPLAN conference on History of programming languages
xlinkit: a consistency checking and smart link generation service

ACM Transactions on Internet Technology (TOIT)
A Semantic Web Primer

A Semantic Web Primer
A Semi-Automatic Methodology for Repairing FaultyWeb Sites

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
A High-Level Query Language for Events

SCW '06 Proceedings of the IEEE Services Computing Workshops
Fixing Web Sites Using Correction Strategies

WWV '06 Proceedings of the 2nd Int'l. Workshop on Automated Specification and Verification of Web Systems
Web sites verification: an abductive logic programming tool

ICLP'07 Proceedings of the 23rd international conference on Logic programming

The ciff proof procedure for abductive logic programming with constraints: Theory, implementation and experiments

Theory and Practice of Logic Programming
Semi-negative abductive logic programs with implicative integrity constraints: semantics and properties

Logic Programs, Norms and Action

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a methodology and a tool for suggesting repairs to web sites that violate some given requirements in the form of web rules expressed in (an extension of) a fragment of Excerpt. The methodology consists in translating these web rules into abductive logic programs with constraints and process these by means of an existing general-purpose proof procedure, called CIFF. The tool, that we call CIFFWEB, consists of CIFF as well as the translation from rules to programs and from web sites to a suitable logical format. The tool extends an existing tool for simply checking web sites against web rules.