semantical analyse < semantics < semantics of natural languages

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 48.
[0-20] [0 - 20][0 - 48][20-40]

Ident.	Authors (with country if any)	Title
000005 (2005)	Didier Galmiche ; Daniel Méry	Resource Graphs and Countermodels in Resource Logics
000546 (2004)	Didier Galmiche ; Daniel Méry	Resource Graphs and Countermodels in Resource Logics
000561 (2004)	Sylvain Pogodalla	Vers un statut de l'arbre de dérivation : exemples de construction de représentations sémantiques pour les Grammaires d'Arbres Adjoints
000630 (2004)	Sylvain Pogodalla	Using and Extending the ACG technology : Endowing Categorial Grammars with an Underspecified Semantic Representation
000820 (2004)	Sylvain Pogodalla	Computing Semantic Representation : Towards ACG Abstract Terms as Derivation Trees
000843 (2004)	Frédéric Landragin	L'utilisation de scores numériques en sémantique computationnelle
000858 (2004)	Philippe Even	Task-oriented 3D reconstruction : relevance, actuality and perspectives
000A13 (2003)	Noëlle Carbonell	Multimodal HCI Corpora : a tentative listing of the specific information content of annotations
000A22 (2003)	Guy Perrier	Les grammaires d'interaction
000A68 (2003)	Caroline Brun ; Marc Dymetman ; Éric Fanchon ; Stanislas Lhomme ; Sylvain Pogodalla	Semantically-based text authoring and the concurrent documentation of experimental protocols
000B34 (2003)	Karl Tombre ; Bart Lamiroy	Graphics Recognition -- from Re-engineering to Retrieval
000B38 (2003)	Didier Galmiche ; Daniel Mery	Semantic Labelled Tableaux for propositional BI (without bottom)
000C98 (2003)	Didier Galmiche	Resource Models and Proofs in Bunched Implications Logic
000D73 (2003)	Stephan Merz	On the Logic of TLA+
000E17 (2002)	Didier Galmiche ; Daniel Mery ; David Pym	Resource Tableaux (extended abstract)
000F37 (2002)	Didier Galmiche	Resources, Labels and Proofs
001276 (2002)	Harry Bunt ; Laurent Romary	Towards Multimodal Content Representation
001457 (2001)	Didier Galmiche	Connection Methods in Linear Logic and Proof Nets ConstructionGeneration in Mixed Logics
001542 (2001)	Dominique Larchey	Refutations as countermodels in intuitionistic linear logic
001577 (2001)	Catherine Lucquiaud-Pilière	Une approche contrôlée du traitement d'exceptions en programmation fonctionnelle
001818 (2000)	Guillaume Bonfante	Constructions d'ordres, analyse de la complexité

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i -k "semantics" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/KwdEn.i  \
                -Sk "semantics" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    semantics
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022