{"type":"ScholarlyArticle","title":"Fault-Tolerant Context-Based Interpretation of Mathematical Formulas","authors":[{"name":"Helmut Horacek","slug":"helmut-horacek","given":"Helmut","family":"Horacek","affiliation":""},{"name":"Magdalena Wolska","slug":"magdalena-wolska","given":"Magdalena","family":"Wolska","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2005/323","pdf":"https://ijcai.org/proceedings/2005/0323.pdf","markdown":"https://ijcai.org/proceedings/2005/323.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/323","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":323,"pages":{"first":1688,"last":1690},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}