Dave Barker-Plummer

Publications

Citations

H-Index

1989

Active since

Affiliations

Computer Technology Associates (United States)(Current)

Dave Barker-Plummer is an author at Computer Technology Associates (United States) specializing in automated reasoning, engineering, and language studies.

ORCID

Top concepts

Automated ReasoningEngineeringSyntaxLanguageSemanticsLinguisticsFormal MethodsComputer ScienceReasoningData Science

Publications per year

1989–2007

Publications

A computational architecture for heterogeneous reasoning

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

Reasoning, Artificial Intelligence, Knowledge Representation +15

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

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

Formal Semantics, Syntax, Automated Reasoning +7

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

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

Engineering, Automated Reasoning, Knowledge Discovery +7

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

Dave Barker-Plummer · 1992 · 12 citations

Cliche Programming in PROLOG

Dave Barker-Plummer · 1989 · 11 citations

Computational Logic, Syntax, Engineering +13

Rows per page

1–5 of 5