Documents Gribomont, Pascal 1 résultats

base de données déductives # base de données relationnelles # biblog # circonscription # formalisme # grammaire catégorielle # grammaire de Chomosky # intelligence artificielle # langage formel # langage logique # langage naturelle # logique des propositions # logique des prédicats # logique dynamique # logique déontique # logique intensionnelle # logique modale # logique non monotone # logique temporelle # logique épistémique # mathématique # programmation logique # raisonnement révisable # représentation de la connaissance # réécriture des systèmes[-]