Computing Presuppositions and Implicatures in Mathematical Discourse

by Claus Zinn
Citations:1 - 1 self

Active Bibliography

1 Towards the Mechanical Verification of Textbook Proofs – Claus Zinn - 2000
1077 The Generative Lexicon – James Pustejovsky - 1991
548 Abduction in Logic Programming – Marc Denecker, Antonis Kakas
305 Probabilistic Horn abduction and Bayesian networks – David Poole - 1993
20 Understanding Informal Mathematical Discourse – Claus Werner Zinn - 2004
An Intelligent Tutoring System for Induction Proofs – Alan Bundy, Johanna Moore, Claus Zinn
7 Understanding Mathematical Discourse – Claus Zinn - 1999
259 Actions and Events in Interval Temporal Logic – James F. Allen, George Ferguson - 1994
247 SELECTION AND INFORMATION: A CLASS-BASED APPROACH TO LEXICAL RELATIONSHIPS – Philip Stuart Resnik - 1993