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

Philip T. Cox, Andrew Fish, John Howse:
Introduction.

Research Papers

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