---
title: "Fault-Tolerant Context-Based Interpretation of Mathematical Formulas"
authors:
  - "Helmut Horacek"
  - "Magdalena Wolska"
doi: ""
url: "https://ijcai.org/proceedings/2005/323"
pdf: "https://ijcai.org/proceedings/2005/0323.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "1688-1690"
track: ""
keywords:
---

# Fault-Tolerant Context-Based Interpretation of Mathematical Formulas

Helmut Horacek, Magdalena Wolska

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 1688-1690.

## 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.