Contextual inference in computational semantics

DOI10.1007/3-540-48315-2_19MaRDI QIDQ4941944zbMATH OpenFDO

Authors Christof Monz

Publication date 9 April 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48315-2_19

zbMATH Keywords

automated theorem proving

Mathematics Subject Classification ID

Natural language processing (68T50)

Recommendations

• Computational semantics in discourse: Underspecification, resolution, and inference
• Computing meaning. Vol. 2
• A higher-order theory of presupposition
• scientific article; zbMATH DE number 1689575
• A resolution calculus for dynamic semantics

Cited in

(12)

• Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game
• scientific article; zbMATH DE number 1689575 (Why is no real title available?)
• scientific article; zbMATH DE number 4100621 (Why is no real title available?)
• A Computational Framework For Understanding Mathematical Discoursexy
• scientific article; zbMATH DE number 1552271 (Why is no real title available?)
• scientific article; zbMATH DE number 1755797 (Why is no real title available?)
• scientific article; zbMATH DE number 1878043 (Why is no real title available?)
• scientific article; zbMATH DE number 770148 (Why is no real title available?)
• Inferential Semantics
• Inference rules using local contexts
• Inferentializing semantics
• Interpretation and inference with maximal referential terms

This page was built for publication: Contextual inference in computational semantics

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