raisonnement temporel en intelligence artificielle - ENIB
Module Intelligence Artificielle -. P. De Loor - 2001/2002 ...... INTEND(agent,
ACAUSE(agent, occurrence), t1, t2). HIDE(agent, observer, object) ... A.THAYSE
et al, « Approche Logique de l'intelligence artificielle, n°2 : de la logique modale
à la logique des bases de données », Dunod Informatique, 1988. E.AUDUREAU
...