Résultats de la recherche


Résultat no1 sur 1
Recherche avancée

Rechercher dans les espaces de noms :

  • === Default logic === ...non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions.
    919 octet (143 mots) - 11 mai 2020 à 16:11