Web Sites Verification: An Abductive Logic Programming Tool.

Paolo Mancarella Giacomo Terreni Francesca Toni

Published in: ICLP (2007)

Keyphrases

programming tool
website
logic programming
abductive reasoning
programming language
asynchronous circuits
development tools
text to speech
exception handling
web pages
model checking
logic programs
web server
proof procedure
modal logic
agent systems
database management systems
domain specific
databases