Formalisation de la recontextualisation de modèles par graphe de dépendance.

Paola Vallejo Mickaël Kerboeuf Jean-Philippe Babau

Published in: Tech. Sci. Informatiques (2015)

Keyphrases

formal analysis
legal reasoning
building blocks
temporal reasoning
expert systems
event calculus