| 1 |
Model-Theory and Implementation of Property Grammars with Features
|
|
|
|
In: ISSN: 0955-792X ; EISSN: 1465-363X ; Journal of Logic and Computation ; https://hal.archives-ouvertes.fr/hal-00782398 ; Journal of Logic and Computation, Oxford University Press (OUP), 2014, 24 (2), pp.491-509. ⟨10.1093/logcom/exs080⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Model-theory and implementation of property grammars with features
|
|
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Une Modélisation des Grammaires de Propriétés sous forme de Problème de Satisfaction de Contraintes
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00533022 ; 2010 (2010)
|
|
Abstract:
Communication orale. Bourges, France ; 6e Journée Informatique en Région Centre (JIRC) ; Les Grammaires de Propriétés (GP) constituent un formalisme à base de contraintes capable de décrire à la fois des énoncés bien-formés et des énoncés agrammaticaux, ce qui en fait un formalisme particulièrement intéressant pour traiter de la gradience de grammaticalité, comme l'a démontré Prost dans sa thèse [Prost 2008]. [Duchier et al., 2009] ont défini une sémantique des grammaires de propriétés en théorie des modèles. Ici, nous poursuivons ce travail en montrant comment, à partir de cette sémantique, définir l'analyse syntaxique en GP sous la forme d'un Problème de Satisfaction de Contraintes (CSP), traitable au moyen de la programmation par contraintes. Contrairement aux techniques existantes pour l'analyse syntaxique avec GP, notre approche par CSP ne recourt à aucune heuristique pour faire face à la complexité exponentielle de cette tâche d'analyse. Il permet ainsi d'observer directement les conséquences de choix de représentation linguistique dans le formalisme GP.
|
|
Keyword:
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
|
|
URL: https://hal.archives-ouvertes.fr/hal-00533022
|
|
BASE
|
|
Hide details
|
|
|
| 4 |
Property Grammar Parsing Seen as a Constraint Optimization Problem
|
|
|
|
In: Proceedings of the 15th International Conference on Formal Grammar (FG 2010) ; https://hal.archives-ouvertes.fr/hal-00504684 ; Proceedings of the 15th International Conference on Formal Grammar (FG 2010), Aug 2010, Copenhagen, Denmark. pp.82-96 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A model-theoretic framework for grammaticality judgements
|
|
|
|
In: Conference on Formal Grammar (FG2009) ; https://hal.archives-ouvertes.fr/hal-00458937 ; Conference on Formal Grammar (FG2009), 2009, France. pp.1-14 (2009)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Extension au premier ordre de l'unification des termes par CHR
|
|
|
|
In: Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07) ; https://hal.inria.fr/inria-00151075 ; Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France (2007)
|
|
BASE
|
|
Show details
|
|
|
|
|
