Résultats de la recherche


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