Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The Logic of Categorial Grammars [[electronic resource] ] : A deductive account of natural language syntax and semantics / / by Richard Moot, Christian Retore
| The Logic of Categorial Grammars [[electronic resource] ] : A deductive account of natural language syntax and semantics / / by Richard Moot, Christian Retore |
| Autore | Moot Richard |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 300 p. 69 illus.) |
| Disciplina | 005.131 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computational linguistics Computer science Linguistics Logic Compilers (Computer programs) Formal Languages and Automata Theory Computational Linguistics Computer Science Logic and Foundations of Programming Compilers and Interpreters |
| ISBN | 3-642-31555-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465564603316 |
Moot Richard
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical Aspects of Computational Linguistics [[electronic resource] ] : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers / / edited by Christian Retore
| Logical Aspects of Computational Linguistics [[electronic resource] ] : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers / / edited by Christian Retore |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 442 p.) |
| Disciplina | 410/.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural language processing (Computer science)
Architecture, Computer Mathematical logic Computer logic Artificial intelligence Natural Language Processing (NLP) Computer System Implementation Mathematical Logic and Formal Languages Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-540-69631-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466093303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical Aspects of Computational Linguistics [[electronic resource] ] : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers / / edited by Christian Retore
| Logical Aspects of Computational Linguistics [[electronic resource] ] : First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers / / edited by Christian Retore |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 442 p.) |
| Disciplina | 410/.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Natural 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 |
| ISBN | 3-540-69631-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910143473403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||