{Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework}