Paolo Petta
BDI agent systems Simulation agent systems autonom distributed artificial intelligence distributed systems formal methods knowledge discovery learning model-based diagnosis organization problem solving programming programming language semantic web