Cogex: A semantically and contextually enriched logic prover for question answering

Dan I. Moldovan, Christine Clark, Sanda M. Harabagiu, Daniel Hodges. Cogex: A semantically and contextually enriched logic prover for question answering. J. Applied Logic, 5(1):49-69, 2007. [doi]

Abstract

Abstract is missing.