COGEX: A Logic Prover for Question Answering Dan Moldovan author Christine Clark author Sanda Harabagiu author Steve Maiorano author 2003 text Proceedings of the 2003 Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics conference publication moldovan-etal-2003-cogex https://aclanthology.org/N03-1022/ 2003 166 172