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
Single Feature Indicator Systems in the Openbox.

, and . Diagrams, volume 9781 of Lecture Notes in Computer Science, page 293-295. Springer, (2016)

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)Single Feature Indicator Systems in the Openbox., and . Diagrams, volume 9781 of Lecture Notes in Computer Science, page 293-295. Springer, (2016)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)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)Graphical Theorem Proving: An Approach to Reasoning with the Help of Diagrams., and . ECAI, page 55-59. John Wiley and Sons, (1992)Openproof - A Flexible Framework for Heterogeneous Reasoning., , , , and . Diagrams, volume 5223 of Lecture Notes in Computer Science, page 347-349. Springer, (2008)