Fault-Tolerant Context-Based Interpretation of Mathematical Formulas
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.
Helmut Horacek, and Magdalena Wolska. 2005. Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 1688–1690. https://ijcai.org/proceedings/2005/323
Horacek, H., & Wolska, M. (2005). Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 (pp. 1688–1690). IJCAI. https://ijcai.org/proceedings/2005/323
@inproceedings{ijcai2005p323,
title = {Fault-Tolerant Context-Based Interpretation of Mathematical Formulas},
author = {Horacek, Helmut and Wolska, Magdalena},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {1688--1690},
year = {2005},
url = {https://ijcai.org/proceedings/2005/323},
}
TY - CPAPER TI - Fault-Tolerant Context-Based Interpretation of Mathematical Formulas AU - Horacek, Helmut AU - Wolska, Magdalena T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 1688 EP - 1690 UR - https://ijcai.org/proceedings/2005/323 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
