Matteo Baldoni
Action Description Language agent communication agent cooperation agent coordination agent reasoning agent systems design agent verification agent-oriented software engineering autonomous agents complexity formal methods logic modeling programming semantic web