Incontro a Bologna del 12 gennaio 2005

• M. Baldoni, C. Baroglio, V. Patti, L. Torasso:
  • "Reasoning about learning object metadata in the Semantic Web"


• Gruppo di Bologna in collaborazione con Ferrara:
  • "Proprietà del framework SOCS-SI per la verifica di protocolli di interazione tra agenti"


• F. Chesani :
  • "Preliminary considerations about automatic translation of AUML diagrams into Social Integrity Constraints per la verifica di protocolli di interazione tra agenti"


• F. Chesani, A. Ciampolini, P. Mello, M. Montali, S. Storari:
  • "Utilizzo di vincoli sociali di integrità per la rappresentazione di un protocollo in campo medico"


• L. Giordano, V. Gliozzi, N. Olivetti:
  • "Logiche condizionali e revisione delle credenze"


• L. Giordano, A. Martelli:
  • "On-the-fly Automata Construction for Dynamic Linear Time Temporal Logic"