AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie ( Tu...


Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...



AISB miscellaneous Bulletin Item

CFP: Special Issue of Journal of Visual Languages and Computing on Visual Languages and Logic

Journal of Visual Languages and Computing
Special Issue on
Visual Languages and Logic

Diagrams of one sort or another have always been used as aids to abstract reasoning. Although many are informal mnemonics, reminding their authors about structures and relationships they have observed or deduced, considerable research effort has been expended on formalising graphical notations so that they may play a more central role in the application of logic to problems.

While early work concentrated on diagrammatic representations of logic as a more intuitive or revealing paper-based replacement for textually represented logic, research in this area now mostly involves notations specifically designed for computer implementation either as computational models or interface languages. Examples include relational and existential graphs (C.S. Peirce), conceptual graphs (J.F. Sowa), various flavours of semantic networks such as conceptual dependency graphs (R. Schank), graphical deduction systems such as clause interconnectivity graphs (S. Sickel), Venn diagrams, Euler diagrams, constraint diagrams, and visual logic programming languages.

Following the success of the Workshop on Visual Languages and Logic held in 2007 and again in September 2009 (VLL 2009) (, we are soliciting, for a Special Issue of JVLC, papers in which the primary focus is research at the intersection of logic and visual languages. In particular, we invite VLL 2009 authors to submit updated and expanded versions of their papers. We expect this special issue to appear in appear in late 2010 or early 2011. Topics of interest include, but are not limited to:

- Graphical notations for logics (either classical or non-classical, 
 such as first or higher order logic, temporal logic, description logic, 
 independence friendly logic, spatial logic)
- Diagrammatic reasoning
- Theorem proving
- Formalisation (syntax, semantics, reasoning rules)
- Expressiveness of visual logics
- Visual logic programming languages
- Visual specification languages
- Applications
- Tool support for visual logics

If you intend to submit a paper, please email a title, abstract and keywords to by November 30, 2009. This information will be used to assign referees in advance of the paper deadline.

Your paper should be emailed as a PDF to  by January 31, 2009. Note that although PDF is not the required format for the final copies of accepted papers, it is the most convenient for reviewing.

If you have any questions about this Special Issue, please email

Philip Cox, Dalhousie University

Andrew Fish and John Howse, University of Brighton

Guest Editors