Christian Retoré

Symon Jory Stevens-Guille

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2020

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

[BibT_eX]

[DOI]

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

Logical Semantics, Dialogical Argumentation, and Textual Entailment.

[BibT_eX]

[DOI]

Davide Catta

CoRR, 2020

Pomset logic: a logical and grammatical alternative to the Lambek calculus.

[BibT_eX]

[DOI]

CoRR, 2020

Inferential Semantics as Argumentative Dialogues.

[BibT_eX]

[DOI]

Davide Catta

Luc Pellissier

Proceedings of the Distributed Computing and Artificial Intelligence, 2020

2019

Natural Language Semantics and Computability.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2019

2018

Solving the Individuation and Counting Puzzle with \lambda -DRT and MGL - If I Can Get a Book from the Library, It Saves Me from Needing to Buy It in the Bookshop.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2018

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

[BibT_eX]

[DOI]

Mehdi Mirzapour

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

An outline of type-theoretical approaches to lexical semantics.

[BibT_eX]

[DOI]

Robin Cooper

Stergios Chatzikyriakidis

J. Lang. Model., 2017

From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers.

[BibT_eX]

[DOI]

Fabio Pasquali

Stergios Chatzikyriakidis

FLAP, 2017

Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics".

[BibT_eX]

[DOI]

Fabio Pasquali

FLAP, 2017

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

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2017

2014

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

[BibT_eX]

[DOI]

Livy Real

J. Log. Lang. Inf., 2014

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

[BibT_eX]

[DOI]

Jean Gillibert

J. Appl. Log., 2014

Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property.

[BibT_eX]

[DOI]

Maxime Amblard

FLAP, 2014

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture).

[BibT_eX]

[DOI]

CoRR, 2014

Deverbal semantics and the Montagovian generative lexicon.

[BibT_eX]

[DOI]

Livy-Maria Real-Coelho

CoRR, 2014

Plurals: individuals and sets in a richly typed semantics.

[BibT_eX]

[DOI]

CoRR, 2014

Normalization and sub-formula property for Lambek with product and PCMLL - Partially Commutative Multiplicative Linear Logic.

[BibT_eX]

[DOI]

Maxime Amblard

CoRR, 2014

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

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2014

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases.

[BibT_eX]

[DOI]

Proceedings of the Formal Grammar - 19th International Conference, 2014

Learning Lambek Grammars from Proof Frames.

[BibT_eX]

[DOI]

Roberto Bonato

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

Type-theoretical natural language semantics: on the system F for meaning assembly

[BibT_eX]

[DOI]

CoRR, 2013

Sémantique des déterminants dans un cadre richement typé

[BibT_eX]

[DOI]

CoRR, 2013

Some proof theoretical remarks on quantification in ordinary language

[BibT_eX]

[DOI]

V. Michele Abrusci

CoRR, 2013

The Montagovian generative lexicon ΛTyn: an integrated type-theoretical framework for compositional semantics and lexical pragmatics

[BibT_eX]

[DOI]

CoRR, 2013

Logique mathématique et linguistique formelle.

[BibT_eX]

[DOI]

CoRR, 2013

Semantic Types, Lexical Sorts and Classifiers.

[BibT_eX]

[DOI]

CoRR, 2013

Advances in the Logical Representation of Lexical Semantics.

[BibT_eX]

[DOI]

CoRR, 2013

The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

On the semantics of determiners in a rich type-theoretical framework (Sémantique des déterminants dans un cadre richement typé) [in French].

[BibT_eX]

[DOI]

Proceedings of the Traitement Automatique des Langues Naturelles, 2013

2012

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

[BibT_eX]

[DOI]

Lecture Notes in Computer Science 6850, Springer, ISBN: 978-3-642-31554-1, 2012

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

[BibT_eX]

[DOI]

CoRR, 2012

Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle (Processing of a Pyrenees Travel Novels Corpus : a Syntactical, Semantical and Temporal Analysis.) [in French].

[BibT_eX]

[DOI]

Anaïs Lefeuvre

Noémie-Fleur Sandillon-Rezer

Proceedings of the Joint Conference JEP-TALN-RECITAL 2012, 2012

2011

Specimens: "most of" generic NPs in a contextually flexible type theory

[BibT_eX]

[DOI]

CoRR, 2011

On the system F as a glue language for natural-language compositional-semantics

[BibT_eX]

[DOI]

CoRR, 2011

Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyage (A calculation of typed terms for lexical pragmatics: paths and fictional travellers in a travel stories corpus).

[BibT_eX]

[DOI]

Laurent Prévot

Proceedings of the Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles. Articles courts, 2011

2010

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

[BibT_eX]

[DOI]