Archive for March 12th, 2007
POTW: 3/11/07: “COGEX: A Logic Prover for Question Answering” by Moldovan, et. al.
Following on from last weeks look at Language Computer Corporations TREC 2003 entry, we are going to dig deeper into the theorem prover part of the system and look at “COGEX: A Logic Prover for Question Answering” by Moldovan, et. al.
Popularity: 3% [?]Popularity: 3% [?]
