Type reconstruction for -DRT applied to pronoun resolution

DOI10.1007/978-3-662-53826-5_10MaRDI QIDQ2964002zbMATH OpenOpenAlexFDO

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)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

\(\lambda\)-DRTdiscourse representation theoryprincipal typespronoun resolutiontype reconstruction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic of natural languages (03B65) 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
• scientific article; zbMATH DE number 847938
• scientific article; zbMATH DE number 4106818

Cites work

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

Cited in

(3)

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

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)