Interaction Grammars

@inproceedings{Guillaume2000InteractionG,
  title={Interaction Grammars},
  author={Bruno Guillaume and Guy Perrier},
  booktitle={COLING},
  year={2000}
}
Interaction Grammars (IG) are a new linguistic formalism which is based on descriptions of underspeci ed 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. 

References

Publications referenced by this paper.
Showing 1-10 of 23 references

Parsing with tree

D. Duchier, S. Thater
1999
View 3 Excerpts
Highly Influenced

Computational aspects of linear logic

P. Lincoln.
Ph.D. thesis, Stanford University. • 1992
View 7 Excerpts
Highly Influenced

Horn Programming in Linear Logic Is NP-Complete

LICS • 1992
View 6 Excerpts
Highly Influenced

On the Distinction between ModelTheoretic and GenerativeEnumerative Syntactic Frameworks

O. Rambow, K. Vijay-Shanker, D. Weir.
Logical Aspects of Computational Linguistics , LACL 2001 , Le Croisic , France , volume 2099 of Lecture Notes in Computer Science • 2001

Talking about Trees and Truth-Conditions

Journal of Logic, Language and Information • 2001
View 2 Excerpts

Grammaire des constructions coordonnées . Coordinations simples et coordinations à redoublement en français contemporain

F. Mouret.
2000

Syst emes d eductifs et traitement des langues:un panorama des grammaires cat egorielles

C. Retor e.
Research Report RR-3917, INRIA. To appear in Technique et Science Informatiques. • 2000

Contraintes et th

P. Blache
1999
View 1 Excerpt

Organisation modulaire et

M.-H Candito
1999
View 2 Excerpts

Similar Papers

Loading similar papers…