Travelled to:1 × USA
Collaborated with:A.Rothenberg R.Cox R.Dale S.C.Bailin A.S.Merrill
Talks about:natur (2) difficulti (1) translat (1) theorem (1) languag (1) prover (1) dimens (1) deduct (1) order (1) logic (1)
Person: Dave Barker-Plummer
DBLP: Barker-Plummer:Dave
Contributed to:
2009
1992Wrote 3 papers:
- EDM-2009-Barker-PlummerCD #first-order #logic #natural language
- Dimensions of Difficulty in Translating Natural Language into First-Order Logic (DBP, RC, RD), pp. 220–229.
- CADE-1992-Baker-PlummerBM #automation #deduction
- &: Automated Natural Deduction (DBP, SCB, ASM), pp. 716–720.
- CADE-1992-Baker-PlummerR #proving #theorem proving
- The GAZER Theorem Prover (DBP, AR), pp. 726–730.