CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

Publications in Diagrammatic Reasoning


Articles in Second-Level Refereed Conferences and Journals:

  1. Dave Barker-Plummer, Nik Swoboda, Michael D. Murray. An Example HyperVenn Proof. Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings, pages 51-53, July 2014.

    CiteseerX position (ave) top 61%, impact (ave) 0.055. Average position: top 61%.

  2. Dave Barker-Plummer, John Etchemendy, Michael Murray, Emma Pease, Nik Swoboda. Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning. Diagrammatic Representation and Inference, Lecture Notes in Artificial Intelligence, Vol. 7352, 2 pages, Springer, 2012.

    CiteseerX position (ave) top 61%, impact (ave) 0.055. Average position: top 61%.

  3. Dave Barker-Plummer, Nik Swoboda. Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity. Visual Languages and Computing, Vol. 22, Num. 1, pages 56-65, 2011.

    JCR: position (ave) top 58%, impact (ave) 0.59, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A. Citeseer: position 378/1221 (top 31%), impact 0.82. Average position: top 36%.

  4. Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda. Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrammatic Representation and Inference, Lecture Notes in Artificial Intelligence, Vol. 5223, pages 347-349, Springer, 2008.

    CiteseerX position (ave) top 61%, impact (ave) 0.055. Average position: top 61%.


Books and Monographs:

  1. Dave Barker-Plummer, Richard Cox, Nik Swoboda. Diagrammatic Representation and Inference. Lecture Notes in Artificial Intelligence, Num. 4045, 300 pages, Springer, June 2006.


Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. Nik Swoboda, Gerard Allwein. Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. Electronic Notes in Theoretical Computer Science, Vol. 134, pages 153-187, June 2005. Available online http://www.sciencedirect.com/science/journal/15710661.

    CORE: C. CiteseerX position (ave) top 38%, impact (ave) 0.203. Average position: top 69%.

  2. Nik Swoboda, Gerard Allwein. Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. Journal on Software & System Modeling, Vol. 3, Num. 2, pages 136-149, May 2004. The origional publication is available at springerlink.com (DOI) 10.1007/s10270-003-0044-8.

    CORE: B. CiteseerX position (ave) top 68%, impact (ave) 0.020. Average position: top 66%.


Publications in Refereed Workshops:

  1. Dave Barker-Plummer, Nik Swoboda. A Sequent Based Logic for Coincidence Grid. CEUR Workshop Proceedings, Vol. 274, pages 1-12, September 2007. Available online http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-274/.

Last updated on Sat Aug 12 15:32:32 CEST 2017