Checking regulation consistency by using SOL-resolution

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 1999, Pages 73-79

  Cholvy, Laurence ^a  

^a ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; INFERENCE ENGINES; LAWS AND LEGISLATION; MATHEMATICAL MODELS;

INOUE'S INFERENCE RULE;

ARTIFICIAL INTELLIGENCE;

EID: 0033296056     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/323706.323717     Document Type: Conference Paper

References (19)