Skip to main content

Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework

Title{Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework}
Publication TypeJournal Article
Year of Publication2008
AuthorsAlberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni
JournalACM Transactions on Computational Logic (TOCL)
Volume9