Type reconstruction for -DRT applied to pronoun resolution

DOI10.1007/978-3-662-53826-5_10MaRDI QIDQ2964002zbMATHOpenAlexFDO

Authors Hans Leiß, Shuqian Wu

Publication date 22 February 2017

Published in Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-53826-5_10

zbMATH Keywords

type reconstructionprincipal typesdiscourse representation theory\(\lambda\)-DRTpronoun resolution

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40) Linguistics (91F20)

Recommendations

• Resolving plural ambiguities by type reconstruction
• A model-theoretic reconstruction of type-theoretic semantics for anaphora
• scientific article; zbMATH DE number 1301754
• Publication:4866983
• scientific article; zbMATH DE number 4106818

Cites work

• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• scientific article; zbMATH DE number 972607 (Why is no real title available?)
• A calculus for first order discourse representation structures
• Handbook of Linguistic Annotation
• Representing anaphora with dependent types
• Resolving plural ambiguities by type reconstruction
• The Principal Type-Scheme of an Object in Combinatory Logic
• The language of mathematics. A linguistic and philosophical investigation

Cited in

(3)

• Representing anaphora with dependent types
• Resolving plural ambiguities by type reconstruction
• A model-theoretic reconstruction of type-theoretic semantics for anaphora

Describes a project that uses

Uses Software

• Naproche

This page was built for publication: Type reconstruction for \(\lambda\)-DRT applied to pronoun resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2964002)