Login / Signup
LACL
1996
2002
2010
2016
1996
2016
Keyphrases
Publications
2016
Reinhard Muskens
,
Mehrnoosh Sadrzadeh
Context Update for Lambdas and Vectors.
LACL
(2016)
Simon Petitjean
,
Denys Duchier
,
Yannick Parmentier
XMG 2: Describing Description Languages.
LACL
(2016)
William Babonnaud
,
Laura Kallmeyer
,
Rainer Osswald
Polysemy and Coercion - A Frame-Based Approach Using LTAG and Hybrid Logic.
LACL
(2016)
Gabriel Gaudreault
Compositional Event Semantics in Pregroup Grammars.
LACL
(2016)
Milos Stanojevic
Minimalist Grammar Transition-Based Parsing.
LACL
(2016)
Glyn Morrill
,
Oriol Valentín
On the Logic of Expansion in Natural Language.
LACL
(2016)
Pepijn Kokke
.
LACL
(2016)
Denis Béchet
,
Annie Foret
Categorial Dependency Grammars with Iterated Sequences.
LACL
(2016)
Christian Wurm
Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus.
LACL
(2016)
Dimitri Kartsaklis
,
Mehrnoosh Sadrzadeh
A Compositional Distributional Inclusion Hypothesis.
LACL
(2016)
Laurent Méhats
,
Lutz Straßburger
Non-crossing Tree Realizations of Ordered Degree Sequences.
LACL
(2016)
Wojciech Buszkowski
On Classical Nonassociative Lambek Calculus.
LACL
(2016)
Alda Mari
Actuality Entailments: When the Modality is in the Presupposition.
LACL
(2016)
Stergios Chatzikyriakidis
,
Zhaohui Luo
Proof Assistants for Natural Language Semantics.
LACL
(2016)
Kristina Liefke
,
Sam Sanders
A Computable Solution to Partee's Temperature Puzzle.
LACL
(2016)
Mathieu Vidal
A Compositional Semantics for 'If Then' Conditionals.
LACL
(2016)
Daisuke Bekki
,
Ai Kawazoe
Implementing Variable Vectors in a CCG Parser.
LACL
(2016)
Nicholas Asher
,
Soumya Paul
Language Games.
LACL
(2016)
Hans Leiß
,
Shuqian Wu
Type Reconstruction for \lambda -DRT Applied to Pronoun Resolution.
LACL
(2016)
volume 10054, 2016
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
LACL
10054 (2016)
2014
Wojciech Buszkowski
An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents.
LACL
(2014)
Yusuke Kubota
,
Robert Levine
Pseudogapping as Pseudo-VP Ellipsis.
LACL
(2014)
Daisuke Bekki
Representing Anaphora with Dependent Types.
LACL
(2014)
Richard Zuber
Generalising Predicate and Argument Invariance.
LACL
(2014)
Stergios Chatzikyriakidis
Adverbs in a Modern Type Theory.
LACL
(2014)
Thomas Graf
Late Merge as Lowering Movement in Minimalist Grammars.
LACL
(2014)
Glyn Morrill
,
Oriol Valentín
Semantically Inactive Multiplicatives and Words as Types.
LACL
(2014)
Nissim Francez
The Granularity of Meaning in Proof-Theoretic Semantics.
LACL
(2014)
Annie Foret
On Harmonic CCG and Pregroup Grammars.
LACL
(2014)
Arthur Ball
,
Pierre Bourreau
,
Émeric Kien
,
Sylvain Salvati
Building PMCFG Parsers as Datalog Program Transformations.
LACL
(2014)
Zhaohui Luo
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?
LACL
(2014)
Georgiana E. Lungu
,
Zhaohui Luo
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories.
LACL
(2014)
Laurence Danlos
,
Aleksandre Maskharashvili
,
Sylvain Pogodalla
An ACG View on G-TAG and Its g-Derivation.
LACL
(2014)
Alexander Clark
,
Ryo Yoshinaka
An Algebraic Approach to Multiple Context-Free Grammars.
LACL
(2014)
volume 8535, 2014
Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings
LACL
8535 (2014)
2012
Yusuke Kubota
,
Robert Levine
Gapping as Like-Category Coordination.
LACL
(2012)
Thomas Graf
Movement-Generalized Minimalist Grammars.
LACL
(2012)
Alexander Clark
Logical Grammars, Logical Theories.
LACL
(2012)
Gregory M. Kobele
,
Jens Michaelis
CoTAGs and ACGs.
LACL
(2012)
Zhe Lin
Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free.
LACL
(2012)
Hiroko Ozaki
,
Daisuke Bekki
Extractability as the Deduction Theorem in Subdirectional Combinatory Logic.
LACL
(2012)
Tao Xue
,
Zhaohui Luo
Dot-types and Their Implementation.
LACL
(2012)
Andrew R. Plummer
,
Carl Pollard
Agnostic Possible Worlds Semantics.
LACL
(2012)
Stepan L. Kuznetsov
L-Completeness of the Lambek Calculus with the Reversal Operation.
LACL
(2012)
Zhaohui Luo
Common Nouns as Types.
LACL
(2012)
Kurt Ranalter
Abstract Machines for Argumentation.
LACL
(2012)
Yuri Ishishita
,
Daisuke Bekki
Toward the Formulation of Presupposition by Illative Combinatory Logic.
LACL
(2012)
Alexey Sorokin
On the Completeness of Lambek Calculus with Respect to Cofinite Language Models.
LACL
(2012)
Christophe Fouqueré
,
Myriam Quatrini
Ludics and Natural Language: First Approaches.
LACL
(2012)
volume 7351, 2012
Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings
LACL
7351 (2012)