Graph Algorithms for Improving Type-Logical Proof Search
Langue
en
Communication dans un congrès
Ce document a été publié dans
Categorial grammars - an efficient tool for natural language processing, 2004-06, Montpellier. 2004p. 13-28
Résumé en anglais
Proof nets are a graph theoretical representation of proofs in various fragments of type-logical grammar. In spite of this basis in graph theory, there has been relatively little attention to the use of graph theoretic ...Lire la suite >
Mots clés en anglais
Automated Deduction
Floyd-Warshall Algorithm
Lambek Calculus
Proof Net
Ranked Assignments