UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 69

Sortiert nach

Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces

Electronic proceedings in theoretical computer science, 2021, Vol.353, p.157-174

Retoré, Christian

2021

Link zum Volltext

Verfügbarkeit prüfen

Logical Aspects of Computational Linguistics: First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected Papers

Retoré, Christian

1997

Link zum Volltext

Verfügbarkeit prüfen

Natural Language Semantics and Computability

Journal of logic, language, and information, 2019-06, Vol.28 (2), p.287-307

2019

Link zum Volltext

Verfügbarkeit prüfen

Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, le Croisic, France, June 27-29, 2001 : Proceedings

1, 2001

Link zum Volltext

Verfügbarkeit prüfen

The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics

1, 2012

Link zum Volltext

Verfügbarkeit prüfen

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

1, 2016

Link zum Volltext

Verfügbarkeit prüfen

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases

Formal Grammar, p.15-33

Retoré, Christian

Link zum Volltext

Verfügbarkeit prüfen

Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm

Diagrammatic Representation and Inference, p.716-720

Link zum Volltext

Verfügbarkeit prüfen

An outline of type-theoretical approaches to lexical semantics

Journal of Language Modelling, 2017-11, Vol.5 (2), p.165-178

2017

Link zum Volltext

Verfügbarkeit prüfen

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most

Recherches linguistiques de Vincennes, 2012, Vol.41 (41), p.83-102

Retore, Christian

2012

Link zum Volltext

Verfügbarkeit prüfen

Category theory, logic and formal linguistics: Some connections, old and new

Journal of applied logic, 2014-03, Vol.12 (1), p.1-13

2014

Link zum Volltext

Verfügbarkeit prüfen

Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis

New Frontiers in Artificial Intelligence, p.214-230

Link zum Volltext

Verfügbarkeit prüfen

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

2016

Link zum Volltext

Verfügbarkeit prüfen

Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

1, 2011

Link zum Volltext

Verfügbarkeit prüfen

Quantification in Ordinary Language and Proof Theory

Philosophia scientiae, 2016-03, Vol.20 (20-1), p.185-205

2016

Link zum Volltext

Verfügbarkeit prüfen

Handsome proof-nets: perfect matchings and cographs

Theoretical computer science, 2003-02, Vol.294 (3), p.473-488

RETORE, Christian

2003

Link zum Volltext

Verfügbarkeit prüfen

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types

New Frontiers in Artificial Intelligence, p.144-159

Link zum Volltext

Verfügbarkeit prüfen

Towards a Type-Theoretical Account of Lexical Semantics

Journal of logic, language, and information, 2010-04, Vol.19 (2), p.229-245

2010

Link zum Volltext

Verfügbarkeit prüfen

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Journal of logic, language, and information, 2010-04, Vol.19 (2), p.185-200

2010

Link zum Volltext

Verfügbarkeit prüfen

Measuring Linguistic Complexity: Introducing a New Categorial Metric

Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018), 2019, p.95-123

2019

Link zum Volltext

Verfügbarkeit prüfen

The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics

Link zum Volltext

Verfügbarkeit prüfen

Traitement automatique d’un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types

SHS web of conferences, 2012, Vol.1, p.2485-2495

2012

Link zum Volltext

Verfügbarkeit prüfen

Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n

Journal of logic, language, and information, 2014-09, Vol.23 (3), p.347-366

2014

Link zum Volltext

Verfügbarkeit prüfen

Conditions d'assertion de chaque et de tout et règles de déduction du quantificateur universel

Travaux de linguistique (Gand, Belgium), 2016-01 (72), p.89

2016

Link zum Volltext

Verfügbarkeit prüfen

Conditions d’assertion de chaque et de tout et règles de déduction du quantificateur universel

Travaux de linguistique (Gand, Belgium), 2016-01, Vol.72 (1), p.89-106

2016

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 69

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(49)
Mit Volltextzugriff
(69)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Computer Science
(35)
Computation And Language
(21)
Linguistics
(15)
Artificial Intelligence
(14)
Logic In Computer Science
(13)
Science & Technology
(12)
Technology
(12)
Logic
(11)
Computational Linguistics
(9)
Computer Science, Theory & Methods
(8)
Computer Science, Artificial Intelligence
(7)
Mathematical Logic And Formal Languages
(7)
Philosophy
(7)
Semantics
(7)
Categorial Grammar
(6)
Linear Logic
(6)
Mathematics
(6)
Natural Language Processing
(6)
Computerlinguistik
(5)
Linguistique Informatique
(5)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces

Logical Aspects of Computational Linguistics: First International Conference, LACL '96 Nancy, France, September 23–25, 1996 Selected Papers

Natural Language Semantics and Computability

Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001, le Croisic, France, June 27-29, 2001 : Proceedings

The Logic of Categorial Grammars: A deductive account of natural language syntax and semantics

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases

Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm

An outline of type-theoretical approaches to lexical semantics

Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most

Category theory, logic and formal linguistics: Some connections, old and new

Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

Quantification in Ordinary Language and Proof Theory

Handsome proof-nets: perfect matchings and cographs

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types

Towards a Type-Theoretical Account of Lexical Semantics

A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars

Measuring Linguistic Complexity: Introducing a New Categorial Metric

The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics

Traitement automatique d’un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types

Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n

Conditions d'assertion de chaque et de tout et règles de déduction du quantificateur universel

Conditions d’assertion de chaque et de tout et règles de déduction du quantificateur universel

Suchergebnisse filtern