|
Showing 1 - 6 of
6 matches in All Departments
|
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings (Paperback, 1st ed. 2016)
Maxime Amblard, Philippe De Groote, Sylvain Pogodalla, Christian Retore
|
R2,451
Discovery Miles 24 510
|
Ships in 10 - 15 working days
|
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.
|
Logical Aspects of Computational Linguistics - 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings (Paperback, 2001 ed.)
Philippe De Groote, Glyn Morrill, Christian Retore
|
R1,578
Discovery Miles 15 780
|
Ships in 10 - 15 working days
|
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. Retore,
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 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, 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 computati
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.
This book is intended for students in computer science, formal
linguistics, mathematical logic and to colleagues interested in
categorial grammars and their logical foundations. These lecture
notes present categorial grammars as deductive systems, in the
approach called parsing-as-deduction, and the book includes
detailed proofs of their main properties. 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.
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 "Prelude" (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 Troncon. 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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R383
R318
Discovery Miles 3 180
Loot
Nadine Gordimer
Paperback
(2)
R383
R318
Discovery Miles 3 180
Hampstead
Diane Keaton, Brendan Gleeson, …
DVD
R63
Discovery Miles 630
|