Dave Barker-Plummer

Statistics

Publications

Citations

H-Index

Active since

1989

Affiliations

Computer Technology Associates (United States)(Current)

Dave Barker-Plummer is an author at Computer Technology Associates (United States) specializing in computer science, computing, and knowledge representation.

ORCID

Publications per year

1989–2007

Publications

A computational architecture for heterogeneous reasoning

Dave Barker-Plummer, John Etchemendy · Journal of Experimental & Theoretical Artificial Intelligence · 2007 · 18 citations

Computing, Computer Science, Visualization +14

Gazing: An approach to the problem of definition and lemma use

Dave Barker-Plummer · Journal of Automated Reasoning · 1992 · 14 citations

Language Studies, Computer Science, Linguistics +7

?-match: An inference rule for incrementally elaborating set instantiations

Sidney C. Bailin, Dave Barker-Plummer · Journal of Automated Reasoning · 1993 · 13 citations

Natural Sciences, Computer Science, Knowledge Representation +4

Proofs and pictures: Proving the diamond lemma with the GROVER theorem proving system

Dave Barker-Plummer · 1992 · 12 citations

Computing, Computer Science, Mathematics +3

Cliche Programming in PROLOG

Dave Barker-Plummer · 1989 · 11 citations

Computing, Computer Science, Compilers +6

1–5 of 5