VL/HCC 2007: Coeur d'Alene, Idaho, USA - VLL

Philip T. Cox, Andrew Fish, John Howse (Eds.): Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, Idaho, USA, 23rd September 2007 as part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07. CEUR Workshop Proceedings 274 CEUR-WS.org 2007 BibTeX

Philip T. Cox, Andrew Fish, John Howse:
Introduction.
Electronic Edition (link) BibTeX

Research Papers

Dave Barker-Plummer, Nik Swoboda:
A Sequent Based Logic for Coincidence Grids. 1-12
Electronic Edition (link) BibTeX
Benedek Nagy, Sándor Vályi:
Visual Reasoning by Generalized Interval-values and Interval Temporal Logic. 13-26
Electronic Edition (link) BibTeX
Aidan Delaney, Gem Stapleton:
Spider Diagrams of Order. 27-39
Electronic Edition (link) BibTeX
Robin Clark:
Fast Zone Discrimination. 41-54
Electronic Edition (link) BibTeX
Frithjof Dau, Peter W. Eklund:
A Peirce Style Calculus for ALC. 55-71
Electronic Edition (link) BibTeX
Harald Störrle:
A PROLOG-based Approach to Representing and Querying Software Engineering Models. 71-83
Electronic Edition (link) BibTeX
Sacha Berger, François Bry, Tim Furche, Christoph Wieser:
Visual Languages: A Matter of Style. 85-96
Electronic Edition (link) BibTeX
Corin A. Gurr:
Visualising a Logic of Dependability Arguments. 97-109
Electronic Edition (link) BibTeX