01265nam0-22003971i-450-99000545417020331620010829120000.0000545417USA01000545417(ALEPH)000545417USA0100054541720010829d1985-------|0itac50------baitaIT|||| |||||<<Il>> ragno e la ragnatelale politiche attive del lavoro a livello localeP. Baglioni...[et al.]introduzione di Mario NapoliMilanoF. Angeli1985. 427 p. ; 22 cm.Collana di politiche del lavoro2001Collana di politiche del lavoroPolitica del lavoroFIMilano331.12042Politica governativa nel mercato del lavoro21BAGLIONI,PaoloNAPOLI,MarioF. AngeliITSOL20120104990005454170203316DIP.TO SCIENZE ECONOMICHE - (SA)DS 300 331.12042 BAG6100 DISES300 331.12042 BAG6100 DISESBKDISES20121027USA01153220121027USA011613Ragno e la ragnatela62300UNISAUSA529804737nam 22006975 450 991014347340332120251116233937.03-540-69631-810.1007/BFb0052147(CKB)1000000000211004(SSID)ssj0000324534(PQKBManifestationID)11224801(PQKBTitleCode)TC0000324534(PQKBWorkID)10313461(PQKB)11404381(DE-He213)978-3-540-69631-5(PPN)155198823(EXLCZ)99100000000021100420121227d1997 u| 0engurnn|008mamaatxtccrLogical Aspects of Computational Linguistics First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers /edited by Christian Retore1st ed. 1997.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1997.1 online resource (X, 442 p.) Lecture Notes in Artificial Intelligence ;1328Bibliographic Level Mode of Issuance: Monograph3-540-63700-1 Logical aspects of computational linguistics: An introduction -- Partial proof trees, resource sensitive logics and syntactic constraints -- Inessential features -- Linear logic as logic programming: An abstract -- Derivational minimalism -- Tree adjoining grammars in noncommutative linear logic -- Constructing different phonological bracketings from a proof net -- Vagueness and type theory -- A natural language explanation for formal proofs -- Models for polymorphic Lambek Calculus -- Sloopy Identity -- A family of decidable feature logics which support HPSG-style set and list constructions -- Language understanding: A procedural perspective -- The automatic deduction of classificatory systems from linguistic theories (abridged) -- A belief-centered treatment of pragmatic presupposition -- Connected sets of types and categorial consequence -- Generation as deduction on labelled proof nets -- Semilinearity as a syntactic invariant -- Quantitative constraint logic programming for weighted grammar applications -- Strict LT2 : Regular :: Local : Recognizable -- Pomset Logic and variants in natural languages -- Constraint logic programming for computational linguistics -- Representation theorems for residuated groupoids.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.Lecture Notes in Artificial Intelligence ;1328Natural language processing (Computer science)Computer architectureLogic, Symbolic and mathematicalComputer logicArtificial intelligenceNatural Language Processing (NLP)https://scigraph.springernature.com/ontologies/product-market-codes/I21040Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Natural language processing (Computer science)Computer architecture.Logic, Symbolic and mathematical.Computer logic.Artificial intelligence.Natural Language Processing (NLP).Computer System Implementation.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Artificial Intelligence.410/.285Retoré Christianedthttp://id.loc.gov/vocabulary/relators/edtLACL '96BOOK9910143473403321Logical Aspects of Computational Linguistics772784UNINA