1 |
Implicature as an Interactive Process ; L'implicature comme un Processus Interactif
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01748217 ; Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10003⟩ (2010)
|
|
BASE
|
|
Show details
|
|
2 |
Modal memory logics ; Logiques modales memorielles
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01748219 ; Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2009. English. ⟨NNT : 2009NAN10130⟩ (2009)
|
|
BASE
|
|
Show details
|
|
3 |
From TYn to DRT: an implementation
|
|
|
|
In: http://www.loria.fr/~hinderer/publications/ltc2007.pdf (2007)
|
|
BASE
|
|
Show details
|
|
4 |
PDL for ordered trees
|
|
|
|
In: http://staff.science.uva.nl/~lafanasi/Publications/2005/ABDGGMD:05.pdf (2005)
|
|
BASE
|
|
Show details
|
|
5 |
Rijke. PDL for ordered trees
|
|
|
|
In: http://www.loria.fr/~blackbur/papers/pdl-trees.pdf (2005)
|
|
BASE
|
|
Show details
|
|
6 |
Rijke. PDL for ordered trees
|
|
|
|
In: http://www.science.uva.nl/~mdr/Publications/Files/jancl-2004.pdf (2005)
|
|
BASE
|
|
Show details
|
|
7 |
Contents
|
|
|
|
In: http://www.coli.uni-saarland.de/projects/milca/courses/coal/pspdf/main.pdf (2003)
|
|
BASE
|
|
Show details
|
|
8 |
Automated Reasoning for Computational Semantics
|
|
|
|
In: http://www.ags.uni-sb.de/~kohlhase/submit/nlded-99.ps.gz (1999)
|
|
BASE
|
|
Show details
|
|
9 |
A Description Language for Discourse Semantics
|
|
|
|
In: ftp://ftp.coli.uni-sb.de/pub/people/claire/lacl98.ps (1998)
|
|
BASE
|
|
Show details
|
|
10 |
Inference and Computational Semantics
|
|
|
|
In: http://www.ags.uni-sb.de/pub/postscript/BlaBosKohNiv99-IWCS.ps.gz (1998)
|
|
BASE
|
|
Show details
|
|
11 |
Logical Aspects of Computational Linguistics: an introduction.
|
|
|
|
In: http://www.irisa.fr/paragraphe/RETORE/INTRODUCTION.ps (1997)
|
|
BASE
|
|
Show details
|
|
12 |
Zooming In, Zooming Out
|
|
|
|
In: http://staff.science.uva.nl/~mdr/Publications/Files/jolli-1997-zooming.pdf (1997)
|
|
BASE
|
|
Show details
|
|
13 |
Rich Ontologies for Tense and Aspect
|
|
|
|
In: ftp://ftp.coli.uni-sb.de/pub/people/claire/baf.ps (1996)
|
|
BASE
|
|
Show details
|
|
14 |
Zooming in, zooming out
|
|
|
|
In: http://www.loria.fr/~blackbur/papers/zeezow.pdf (1996)
|
|
BASE
|
|
Show details
|
|
15 |
A Specification Language for Lexical Functional Grammars
|
|
|
|
In: ftp://ftp.coli.uni-sb.de/pub/people/claire/lfg.ps (1995)
|
|
BASE
|
|
Show details
|
|
16 |
A Specification Language for Lexical Functional Grammars
|
|
|
|
In: http://acl.ldc.upenn.edu/E/E95/E95-1006.pdf (1995)
|
|
BASE
|
|
Show details
|
|
17 |
Hybrid Languages
|
|
|
|
In: http://turing.wins.uva.nl/~carlos/hybrid/Papers/report.ps.Z (1995)
|
|
BASE
|
|
Show details
|
|
18 |
Zooming In, Zooming Out
|
|
|
|
In: ftp://ftp.dcs.warwick.ac.uk/people/Maarten.de.Rijke/Papers/paper23.ps (1995)
|
|
BASE
|
|
Show details
|
|
19 |
Linguistics, Logic, and Finite Trees
|
|
|
|
In: http://semantics.soas.ac.uk/ldsnl/papers/llft.ps (1994)
|
|
BASE
|
|
Show details
|
|
20 |
Linguistics, Logic, and Finite Trees
|
|
|
|
In: ftp://ftp.phil.ruu.nl/pub/logic/PREPRINTS/preprint103.ps.Z (1994)
|
|
BASE
|
|
Show details
|
|
|
|