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]

Authors

Christophe Garion

This author has not been identified. Look up 'Christophe Garion' in Google

Stéphanie Roussel

This author has not been identified. Look up 'Stéphanie Roussel' in Google

Laurent Cholvy

This author has not been identified. Look up 'Laurent Cholvy' in Google