PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Barker-Plummer, Dave"

Author of the publication

copydeleteadd this publication to your clipboard
Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning.

, , , , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 3. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Barker-Plummer, Dave
add a person with the name Barker-Plummer, Dave
 

Other publications of authors with the same name

A computational architecture for heterogeneous reasoning., and . J. Exp. Theor. Artif. Intell., 19 (3): 195-225 (2007)Impedance Effects of Visual and Spatial Content upon Language-to-Logic Translation Accuracy., , and . CogSci, cognitivesciencesociety.org, (2011)Graphical Revelations: Comparing Students' Translation Errors in Graphics and Logic., , , and . Diagrams, volume 5223 of Lecture Notes in Computer Science, page 257-265. Springer, (2008)Diagrams: A Perspective from Logic.. Diagrams, volume 6170 of Lecture Notes in Computer Science, page 3. Springer, (2010)Single Feature Indicator Systems in the Openbox., and . Diagrams, volume 9781 of Lecture Notes in Computer Science, page 293-295. Springer, (2016)Gazing: An Approach to the Problem of Definition and Lemma Use.. J. Autom. Reasoning, 8 (3): 311-344 (1992)Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity., and . J. Vis. Lang. Comput., 22 (1): 56-65 (2011)Using Edit Distance to Mine for Errors in a Natural Language to Logic Translation Corpus., , , and . EDM, page 134-141. www.educationaldatamining.org, (2012)Openproof - A Flexible Framework for Heterogeneous Reasoning., , , , and . Diagrams, volume 5223 of Lecture Notes in Computer Science, page 347-349. Springer, (2008)An Example HyperVenn Proof., , and . Diagrams, volume 8578 of Lecture Notes in Computer Science, page 51-53. Springer, (2014)