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.
Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / / Balder D. ten Cate, Henk W. Zeevat (editors)
| Logic, language, and computation : 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / / Balder D. ten Cate, Henk W. Zeevat (editors) |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (XII, 282 p.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computational linguistics
Computer logic Programming languages (Electronic computers) - Semantics |
| ISBN | 3-540-75144-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Expressing Ignorance or Indifference -- The Main Devices of Foregrounding in the Information Structure of Georgian Sentences -- Focus and ‘Only’ in Hungarian -- Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras -- Productivity, Polysemy, and Predicate Indexicality -- Argument Dependencies in Tukang Besi -- The Marking of Verb-Actant Relations in Georgian -- Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points -- The Problem of Learning the Semantics of Quantifiers -- Towards a Cross-Linguistic Production Data Archive: Structure and Exploration -- Case Attraction in Ancient Greek -- Real World Multi-agent Systems: Information Sharing, Coordination and Planning -- Pros and Cons of a Type-Shifting Approach to Russian Genitive of Negation -- A Whether Forecast -- Participants in Action: The Interplay of Aspectual Meanings and Thematic Relations in the Semantics of Semitic Morphology -- Natural Logic for Natural Language -- Georgian as the Testing-Ground for Theories of Tense and Aspect -- Some Criteria of Decidability for Axiomatic Systems in Three-Valued Logic -- Doubling: The Semantic Driving Force Behind Functional Categories. |
| Record Nr. | UNISA-996465858303316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical Aspects of Computational Linguistics [[electronic resource] ] : 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings / / edited by Sylvain Pogodalla, Jean-Philippe Prost
| Logical Aspects of Computational Linguistics [[electronic resource] ] : 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings / / edited by Sylvain Pogodalla, Jean-Philippe Prost |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (X, 283 p. 50 illus., 7 illus. in color.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computational linguistics Artificial Intelligence Mathematical Logic and Formal Languages Computational Linguistics |
| ISBN | 3-642-22221-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Title -- Preface -- Organization -- Table of Contents -- Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework -- Commutativity vs. Non-commutativity in Standard MCG and Phases -- Minimalist Categorial Grammars -- Partially Commutative Logic (PCL) -- Labels Encoding Word Order -- Lexicon -- Rules of MCG -- Phases -- Encoding Phases in MCG -- Derivation of a Simple Sentence -- Question -- Blocked Derivation with PIC -- Conclusion -- References -- Using Logic in the Generation of Referring Expressions -- Generating Referring Expressions -- Measuring Expressive Power -- Choosing the Appropriate Language -- Defining Sameness -- GRE via Simulator Sets -- GRE via Building Simulated Models -- Combining GRE Methods -- On the Size of Referring Expressions -- Conclusions -- References -- Polarized Classical Non-associative Lambek Calculus and Formal Semantics -- Introduction -- Classical Non-associative Lambek Calculus -- Polarized CNL -- Motivation -- Polarization and Derivational Semantics -- Lexical Semantics -- Comparing Provability in CNLpol and CNL -- Phase Spaces -- Cut Admissibility and Completeness w.r.t. CNL -- Related Topics -- Focused Proof Search -- The Lambek-Grishin Calculus -- Normalization by Evaluation -- References -- The Product-Free Lambek-Grishin Calculus Is NP-Complete -- Introduction -- Lambek-Grishin Calculus -- Preliminaries -- Derivation Length -- Additional Notations -- Derived Rules of Inference -- Type Similarity -- Reduction from SAT to LG -- Intuition -- Only-If Part -- If Part -- Conclusion -- Discussion and Future Work -- References -- Copredication, Quantification and Frames -- Introduction -- Frames and Thick Particulars -- Dynamic Generalized Quantifiers -- Treating Copredication -- Treating Lexical Innovation -- How Many Books are on the Shelf? -- Conclusion -- References.
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types -- Introduction -- Categorial Dependency Grammars with Extended Iteration Types -- Categorial Dependency Grammars -- Dispersed and Choice Iterations -- Incremental Learning -- Incremental Learning of Dispersed Iteration -- Incremental Learning of Choice Iteration -- Conclusion -- References -- Closure Properties of Minimalist Derivation Tree Languages -- Preliminaries and Notation -- Minimalist Derivation Tree Languages -- P-Closure Properties -- Minimalist Grammars with Regular Control -- References -- Well-Nestedness Properly Subsumes Strict Derivational Minimalism -- Introduction -- Multiple Context-Free Grammars -- Separating MCFLwn from MCFL -- Separating MCFLmb from MCFLwn -- Conclusion -- References -- Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages -- Formal Preliminaries -- Minimalist Grammars -- Languages -- Closure under Intersection with Regular Sets -- Applications -- Semantics -- Complexity Filters -- Distributed Morphology -- Conclusion -- References -- Do Dialogues Have Content? -- Introduction -- The Content of a Dialogue -- The Challenge from Semantic Plasticity -- Semantic Coordination and Semantic Plasticity -- Semantic Plasticity and Inference -- Semantic Plasticity and Classical Model-Theoretic Semantics -- An Alternative: TTR -- Representing Concepts Using TTR -- A TTR Account of the ``Panda'' Example -- TTR and Semantic Plasticity -- Indeterminate Extensions -- Model-Theoretic Sensor Semantics? -- Conclusion -- References -- Contextual Analysis of Word Meanings in Type-Theoretical Semantics -- Introduction -- Type-Theoretical Semantics -- A Brief Overview -- Embedded Logic -- Dependent Types -- Coercive Subtyping -- Universes -- Sense Selection via Overloading -- Sense Enumeration. Simple Sense Selection via Overloading Based on Coercive Subtyping -- Representation of Contexts: Coercion Contexts and Local Coercions -- Coercion Contexts in Type Theory -- Local Coercions in Terms -- Structured Lexical Entries: Copredication and Beyond -- Copredication and Dot-Types -- Generative Lexical Entries as -types -- Implementations in Coq -- Conclusion -- References -- Logic Programming of the Displacement Calculus -- Introduction -- The Displacement Calculus -- Focusing -- Logic Programming -- Conclusion -- References -- Conditional Logic Cb and Its Tableau System -- Introduction -- Conditional Sentences in Natural Language and Classical Logic -- Modal Tableau -- Conditional Logic -- Syntax of Conditional Logic -- Semantics of Conditional Logic -- Previous Study -- C+ -- S -- C1 , C2 -- Proposal: A New Conditional Logic Cb -- Empirical Verification -- Soundness -- Completeness -- Conclusion and Future Work -- References -- Are (Linguists') Propositions (Topos) Propositions? -- Introduction -- Lambek's Categorical Semantics -- Are Propositions Propositions? -- Preboolean Algebras -- Background on Ultrafilters -- Hyperintensional Categorical Semantics -- Conclusion -- References -- Event in Compositional Dynamic Semantics -- Event Semantics -- Dynamic Semantics and Discourse Relation -- Dynamic Semantics -- A New Approach to Dynamics -- Discourse Relations and Discourse Structure -- EventinDynamicSemantics -- Event-Based Sentential Semantics -- Event-Based Discourse Semantics -- Comparison with Other Related Works -- Conclusion and Future Work -- References -- Using Tree Transducers for Grammatical Inference -- Introduction -- Learning Categorial Grammars -- Presentation of the Paris VII Corpus -- G-transducer -- Formal Definition -- Transduction Rules -- Implementation -- Corpus Corrector -- Transducer -- Evaluation. Conclusion and Future Work -- References -- Distributional Learning of Abstract Categorial Grammars -- Introduction -- Simply Typed Lambda Calculus -- Abstract Categorial Grammars -- Definition -- Encoding of Context-Free Formalisms in ACGs -- Distributional Learning of ACGs -- Examples of Learning Algorithms -- Substitutable ACGs -- ACGs with the Finite Kernel Property -- Discussions -- References -- Some Generalised Comparative Determiners -- Introduction -- Formal Preliminaries -- Some Unary Comparative Determiners -- Some Binary Generalised Determiners -- Conclusive Remarks -- References -- Author Index. |
| Record Nr. | UNISA-996465515403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical Aspects of Computational Linguistics [[electronic resource] ] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot
| Logical Aspects of Computational Linguistics [[electronic resource] ] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 366 p.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Natural language processing (Computer science) Artificial Intelligence Mathematical Logic and Formal Languages Natural Language Processing (NLP) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | LACL -- k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages -- Dependency Structure Grammars -- Towards a Computational Treatment of Binding Theory -- Translating Formal Software Specifications to Natural Language -- On the Selective Lambek Calculus -- Grammatical Development with Xmg -- Lambek-Calculus with General Elimination Rules and Continuation Semantics -- A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars -- Large Scale Semantic Construction for Tree Adjoining Grammars -- A Compositional Approach Towards Semantic Representation and Construction of ARABIC -- Strict Deterministic Aspects of Minimalist Grammars -- A Polynomial Time Extension of Parallel Multiple Context-Free Grammar -- Learnable Classes of General Combinatory Grammars -- On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information -- Describing Lambda Terms in Context Unification -- Category Theoretical Semantics for Pregroup Grammars -- Feature Constraint Logic and Error Detection in ICALL Systems -- Linguistic Facts as Predicates over Ranges of the Sentence -- How to Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic -- When Categorial Grammars Meet Regular Grammatical Inference -- The Expressive Power of Restricted Fragments of English -- The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars -- More Algebras for Determiners. |
| Record Nr. | UNISA-996465821903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical Aspects of Computational Linguistics [[electronic resource] ] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot
| Logical Aspects of Computational Linguistics [[electronic resource] ] : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings / / edited by Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (X, 366 p.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Natural language processing (Computer science) Artificial Intelligence Mathematical Logic and Formal Languages Natural Language Processing (NLP) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | LACL -- k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages -- Dependency Structure Grammars -- Towards a Computational Treatment of Binding Theory -- Translating Formal Software Specifications to Natural Language -- On the Selective Lambek Calculus -- Grammatical Development with Xmg -- Lambek-Calculus with General Elimination Rules and Continuation Semantics -- A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars -- Large Scale Semantic Construction for Tree Adjoining Grammars -- A Compositional Approach Towards Semantic Representation and Construction of ARABIC -- Strict Deterministic Aspects of Minimalist Grammars -- A Polynomial Time Extension of Parallel Multiple Context-Free Grammar -- Learnable Classes of General Combinatory Grammars -- On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information -- Describing Lambda Terms in Context Unification -- Category Theoretical Semantics for Pregroup Grammars -- Feature Constraint Logic and Error Detection in ICALL Systems -- Linguistic Facts as Predicates over Ranges of the Sentence -- How to Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic -- When Categorial Grammars Meet Regular Grammatical Inference -- The Expressive Power of Restricted Fragments of English -- The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars -- More Algebras for Determiners. |
| Record Nr. | UNINA-9910768444803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29 2001 : proceedings / / Philippe de Groote, Glyn Morrill, Christian RetoreÌ (eds.)
| Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29 2001 : proceedings / / Philippe de Groote, Glyn Morrill, Christian RetoreÌ (eds.) |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2001] |
| Descrizione fisica | 1 online resource (VIII, 311 p.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Computational linguistics |
| ISBN | 3-540-48199-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Structural Equations in Language Learning -- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks -- Contributed Papers -- A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique -- An Algebraic Approach to French Sentence Structure -- Deductive Parsing of Visual Languages -- Lambek Grammars Based on Pregroups -- An Algebraic Analysis of Clitic Pronouns in Italian -- Consistent Identification in the Limit of Any of the Classes k-Valued Is NP-hard -- Polarized Non-projective Dependency Grammars -- On Mixing Deduction and Substitution in Lambek Categorial Grammars -- A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations -- A Characterization of Minimalist Languages -- of Speech Tagging from a Logical Point of View -- Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars -- Recognizing Head Movement -- Combinators for Paraconsistent Attitudes -- Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences -- Atomicity of Some Categorially Polyvalent Modifiers. |
| Record Nr. | UNISA-996465817103316 |
| Berlin, Germany : , : Springer, , [2001] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29 2001 : proceedings / / Philippe de Groote, Glyn Morrill, Christian RetoreÌ (eds.)
| Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29 2001 : proceedings / / Philippe de Groote, Glyn Morrill, Christian RetoreÌ (eds.) |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2001] |
| Descrizione fisica | 1 online resource (VIII, 311 p.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico | Computational linguistics |
| ISBN | 3-540-48199-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Structural Equations in Language Learning -- On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks -- Contributed Papers -- A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique -- An Algebraic Approach to French Sentence Structure -- Deductive Parsing of Visual Languages -- Lambek Grammars Based on Pregroups -- An Algebraic Analysis of Clitic Pronouns in Italian -- Consistent Identification in the Limit of Any of the Classes k-Valued Is NP-hard -- Polarized Non-projective Dependency Grammars -- On Mixing Deduction and Substitution in Lambek Categorial Grammars -- A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations -- A Characterization of Minimalist Languages -- of Speech Tagging from a Logical Point of View -- Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars -- Recognizing Head Movement -- Combinators for Paraconsistent Attitudes -- Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences -- Atomicity of Some Categorially Polyvalent Modifiers. |
| Record Nr. | UNINA-9910143594703321 |
| Berlin, Germany : , : Springer, , [2001] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical aspects of computational linguistics : second International Conference, LACL'97, Nancy, France, September 22-24, 1997, selected papers / / Alain Lecomte, Francois Lamarche, Guy Perrier (Eds.)
| Logical aspects of computational linguistics : second International Conference, LACL'97, Nancy, France, September 22-24, 1997, selected papers / / Alain Lecomte, Francois Lamarche, Guy Perrier (Eds.) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XI, 255 p.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computational linguistics |
| ISBN | 3-540-48975-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited papers -- Type Grammar Revisited -- Optimal Parameters -- Selected papers -- Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars -- Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing -- Derivational and Representational Views of Minimalist Transformational Grammar -- The MSO Logic-Automaton Connection in Linguistics -- The Logic of Tune A Proof-Theoretic Analysis of Intonation -- A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies -- Underspecification in Type-Logical Grammars -- On Fibring Feature Logics with Concatenation Logics -- An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms -- Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. |
| Record Nr. | UNINA-9910143465303321 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical aspects of computational linguistics : second International Conference, LACL'97, Nancy, France, September 22-24, 1997, selected papers / / Alain Lecomte, Francois Lamarche, Guy Perrier (Eds.)
| Logical aspects of computational linguistics : second International Conference, LACL'97, Nancy, France, September 22-24, 1997, selected papers / / Alain Lecomte, Francois Lamarche, Guy Perrier (Eds.) |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (XI, 255 p.) |
| Disciplina | 410.285 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Computational linguistics |
| ISBN | 3-540-48975-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited papers -- Type Grammar Revisited -- Optimal Parameters -- Selected papers -- Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars -- Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language Parsing -- Derivational and Representational Views of Minimalist Transformational Grammar -- The MSO Logic-Automaton Connection in Linguistics -- The Logic of Tune A Proof-Theoretic Analysis of Intonation -- A Linear Logic Treatment of Phrase Structure Grammars For Unbounded Dependencies -- Underspecification in Type-Logical Grammars -- On Fibring Feature Logics with Concatenation Logics -- An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms -- Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. |
| Record Nr. | UNISA-996465494103316 |
| Berlin ; ; Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) [[electronic resource] ] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré
| Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) [[electronic resource] ] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIV, 335 p. 51 illus.) |
| Disciplina | 410.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Natural language processing (Computer science) Computer science Computational linguistics Formal Languages and Automata Theory Artificial Intelligence Natural Language Processing (NLP) Computer Science Logic and Foundations of Programming Computational Linguistics |
| ISBN | 3-662-53826-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal logic -- Computational Linguistics -- Syntactic Parsing -- Formal Semantics -- Discourse Interpretation. |
| Record Nr. | UNISA-996465493503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) [[electronic resource] ] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré
| Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) [[electronic resource] ] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIV, 335 p. 51 illus.) |
| Disciplina | 410.285 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Artificial intelligence Natural language processing (Computer science) Computer science Computational linguistics Formal Languages and Automata Theory Artificial Intelligence Natural Language Processing (NLP) Computer Science Logic and Foundations of Programming Computational Linguistics |
| ISBN | 3-662-53826-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal logic -- Computational Linguistics -- Syntactic Parsing -- Formal Semantics -- Discourse Interpretation. |
| Record Nr. | UNINA-9910483942903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
