A Verifiable Logic-Based Agent Architecture.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello

Browse the full ISMIS paper archive.