Fault-Tolerant Context-Based Interpretation of Mathematical FormulasDownload PDF

2005 (modified: 16 Jul 2019)IJCAI 2005Readers: Everyone
Abstract: We present a fault-tolerant formula interpreter that aims at finding plausibly intended, formally correct and contextually meaningful specifications from user statements containing formal inaccuracies.
0 Replies

Loading