Christian Retore – författare
Visar alla böcker från författaren Christian Retore. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
Logical Aspects of Computational Linguistics
4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings
Häftad, Engelska, 2001
557 kr
Skickas inom 10-15 vardagar
Thisvolumecontainstheproceedingsofthe4thInternationalConferenceonL- icalAspectsofComputationalLinguistics,heldJune27-29,2001inLeCroisic, France. TheLACLconferencesaimtoprovideaforumforthepresentationand discussionofcurrentresearchinalltheformalandlogicalaspectsofcompu- tionallinguistics. Theprogramcommitteeselected16papersfromsubmissionsofoverallhigh quality. Thepaperscoverawiderangeoftopics,includingcategorialgrammars, dependency grammars,formal languagetheory, grammaticalinference, hyp- intensionalsemantics,minimalism,andtype-logicalsemantics,byauthorsfrom Australia,Canada,Denmark,France,Germany,Italy,TheNetherlands,Poland, Spain,Sweden,UnitedKingdom,andUSA. M. Moortgat (Universiteit Utrecht), G. K. Pullum (University of Calif- nia, Santa Cruz), and M. Steedman (University of Edinburgh) presented - vitedtalks,on"StructuralEquationsinLanguageLearning","OntheDisti- tion between Model-Theoretic and Generative-Enumerative Syntactic Fra- works",and"ReconcilingType-LogicalandCombinatoryExtensionsofCate- rialGrammar"respectively. Wewouldliketothankallthepeoplewhomadethis4thLACLpossible:the programcommittee,theexternalreviewers,theorganizationcommittee,andthe LACLsponsors.April2001 PhilippedeGroote &GlynMorrill Organization ProgramCommittee W. Buszkowski(Poznan) M. Kanazawa(Tokyo) R. Crouch,(PaloAlto) G. Morrill,co-chair(Barcelona) A. Dikovsky(Nantes) R. Muskens(Tilburg) M. Dymetman(Grenoble) F. Pfenning(Pittsburgh) C. Gardent(Nancy) B. Rounds,(AnnArbor) Ph. deGroote,co-chair(Nancy) E. Stabler(LosAngeles) OrganizingCommittee B. Daille(Nantes) C. Piliere,publicitychair(Nancy) A. Dikovsky(Nantes) C. Retor'e,chair(Rennes) A. Foret(Rennes) P. Sebillot(Rennes) E. Lebret(Rennes) AdditionalReferees J. -M. Andreoli T. HollowayKing J. Marciniec P. Blackburn M. 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 ChristopheCostaFlorencio 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,JoakimNivre TransformingLinearContext-FreeRewritingSystemsintoMinimalist Grammars ...228 JensMichaelis RecognizingHeadMovement...245 EdwardP. Stabler CombinatorsforParaconsistentAttitudes...261 JorgenVilladsen Combining Syntax and Pragmatic Knowledge for the Understanding of SpontaneousSpokenSentences ...279 JeanneVillaneau,Jean-YvesAntoine,OlivierRidoux AtomicityofSomeCategoriallyPolyvalentModi?ers ...296 R. Zuber AuthorIndex ...311 Structural Equations in Language Learning Michael Moortgat UtrechtInstituteofLinguistics-OTS Trans10,3512JKUtrecht,TheNetherlands Michael. Moortgat@let. uu. nl Abstract. Incategorialsystemswitha?xedstructuralcomponent,the learningproblemcomesdownto?ndingthesolutionforasetofty- assignmentequations. Ahard-wiredstructuralcomponentisproblematic ifonewanttoaddressissuesofstructuralvariation. Ourstartingpointis atype-logicalarchitecturewithseparatemodulesforthelogicalandthe structural components of the computational system.
Logical Aspects of Computational Linguistics
First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers
Häftad, Engelska, 1997
557 kr
Skickas inom 10-15 vardagar
This book constitutes the strictly refereed post-conference proceedings of the First International Conference on Logical Aspects of Computational Linguistics, LACL '96, held in Nancy, France in April 1996.The volume presents 18 revised full papers carefully selected and reviewed for inclusion in the book together with four invited contributions by leading authorities and an introductory survey with a detailed bibliography. The papers cover all relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal proofs, logic programming, type theory, etc.
Logic and Grammar
Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Häftad, Engelska, 2011
556 kr
Skickas inom 10-15 vardagar
This book contains selected papers from the Colloquium in Honor of Alain Lecomte, held in Pauillac, France, in November 2007. The event was part of the ANR project "Prélude" (Towards Theoretical Pragmatics Based on Ludics and Continuation Theory), the proceedings of which were published in another FoLLI-LNAI volume (LNAI 6505) edited by Alain Lecomte and Samuel Tronçon. The selected papers of this Festschrift volume focus on the scientific areas in which Alain Lecomte has worked and to which he has contributed: formal linguistics, computational linguistics, logic, and cognition.
Logic of Categorial Grammars
A deductive account of natural language syntax and semantics
Häftad, Engelska, 2012
776 kr
Skickas inom 10-15 vardagar
The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague grammar, non-associative Lambek calculus, multimodal Lambek calculus, Lambek calculus, linear logic and proof nets and proof nets for the multimodal Lambek calculus.
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
Häftad, Engelska, 2016
557 kr
Skickas inom 10-15 vardagar
Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book constitutes the refereed proceedings ofthe 20th anniversary of the International Conference on LogicalAspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,France, in December 2016. The 19 contributed papers, presentedtogether with 4 invited papers and 6 abstracts, were carefullyreviewed and selected from 38 submissions. The focus of the conferenceis the use of type theoretic, proof theoretic, and model theoreticmethods for describing and formalising natural language syntax,semantics, and pragmatics as well as the implementation of thecorresponding tools.