Publications
- Constraint Answer Set Programming versus Satisfiability Modulo Theories (with Yuliya Lierler). In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, New York, 2016 (to appear).
- Constraint Answer Set Programming versus Satisfiability Modulo Theories Or Constraints versus Theories (with Yuliya Lierler). 3rd Workshop on Grounding, Transforming, and Modularizing Theories with Variables (GTTV 2015), Lexington, Kentucky, 2015.
- Prepositional Phrase Attachment Problem Revisited: How VERBNET Can Help (with Daniel Bailey and Yuliya Lierler). In Proceedings of the 11th International Conference on Computational Semantics (IWCS 2015), London, England, 2015.
Research Interests
- Causal Reasoning
- Constraint Answer Set Programming: EZSMT
- Coreference Resolution
- Prepositional Phrase Attachment: PPattach
Experience
- Master's Thesis
- Master of Science in Computer Science
- Bachelor of Science in Computer Science
- Bachelor of Science in Mathematics