Toggle navigation
OpenReview
.net
Login
×
Go to
IJCAI 2005
homepage
Fault-Tolerant Context-Based Interpretation of Mathematical Formulas
Helmut Horacek
,
Magdalena Wolska
2005 (modified: 16 Jul 2019)
IJCAI 2005
Readers:
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