L'évaluation sémantique en calcul propositionnel
Published 1 January 1989
Laurent Oxusoff, Antoine Rauzy
Citations17
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
Presentation d'un nouvel algorithme de deduction associe au calcul propositionnel: l'evaluation semantique, obtenu en associant une propriete de coupure originale a la procedure de davis et putnam. D'une part les performances de l'algorithme presente se sont averees tres bonnes, et d'autre part il a ete possible de comparer formellement son efficacite avec celle de la sl-resolution de kowalski et kuehner
Keywords
Computer ScienceArts and Humanities