| Language, proof and logic J Barwise, J Etchemendy, G Allwein, D Barker-Plummer, A Liu CSLI publications, 2000 | 373 | 2000 |
| Language, proof, and logic D Barker-Plummer, J Barwise, J Etchemendy, A Liu, M Murray, E Pease CSLI Publications, 2011 | 102 | 2011 |
| Cliché programming in Prolog D Barker-Plummer Duke University, 1989 | 84 | 1989 |
| An empirical study of errors in translating natural language into logic D Barker-Plummer, R Cox, R Dale, J Etchemendy Proceedings of the 30th Annual Meeting of the Cognitive Science Society …, 2008 | 29 | 2008 |
| The role of diagrams in mathematical proofs D Barker-Plummer, SC Bailin Machine Graphics and Vision 6 (1), 25-56, 1997 | 29 | 1997 |
| Tarski's world D Barker-Plummer, J Barwise, J Etchemendy CSLI Publications, 2008 | 28* | 2008 |
| Proofs and pictures: Proving the diamond lemma with the GROVER theorem proving system D Barker-Plummer, SC Bailin Working notes of the AAAI Spring Symposium on Reasoning with Diagrammatic …, 1992 | 21 | 1992 |
| Openproof-a flexible framework for heterogeneous reasoning D Barker-Plummer, J Etchemendy, A Liu, M Murray, N Swoboda Diagrammatic Representation and Inference, 347-349, 2008 | 20 | 2008 |
| −-match: An inference rule for incrementally elaborating set instantiations SC Bailin, D Barker-Plummer Journal of Automated Reasoning 11 (3), 391-428, 1993 | 20 | 1993 |
| Gazing: An approach to the problem of definition and lemma use D Barker-Plummer Journal of Automated Reasoning 8 (3), 311-344, 1992 | 17 | 1992 |
| Dimensions of Difficulty in Translating Natural Language into First Order Logic. D Barker-Plummer, R Cox, R Dale International Working Group on Educational Data Mining, 2009 | 15 | 2009 |
| Student translations of natural language into logic: The Grade Grinder corpus release 1.0 D Barker-Plummer, R Cox, R Dale Proceedings of the 4th international conference on educational data mining …, 2011 | 13 | 2011 |
| A computational architecture for heterogeneous reasoning D Barker-Plummer, J Etchemendy Journal of Experimental & Theoretical Artificial Intelligence 19 (3), 195-225, 2007 | 12 | 2007 |
| Using Edit Distance to Mine for Errors in a Natural Language to Logic Translation Corpus D Barker-Plummer, R Dale, R Cox, A Romanczuk Educational Data Mining 2012, 2012 | 11* | 2012 |
| Using edit distance to analyse errors in a natural language to logic translation corpus D Barker-Plummer, R Dale, R Cox | 11 | 2012 |
| Graphical revelations: Comparing students’ translation errors in graphics and logic R Cox, R Dale, J Etchemendy, D Barker-Plummer Diagrammatic Representation and Inference, 257-265, 2008 | 9 | 2008 |
| The Barwise-Seligman Model of Representation Systems: A Philosophical Explication A Shimojima, D Barker-Plummer Diagrammatic Representation and Inference, 231-245, 2014 | 8 | 2014 |
| Words, proofs, and diagrams Stanford Center for the Study of Language and Information CSLI Publications, 2002 | 8 | 2002 |
| On the practical semantics of mathematical diagrams D Barker-Plummer, SC Bailin Diagrammatic Representation and Reasoning, 339-355, 2002 | 8 | 2002 |
| Reasoning with coincidence grids—A sequent-based logic and an analysis of complexity D Barker-Plummer, N Swoboda Journal of Visual Languages & Computing 22 (1), 56-65, 2011 | 7 | 2011 |
