Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662437414, 9783662437421

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generalising Predicate and Argument Invariance

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_13 ◽

2014 ◽

pp. 163-176 ◽

Author(s):

Richard Zuber

Download Full-text

Building PMCFG Parsers as Datalog Program Transformations

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_1 ◽

2014 ◽

pp. 1-13

Author(s):

Arthur Ball ◽

Pierre Bourreau ◽

Émeric Kien ◽

Sylvain Salvati

Keyword(s):

Program Transformations

Download Full-text

An ACG View on G-TAG and Its g-Derivation

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_6 ◽

2014 ◽

pp. 70-82

Author(s):

Laurence Danlos ◽

Aleksandre Maskharashvili ◽

Sylvain Pogodalla

Download Full-text

Semantically Inactive Multiplicatives and Words as Types

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_12 ◽

2014 ◽

pp. 149-162 ◽

Author(s):

Glyn Morrill ◽

Oriol Valentín

Download Full-text

On Harmonic CCG and Pregroup Grammars

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_7 ◽

2014 ◽

pp. 83-95

Author(s):

Annie Foret

Keyword(s):

Pregroup Grammars

Download Full-text

Pseudogapping as Pseudo-VP Ellipsis

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_10 ◽

2014 ◽

pp. 122-137 ◽

Author(s):

Yusuke Kubota ◽

Robert Levine

Keyword(s):

Download Full-text

Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_14 ◽

2014 ◽

pp. 177-188 ◽

Author(s):

Zhaohui Luo

Keyword(s):

Formal Semantics ◽

Theoretic Proof

Download Full-text

Adverbs in a Modern Type Theory

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_4 ◽

2014 ◽

pp. 44-56 ◽

Author(s):

Stergios Chatzikyriakidis

Keyword(s):

Download Full-text

The Granularity of Meaning in Proof-Theoretic Semantics

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_8 ◽

2014 ◽

pp. 96-106

Author(s):

Nissim Francez

Download Full-text

An Algebraic Approach to Multiple Context-Free Grammars

Logical Aspects of Computational Linguistics - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43742-1_5 ◽

2014 ◽

pp. 57-69 ◽

Author(s):

Alexander Clark ◽

Ryo Yoshinaka

Keyword(s):

Algebraic Approach ◽

Multiple Context ◽

Context Free ◽

Context Free Grammars

Download Full-text