Logical Aspects of Computational Linguistics

Kandulski J. -Y. Marion C. Brun F. Lamarche G. Perrier TableofContents InvitedTalks StructuralEquationsinLanguageLearning . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 MichaelMoortgat OntheDistinctionbetweenModel-TheoreticandGenerative-Enumerative SyntacticFrameworks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Geo?reyK. Pullum,BarbaraC. Scholz ContributedPapers AFormalDe?nitionofBottom-UpEmbeddedPush-DownAutomataand TheirTabulationTechnique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 MiguelA. Alonso,EricdelaClergerie,ManuelVilares AnAlgebraicApproachtoFrenchSentenceStructure. . . . . . . . . . . . . . . . . . . 62 DanieleBargelli,JoachimLambek DeductiveParsingofVisualLanguages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 PaoloBottoni,BerndMeyer,KimMarriott,FrancescoParisiPresicce LambekGrammarsBasedonPregroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 WojciechBuszkowski AnAlgebraicAnalysisofCliticPronounsinItalian. . . . . . . . . . . . . . . . . . . . . 110 ClaudiaCasadio,JoachimLambek Consistent Identi?cation in the Limit of Any of the Classes k-Valued Is NP-hard. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125 ChristopheCostaFlor¿encio PolarizedNon-projectiveDependencyGrammars. . . . . . . . . . . . . . . . . . . . . . . 139 AlexanderDikovsky OnMixingDeductionandSubstitutioninLambekCategorialGrammars. . 158 AnnieForet A Framework for the Hyperintensional Semantics of Natural Language withTwoImplementations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175 ChrisFox,ShalomLappin ACharacterizationofMinimalistLanguages. . . . . . . . . . . . . . . . . . . . . . . . . . . 193 HenkHarkema VIII TableofContents PartofSpeechTaggingfromaLogicalPointofView. . . . . . . . . . . . . . . . . . . 212 Torbjorn ¿ Lager,JoakimNivr