Hal will be stopped for maintenance from friday on june 10 at 4pm until monday june 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Interaction Grammars

Guy Perrier 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Interaction Grammars (IG) are a new linguistic formalism which is based on descriptions of under-specified trees in the framework of intuitionistic linear logic (ILL). Syntactic composition, which is expressed by deduction in linear logic, is controlled by a system of polarized features. In this way, parsing amounts to generating models of tree descriptions and it is implemented as a constraint satisfaction problem.
Document type :
Conference papers
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Wednesday, May 16, 2007 - 5:31:32 PM
Last modification on : Friday, February 4, 2022 - 3:29:48 AM


  • HAL Id : inria-00147385, version 1



Guy Perrier. Interaction Grammars. Proceedings of 18th International Conference on Computational Linguistics - CoLing 2000, International Committee on Computational Linguisitcs, 2000, Sarrebrück/Germany, France. 7 p. ⟨inria-00147385⟩



Record views