Fault-tolerant context-based interpretation of mathematical formulas
Helmut Horacek, Magdalena Anna Wolska · International Joint Conference on Artificial Intelligence · 2005
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.