36 search results - page 8 / 8 » iclp 2007 |
ICLP
2007
Springer
14 years 11 days ago
2007
Springer
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...