Login / Signup

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

Dan I. MoldovanChristine ClarkSanda M. HarabagiuDaniel Hodges
Published in: J. Appl. Log. (2007)
Keyphrases