Skip to main content

Compliance Verification of Agent interaction: a Logic-Based Software Tool

Posted in
Title{Compliance Verification of Agent interaction: a Logic-Based Software Tool}
Publication TypeJournal Article
Year of Publication2006
AuthorsAlberti, M., M. Gavanelli, E. Lamma, F. Chesani, P. Mello, and P. Torroni
JournalApplied Artificial Intelligence
Volume20
Pagination133-157