Web sites verification: An abductive logic programming tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4670 LNCS, Issue , 2007, Pages 434-435

  Mancarella, P ^a   Terreni, G ^a   Toni, F ^b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; QUERY LANGUAGES; WEBSITES;

ABDUCTIVE LOGIC PROGRAMMING; ABDUCTIVE LOGIC PROGRAMS; PROOF PROCEDURES;

LOGIC PROGRAMMING;

EID: 38149052417     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74610-2_33     Document Type: Conference Paper

References (3)

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)
2. Bry, F., Schaffert, S.: The XML query language Xcerpt: Design principles, examples, and semantics (2002)
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)