Publications in Diagrammatic Reasoning
Articles in Refereed Journals:
- 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.
- 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
https://www.sciencedirect.com/science/journal/15710661.
- 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:
- 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.
- 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.
- 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:
- 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:
- Dave Barker-Plummer, Nik Swoboda.
A Sequent Based Logic for Coincidence Grid.
CEUR Workshop Proceedings,
Vol. 274,
pages 1-12,
September
2007.
Available online
https://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-274/.
Next: Publications in Research Policy Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Graphical Communication Last updated on Thu Nov 28 10:27:20 AM CET 2024