Web Sites Repairing through Abduction

Electronic Notes in Theoretical Computer Science

Volumn 235, Issue C, 2009, Pages 137-152

  Mancarella, Paolo ^a   Terreni, Giacomo ^a   Toni, Francesca ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Abduction; Web site repairing

Indexed keywords

LOGIC PROGRAMMING; PROGRAM TRANSLATORS; WORLD WIDE WEB;

ABDUCTION; ABDUCTIVE LOGIC PROGRAMS; PROOF PROCEDURES; WEB SITE REPAIRING;

REPAIR;

EID: 62849119105     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.03.009     Document Type: Article

References (15)

1. Alpuente M., Ballis D., and Falaschi M. A rewriting-based framework for web sites verification. Electronic Notes in Theoretical Computer Science 124 (2005) 41-61
2. Alpuente, M., D. Ballis, M. Falaschi and D. Romero, A semi-automatic methodology for repairing faulty web sites, SEFM 0 (2006), pp. 31-40
3. Antoniou G., and van Harmelen F. A Semantic Web Primer (Cooperative Information Systems) (2004), The MIT Press
4. Ballis, D. and D. Romero, Fixing web sites using correction stategies, in: Proc. of WWV'06, 2006
5. Bry, F. and M. Eckert, A high-level query language for events, in: Proc. of EDA-PS'06, 2006, pp. 31-38
6. Bry, F. and S. Schaffert, The XML query language Xcerpt: Design principles, examples, and semantics (2002)
7. C. Elsenbroich, O. K. and U. Sattler, A case for abductive reasoning over ontologies, in: Proc. of OWL: Experiences and Directions, 2006
8. Capra L., Emmerich W., Finkelstein A., and Nentwich C. XLINKIT: a consistency checking and smart link generation service. ACM Transac. on IT 2 (2002) 151-185
9. Colmerauer, A. and P. Roussel, The birth of Prolog., in: HOPL Preprints, 1993, pp. 37-52
10. Despeyroux, T. and B. Trousse, Semantic verification of web sites using natural semantics, in: Proc. of CC-BMIA'00, 2000
11. Endriss, U., P. Mancarella, F. Sadri, G. Terreni and F. Toni, The CIFF proof procedure for abductive logic programming with constraints, in: Proc. of JELIA 2004, 2004
12. Kunen K. Negation in logic programming. J. Log. Program. 4 (1987) 289-308
13. Mancarella, P., G. Terreni and F. Toni, Web sites verification: An abductive logic programming tool, in: Proc. of ICLP, 2007, pp. 434-435
14. Terreni, G., "The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Definition, Implementation and a Web Application," Ph.D. thesis, Università di Pisa (2008)
15. Wielemaker, J., M. Hildebrand and J. van Ossenbruggen, Using Prolog as the fundament for applications on the Semantic Web, in: Proc. of the 2nd Workshop on Applications of LP to the web, Semantic Web and Semantic Web Services, 2007, pp. 84-98