Visitor

Views

Logique et sémantique - Damien Nouvel

DL = description logic = logique de description. (avant : logiques ... Traduction de ALC en FOL : exercices. ?(A, x) = A(x). ?(, x) = ?(?, x) = ?. ? ...