| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Milos Stanojevic |
Minimalist Grammar Transition-Based Parsing.  |
LACL  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stergios Chatzikyriakidis, Zhaohui Luo |
Proof Assistants for Natural Language Semantics. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Wurm |
Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Buszkowski |
On Classical Nonassociative Lambek Calculus. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Glyn Morrill, Oriol Valentín |
On the Logic of Expansion in Natural Language. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Bekki, Ai Kawazoe |
Implementing Variable Vectors in a CCG Parser. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Leiß, Shuqian Wu |
Type Reconstruction for \lambda -DRT Applied to Pronoun Resolution. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Petitjean, Denys Duchier, Yannick Parmentier 0001 |
XMG 2: Describing Description Languages. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Gaudreault |
Compositional Event Semantics in Pregroup Grammars. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Kartsaklis, Mehrnoosh Sadrzadeh |
A Compositional Distributional Inclusion Hypothesis. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Liefke, Sam Sanders |
A Computable Solution to Partee's Temperature Puzzle. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Muskens, Mehrnoosh Sadrzadeh |
Context Update for Lambdas and Vectors. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Méhats, Lutz Straßburger |
Non-crossing Tree Realizations of Ordered Degree Sequences. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Annie Foret |
Categorial Dependency Grammars with Iterated Sequences. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alda Mari |
Actuality Entailments: When the Modality is in the Presupposition. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | William Babonnaud, Laura Kallmeyer, Rainer Osswald |
Polysemy and Coercion - A Frame-Based Approach Using LTAG and Hybrid Logic. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Asher, Soumya Paul |
Language Games. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Vidal |
A Compositional Semantics for 'If Then' Conditionals. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pepijn Kokke |
Strong and Weak Quantifiers in Focused NLC. |
LACL |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré (eds.) |
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 |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Ball, Pierre Bourreau, Émeric Kien, Sylvain Salvati |
Building PMCFG Parsers as Datalog Program Transformations. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Danlos, Aleksandre Maskharashvili, Sylvain Pogodalla |
An ACG View on G-TAG and Its g-Derivation. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Clark, Ryo Yoshinaka |
An Algebraic Approach to Multiple Context-Free Grammars. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zuber |
Generalising Predicate and Argument Invariance. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Graf |
Late Merge as Lowering Movement in Minimalist Grammars. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Bekki |
Representing Anaphora with Dependent Types. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nissim Francez |
The Granularity of Meaning in Proof-Theoretic Semantics. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgiana E. Lungu, Zhaohui Luo |
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stergios Chatzikyriakidis |
Adverbs in a Modern Type Theory. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Glyn Morrill, Oriol Valentín |
Semantically Inactive Multiplicatives and Words as Types. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Asher, Sergei Soloviev 0001 (eds.) |
Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Buszkowski |
An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Kubota, Robert Levine |
Pseudogapping as Pseudo-VP Ellipsis. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Annie Foret |
On Harmonic CCG and Pregroup Grammars. |
LACL |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan L. Kuznetsov |
L-Completeness of the Lambek Calculus with the Reversal Operation. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Clark |
Logical Grammars, Logical Theories. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Lin 0002 |
Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroko Ozaki, Daisuke Bekki |
Extractability as the Deduction Theorem in Subdirectional Combinatory Logic. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Kubota, Robert Levine |
Gapping as Like-Category Coordination. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xue, Zhaohui Luo |
Dot-types and Their Implementation. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory M. Kobele, Jens Michaelis |
CoTAGs and ACGs. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew R. Plummer, Carl Pollard |
Agnostic Possible Worlds Semantics. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
Common Nouns as Types. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Karlov |
Abstract Automata and a Normal Form for Categorial Dependency Grammars. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Fouqueré, Myriam Quatrini |
Ludics and Natural Language: First Approaches. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Graf |
Movement-Generalized Minimalist Grammars. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Sorokin |
On the Completeness of Lambek Calculus with Respect to Cofinite Language Models. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Ishishita, Daisuke Bekki |
Toward the Formulation of Presupposition by Illative Combinatory Logic. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Alexander Ja. Dikovsky (eds.) |
Logical Aspects of Computational Linguistics - 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt Ranalter |
Abstract Machines for Argumentation. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory M. Kobele |
Importing Montagovian Dynamics into Minimalism. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Asher |
The Non Cooperative Basis of Implicatures. |
LACL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Glyn Morrill |
Logic Programming of the Displacement Calculus. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Noémie-Fleur Sandillon-Rezer, Richard Moot |
Using Tree Transducers for Grammatical Inference. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Pogodalla, Jean-Philippe Prost (eds.) |
Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011. Proceedings |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Yoshinaka, Makoto Kanazawa |
Distributional Learning of Abstract Categorial Grammars. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Pollard |
Are (Linguists') Propositions (Topos) Propositions? |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Amblard |
Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
Contextual Analysis of Word Meanings in Type-Theoretical Semantics. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arno Bastenhof |
Polarized Classical Non-associative Lambek Calculus and Formal Semantics. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sai Qian, Maxime Amblard |
Event in Compositional Dynamic Semantics. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory M. Kobele |
Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree Languages. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Bransen |
The Product-Free Lambek-Grishin Calculus Is NP-Complete. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Alexander Ja. Dikovsky, Annie Foret |
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Ozaki, Daisuke Bekki |
Conditional Logic Cb and Its Tableau System. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Graf |
Closure Properties of Minimalist Derivation Tree Languages. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Kanazawa, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka |
Well-Nestedness Properly Subsumes Strict Derivational Minimalism. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Staffan Larsson |
Do Dialogues Have Content? |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zuber |
Some Generalised Comparative Determiners. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Santiago Figueira, Daniel Gorín |
Using Logic in the Generation of Referring Expressions. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Cooper |
Copredication, Quantification and Frames. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Blache, Edward P. Stabler, Joan Busquets, Richard Moot (eds.) |
Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Areski Nait Abdallah, Alain Lecomte |
On Expressing Vague Quantification and Scalar Implicatures in the Logic of Partial Information. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
vague quantification, argumentation scales, partial information, implicatures |
| 1 | Roberto Bonato |
Towards a Computational Treatment of Binding Theory. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Allan Third |
The Expressive Power of Restricted Fragments of English. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Djamé Seddah, Bertrand Gaiffe |
How to Build Argumental Graphs Using TAG Shared Forest: A View from Control Verbs Problematic. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Gardent, Yannick Parmentier 0001 |
Large Scale Semantic Construction for Tree Adjoining Grammars. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John T. Hale, Edward P. Stabler |
Strict Deterministic Aspects of Minimalist Grammars. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Preller |
Category Theoretical Semantics for Pregroup Grammars. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Moreau |
Learnable Classes of General Combinatory Grammars. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Tellier |
When Categorial Grammars Meet Regular Grammatical Inference. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Burke, Kristofer Johannisson |
Translating Formal Software Specifications to Natural Language. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nissim Francez |
Lambek-Calculus with General Elimination Rules and Continuation Semantics. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bassam Haddad, Mustafa Yaseen |
A Compositional Approach Towards Semantic Representation and Construction of ARABIC. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Annie Foret |
k-Valued Non-associative Lambek Grammars (Without Product) Form a Strict Hierarchy of Languages. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Alexander Ja. Dikovsky, Annie Foret |
Dependency Structure Grammars. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Crabbé |
Grammatical Development with Xmg. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo da Silva Corrêa, Edward Hermann Haeusler |
On the Selective Lambek Calculus. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Veit Reuer, Kai-Uwe Kühnberger |
Feature Constraint Logic and Error Detection in ICALL Systems. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Yoshinaka, Makoto Kanazawa |
The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Ljunglöf |
A Polynomial Time Extension of Parallel Multiple Context-Free Grammar. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Sagot |
Linguistic Facts as Predicates over Ranges of the Sentence. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Martin Gärtner, Jens Michaelis |
A Note on the Complexity of Constraint Interaction: Locality Conditions and Minimalist Grammars. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zuber |
More Algebras for Determiners. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Mateu Villaret |
Describing Lambda Terms in Context Unification. |
LACL |
2005 |
DBLP DOI BibTeX RDF |
second-order unification, dominance constraints, underspecified semantics, computational linguistics |
| 1 | Henk Harkema |
A Characterization of Minimalist Languages. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zuber |
Atomicity of Some Categorially Polyvalent Modifiers. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeanne Villaneau, Jean-Yves Antoine, Olivier Ridoux |
Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentences. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Moortgat (eds.) |
Logical Aspects of Computational Linguistics, Third International Conference, LACL'98, Grenoble, France, December 14-16, 1998, Selected Papers |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license