Foundations of Intelligent Systems
Verifiable agent interaction in Abductive Logic Programming: the SCIFF framework