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

Publications in Diagrammatic Reasoning


Articles in Refereed Journals:

  1. 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.

  2. 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.

  3. 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.


Articles in Refereed Conferences:

  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.

  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.

  3. 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.


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.


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/.


next up previous Clip_button.gif
Next: Publications in Research Policy Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Graphical Communication
Last updated on Mon 17 May 2021 09:35:36 PM CEST