Un modèle formel commun des agents coopératifs intelligents

Projet: Recherche

Détails du projet

Description

{description_courte}
AcronymeModelAge
statutFini
Les dates de début/date réelle1/09/9331/03/97

mots-clés

  • logique orientee agent
  • logique modale
  • raisonnement automatique
  • modele formel
  • modèle formel
  • agent
  • logique orientée agent