| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jørgen Villadsen |
Combinators for Paraconsistent Attitudes.  |
LACL  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe de Groote, Glyn Morrill, Christian Retoré (eds.) |
Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Bargelli, Joachim Lambek |
An Algebraic Approach to French Sentence Structure. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward P. Stabler |
Recognizing Head Movement. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Annie Foret |
On Mixing Deduction and Substitution in Lambek Categorial Grammars. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bottoni, Bernd Meyer 0001, Kim Marriott, Francesco Parisi-Presicce |
Deductive Parsing of Visual Languages. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Costa Florêncio |
Consistent Identification in the Limit of Any of the Classes k -Valued Is NP-hard. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
Learning theory, Grammatical inference, Categorial grammars, Formal language theory |
| 1 | Wojciech Buszkowski |
Lambek Grammars Based on Pregroups. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Moortgat |
Structural Equations in Language Learning. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Casadio, Joachim Lambek |
An Algebraic Analysis of Clitic Pronouns in Italian. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Fox, Shalom Lappin |
A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Torbjörn Lager, Joakim Nivre |
Part of Speech Tagging from a Logical Point of View. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel A. Alonso 0001, Éric Villemonte de la Clergerie, Manuel Vilares Ferro |
A Formal Definition of Bottom-Up Embedded Push-Down Automata and Their Tabulation Technique. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey K. Pullum, Barbara C. Scholz |
On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Ja. Dikovsky |
Polarized Non-projective Dependency Grammars. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Michaelis |
Transforming Linear Context-Free Rewriting Systems into Minimalist Grammars. |
LACL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Lecomte, François Lamarche, Guy Perrier (eds.) |
Logical Aspects of Computational Linguistics, Second International Conference, LACL '97, Nancy, France, September 22-24, 1997, Selected Papers |
LACL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Pogodalla |
Lexicalized Proof-Nets and TAGs. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Tiede |
Lambek Calculus Proofs and Tree Automata. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Aravind K. Joshi, Seth Kulick, Natasha Kurtonina |
An LTAG Perspective on Categorial Inference. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger |
Computational Solutions for Structural Constraints. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Ogata |
A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilfried Meyer-Viol |
Sequential Construction of Logical Forms. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Wartena |
Grammars with Composite Storages. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof Monz, Maarten de Rijke |
Deductions with Meaning. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Alexander Koller |
Dominance Constraints in Context Unification. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
tree descriptions, unification theory, Computational linguistics, computational logics, underspecification |
| 1 | Jens Michaelis |
Derivational Minimalism Is Mildly Context-Sensitive. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Lecomte |
Categorial Minimalism. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Hegner |
Computational and Structural Aspects of Openly Specified Type Hierarchies. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Jäger |
Anaphora and Quantification in Categorial Grammar. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Kracht |
Strict Compositionality and Literal Movement Grammars. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Koller, Joachim Niehren, Ralf Treinen |
Dominance Constraints: Algorithms and Complexity. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
Dominance constraints, complexity, constraint programming, computational linguistics, underspecification |
| 1 | Nissim Francez |
Hypothetical Reasoning and Basic Non-constituent Coordination in Type-Logical Grammar. |
LACL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Kandulski |
Strong Equivalence of Generalized Ajdukiewicz and Lambek Grammars. |
LACL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Heylen |
Underspecification in Type-Logical Grammars. |
LACL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Tom Cornell |
Derivational and Representational Views of Minimalist Tranformational Grammar. |
LACL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Morawietz, Tom Cornell |
The MSO Logic-Automaton Connection in Linguistics. |
LACL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Nissim Francez |
On Fibring Feature Logics with Concatenation Logics. |
LACL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Joshua S. Hodas |
A Linear Logic Treatment of Phrase Structure Grammars for Unbounded Dependencies. |
LACL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Denis Bouchard |
Optimal Parameters. |
LACL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Herman Hendriks |
The Logic of Tune - A Proof-Theoretic Analysis of Intonation. |
LACL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Christian Retoré (eds.) |
Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers |
LACL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo, Paul Callaghan |
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. |
LACL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Lambek |
Type Grammar Revisited. |
LACL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Shaumyan, Paul Hudak |
Linguistic, Philosophical, and Pragmatic Aspects of Type-Directed Natural Language. |
LACL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Vilares Ferro, Miguel A. Alonso 0001, David Cabrero Souto |
An Opterational Model for Parsing Definite Clause Grammars with Infinite Terms. |
LACL |
1997 |
DBLP BibTeX RDF |
|
| 1 | Martin Emms |
Models for Polymorphic Lambek Calculus. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul John King, Kiril Ivanov Simov |
The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged). |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward P. Stabler |
Derivational Minimalism. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Aravind K. Joshi, Seth Kulick |
Partial Proof Trees, Resource Sensitive Logics, and Syntactic Constraints. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Frieder Stolzenburg, Stephan Höhne, Ulrich Koch, Martin Volk 0001 |
Constraint Logic Programming for Computational Linguistics. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Gardent |
Sloopy Identity. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Kracht |
Inessential Features. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucia H. B. Manara, Anne N. De Roeck |
A Belief-Centered Treatment of Pragmatic Presupposition. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles |
Tree Adjoining Grammars in Noncommutative Linear Logic. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Michaelis, Marcus Kracht |
Semilinearity as a Syntactic Invariant. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Boldini |
Vagueness and Type Theory. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene Schena |
Pomset Logic and Variants in Natural Languages. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay |
Language Understanding: A Procedural Perspective. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Coscoy |
A Natural Language Explanation for Formal Proofs. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Éric Villemonte de la Clergerie |
Logical Aspects of Computational Linguistics: An Introduction. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Josep M. Merenciano, Glyn Morrill |
Generation as Deduction on Labelled Proof Nets. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Hegner |
A Family of Decidable Feature Logics which Support HPSG-Style Set and List Constructions. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | James Rogers |
Strict LT2 : Regular : : Local : Recognizable. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller 0001 |
Linear Logic as Logic Programming: An Abstract. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Béchet, Philippe de Groote |
Constructing Different Phonological Bracketings from a Proof Net. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Riezler |
Quantitative Constraint Logic Programming for Weighted Grammar Applications. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek Szczerba |
Representation Theorems for Residuated Groupoids. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacek Marciniec |
Connected Sets of Types and Categorial Consequence. |
LACL |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license