Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach.

Alessio Lomuscio, Monika Solanki

Browse the full AINA paper archive.