41 search results - page 9 / 9 » Constructing Complex Semantic Mappings Between XML Data and ... |
ICLP
2007
Springer
13 years 11 months 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...