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.

Produktinformation

Utgivningsdatum:1997-10-15
Mått:155 x 235 x undefined mm
Vikt:680 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:442
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540637004

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Logical Aspects of Computational Linguistics

Christian Retore, Glyn Morrill, Philippe de Groote

E-bok

2003

739 kr

Logic and Grammar

Sylvain Pogodalla, Myriam Quatrini, Christian Retoré

Häftad, 2011

571 kr

Logic and Grammar

Christian Retore, Myriam Quatrini, Sylvain Pogodalla

E-bok

2011

739 kr

Logic of Categorial Grammars

Richard Moot, Christian Retore

Häftad, 2012

796 kr

Logic of Categorial Grammars

Christian Retore, Richard Moot

E-bok

2012

957 kr

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)

Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré

Häftad, 2016

571 kr

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016)

Christian Retore, Sylvain Pogodalla, Philippe de Groote, Maxime Amblard

E-bok

2016

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, 2000

571 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Logical Aspects of Computational Linguistics

Philippe de Groote, Glyn Morrill, Christian Retore

Häftad, 2001

571 kr

Logical Aspects of Computational Linguistics

Denis Bechet, Alexandre Dikovsky

Häftad, 2012

571 kr

Logical Aspects of Computational Linguistics

Nicholas Asher, Sergei Soloviev

Häftad, 2014

548 kr

Logical Aspects of Computational Linguistics

Alain Lecomte, Francois Lamarche, Guy Perrier

Häftad, 1999

571 kr

Logical Aspects of Computational Linguistics

Michael Moortgat

Häftad, 2001

571 kr

Logical Aspects of Computational Linguistics

Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot

Häftad, 2005

571 kr

Logical Aspects of Computational Linguistics

Sylvain Pogodalla, Jean-Philippe Prost

Häftad, 2011

571 kr

Logic of Categorial Grammars

Richard Moot, Christian Retore

Häftad, 2012

796 kr

Logic and Grammar

Christian Retore, Myriam Quatrini, Sylvain Pogodalla

E-bok

2011

739 kr

Logical Aspects of Computational Linguistics

First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers

AvChristian Retore

Häftad, Engelska, 1997

Del i serien Lecture Notes in Computer Science

571 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

571 kr

571 kr

571 kr

571 kr

571 kr

571 kr

548 kr

Beskrivning

Produktinformation

Utgivningsdatum:1997-10-15
Mått:155 x 235 x undefined mm
Vikt:680 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:442
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540637004

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Logical Aspects of Computational Linguistics

Christian Retore, Glyn Morrill, Philippe de Groote

E-bok

2003

739 kr

Logic and Grammar

Sylvain Pogodalla, Myriam Quatrini, Christian Retoré

Häftad, 2011

571 kr

Logic and Grammar

Christian Retore, Myriam Quatrini, Sylvain Pogodalla

E-bok

2011

739 kr

Logic of Categorial Grammars

Richard Moot, Christian Retore

Häftad, 2012

796 kr

Logic of Categorial Grammars

Christian Retore, Richard Moot

E-bok

2012

957 kr

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)

Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré

Häftad, 2016

571 kr

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016)

Christian Retore, Sylvain Pogodalla, Philippe de Groote, Maxime Amblard

E-bok

2016

739 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051