LEADER 05382nam 22006855 450 001 996465721203316 005 20200706063705.0 024 7 $a10.1007/b136253 035 $a(CKB)1000000000212947 035 $a(SSID)ssj0000316986 035 $a(PQKBManifestationID)11222204 035 $a(PQKBTitleCode)TC0000316986 035 $a(PQKBWorkID)10295902 035 $a(PQKB)10110414 035 $a(DE-He213)978-3-540-31928-3 035 $a(MiAaPQ)EBC3067756 035 $a(PPN)12309514X 035 $a(EXLCZ)991000000000212947 100 $a20100709d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aConstraint Solving and Language Processing$b[electronic resource] $eFirst International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers /$fedited by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (VIII, 205 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3438 300 $a"1st International Workshop on Constraint Solving and Language Processing"--Pref. 311 $a3-540-31928-X 311 $a3-540-26165-6 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment of Long Distance Dependencies in CHR -- Metagrammar Redux -- The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions and Constraint Systems -- Problems of Inducing Large Coverage Constraint-Based Dependency Grammar for Czech -- Multi-dimensional Graph Configuration for Natural Language Processing -- An Intuitive Tool for Constraint Based Grammars -- Parsing Unrestricted German Text with Defeasible Constraints -- Animacy Information in Human Sentence Processing: An Incremental Optimization of Interpretation Approach -- An Exploratory Application of Constraint Optimization in Mozart to Probabilistic Natural Language Processing -- A Constraint-Based Model for Lexical and Syntactic Choice in Natural Language Generation. 330 $aThis volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First International Workshop on C- straint Solving and Language Processing, held in Roskilde, Denmark, September 1?3, 2004. Constraint Programming and Constraint Solving, in particular Constraint Logic Programming, appear to be a very promising platform, perhaps the most promising present platform, for bringing forward the state of the art in natural language processing, this due to the naturalness in speci?cation and the direct relation to e?cient implementation. Language, in the present context, may - fer to written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems, which can be handled in very much the same ways using constraint programming. The notion of constraints, with slightly di?ering meanings, apply in the ch- acterization of linguistic and cognitive phenomena, in formalized linguistic m- els as well as in implementation-oriented frameworks. Programming techniques for constraint solving have been, and still are, in a period with rapid devel- ment of new e?cient methods and paradigms from which language processing can pro?t. A common metaphor for human language processing is one big c- straintsolvingprocessinwhichthedi?erent(-lyspeci?ed)linguisticandcognitive phases take place in parallel and with mutual cooperation, which ?ts quite well with current constraint programming paradigms. 410 0$aLecture Notes in Artificial Intelligence ;$v3438 606 $aArtificial intelligence 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1/16 702 $aChristiansen$b Henning$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSkadhauge$b Peter Rossen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVilladsen$b Jørgen$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465721203316 996 $aConstraint Solving and Language Processing$9772255 997 $aUNISA