Une logique modale pour raisonner sur la cohérence et la complétude de réglementations

Christophe Garion, Stéphanie Roussel, Laurent Cholvy. Une logique modale pour raisonner sur la cohérence et la complétude de réglementations. Revue d Intelligence Artificielle, 24(3):267-290, 2010. [doi]

Abstract

Abstract is missing.