@inproceedings{schreck2012geometric,
  title={Geometric Construction Problem Solving in Computer-Aided Learning},
  author={Schreck, Pascal and Mathis, Pascal and Narboux, Julien},
  booktitle={Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on},
  volume={1},
  pages={1139--1144},
  year={2012},
  organization={IEEE},
  annote={This paper introduces CAD methods to deal with Constraint Satisfaction Problems related to geometry, at the same time claims to have met the requirement met by the educational domain. The methods show that results must be construction programs to take into account particular cases. A knowledge-based system implemented in Prolog has also been presented.}
}

@inproceedings{gulwani2011synthesizing,
  title={Synthesizing geometry constructions},
  author={Gulwani, Sumit and Korthikanti, Vijay Anand and Tiwari, Ashish},
  booktitle={ACM SIGPLAN Notices},
  volume={46},
  number={6},
  pages={50--61},
  year={2011},
  organization={ACM},
  annote={Aiming to solve ruler and compass based geometry construction problems, the tool described in this paper claims to have synthesized construction  steps for problems posed from high-school textbooks and examination papers. It focuses on three important insights viz. reduction of symbolic reasoning to concrete reasoning using verification based on random testing, augmenting the instruction set with higher level constructs and simulating backward deduction used by humans by using a goal-based heuristic.}
}

@incollection{ahmed2012can,
  title={Can modern statistical parsers lead to better natural language understanding for education?},
  author={Ahmed, Umair Z and Kumar, Arpit and Choudhury, Monojit and Bali, Kalika},
  booktitle={Computational Linguistics and Intelligent Text Processing},
  pages={415--427},
  year={2012},
  publisher={Springer},
  annote={Focusing on the educational domain, this paper seeks to build robust domain specific natural language understanding modules by suitable preprocessing of the text and use of domain knowledge to deal with parser errors. The paper starts with showing that even off-the-shelf parsers do not perform up to the mark on texts with domain-specific vocabulary and long sentences. The paper also talks about GeoSynth, built using state-of-the-art parsing technology. GeoSynth is a system which can automatically solve geometric constructions word problems.}
}

@techreport{itzhaky2012solving,
  title={Solving geometry problems using a combination of symbolic and numerical reasoning},
  author={Itzhaky, Shachar and Gulwani, Sumit and Immerman, Neil and Sagiv, Mooly},
  year={2012},
  institution={Technical report, Tel Aviv University},
  annote={This paper combines deductive, numeric and inductive reasoning to solve geometric problems. Using a mixture of these methods, several problems are solved which, otherwise, wouldn't have been solved using the methods individually. The paper uses the number of nondeterministic choices as a measure of how close a partial program is to the solution, claiming this to be useful in grading and providing hints to the students. The implementation takes an average of few seconds on 18 Scholastic Aptitude Test geometry problems and 11 other ruler and compass-based geometry construction problems.}
}

@article{zettlemoyer2012learning,
  title={Learning to map sentences to logical form: Structured classification with probabilistic categorial grammars},
  author={Zettlemoyer, Luke S and Collins, Michael},
  journal={arXiv preprint arXiv:1207.1420},
  year={2012},
  annote={With the objective of mapping natural language sentences to their counterpart lambda-calculus encoding, this paper introduces an algorithm which learns from the input set of natural language sentences labeled with lambda calculus expressions. The algorithm attempts to infer the underlying distribution over semantic and syntactic analyses conditioned on the input sentences and outputs a log-linear model.}
}

@article{och2003systematic,
  title={A systematic comparison of various statistical alignment models},
  author={Och, Franz Josef and Ney, Hermann},
  journal={Computational linguistics},
  volume={29},
  number={1},
  pages={19--51},
  year={2003},
  publisher={MIT Press}
}

@online{corpus,
  author = {Parallel Corpus for Geometry Constructions},
  title = {http://cse.iitk.ac.in/users/pratikkr/cs499/index.html},
  url = {http://cse.iitk.ac.in/users/pratikkr/cs499/index.html},
  urldate = {2014-04-17}
}

@phdthesis{root-RL-86-phd-ut_semantics-of-anaphora-in-discourse,
  title={The semantics of anaphora in discourse},
  author={Root, Rebecca Louise},
  year={1986},
  school={University of Texas at Austin},
  annote = {}
}

@incollection{kamp2011discourse,
  title={Discourse representation theory},
  author={Kamp, Hans and Van Genabith, Josef and Reyle, Uwe},
  booktitle={Handbook of philosophical logic},
  pages={125--394},
  year={2011},
  publisher={Springer}
}

@book{jurafsky2000speech,
  title={Speech \& Language Processing},
  author={Jurafsky, Dan and Martin, James H},
  year={2000},
  publisher={Pearson Education India},
  annote={An anaphora is a "REFERRING EXPRESSION" that "COREFERS" to some entity already introduced in the discourse context. Its use depends on the speaker's belief about the role of the referent within the hearer's set of beliefs (pg 666). In our case, the ``context'' constitues that of the drawing interpreter's.}
}

@book{mitkov2002anaphora,
  title={Anaphora resolution},
  author={Mitkov, Ruslan},
  volume={134},
  year={2002},
  publisher={Longman London}
}

@inproceedings{rahman-ng-11ijc_ensemble-based-coreference-resolution,
  title={Ensemble-based coreference resolution},
  author={Altaf Rahman and Vincent Ng},
  booktitle={Proceedings of the 22nd IJCAI Volume Three},
  pages={1884--1889},
  year={2011},
}

@inproceedings{nguyen-poesio-12coling_relational-coreference-resolution,
 author = {Nguyen, Truc-Vien T. and Poesio, Massimo},
 title = {Relational Structures and Models for Coreference Resolution},
 booktitle = {Proceedings of the 24rd International Conference on Computational Linguistics},
 series = {COLING '12},
 month = {December},
 year = {2012},
 location = {Mumbai, India},
 numpages = {10}
}

@inproceedings{stoyanov-eisneree-12coling_easy-first-coreference-resolution,
  title =	 {Easy-first Coreference Resolution},
  author =	 {Veselin Stoyanov and Jason Eisneree},
  booktitle =	 {Proceedings 24rd COLING '12},
  month =	 {Dec},
  year =	 {2012},
  location =	 {Mumbai, India},
}
