La résolution hiérarchisée, une solution au problème de la négation en programmation logique

par Alonso Marquez

Thèse de doctorat en Informatique

Sous la direction de Yves Kodratoff.

Soutenue en 1988

à Paris 11 .

  • Titre traduit

    Hierarchical resolution : a general solution to the negation problem in logic programming


  • Pas de résumé disponible.


  • Résumé

    L'objectif de cette thèse est d'étendre à la logique des prélicats du premier ordre la notion de sémantique procédurale existante dans le langage prolog. Ceci permet d'augmenter l'efficacité et la clarté de la programmation en logique du premier ordre

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (133 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 123-130

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1988)167
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-035017
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.