CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Read More...

Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


Read More...

AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


Read More...

AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


Read More...

AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Read More...

Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


Read More...

AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

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


Read More...

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


Read More...
0123456789

Notice

AISB miscellaneous Bulletin Item

CFP : Special Issue of JOLLI on Visual Languages and Logic


Contact: VLL@cs.dal.ca

REMINDER: abstract deadline is November 30, 2007. 
-------------------------------------------------------------------------
Journal of Logic, Language and Information (JOLLI) 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 2007 Workshop on Visual Languages and Logic (VLL 2007) (http://vivid.cs.dal.ca/VLL), we are soliciting, for a Special Issue of JOLLI, papers in which the primary focus is research at the intersection of logic and visual languages. In particular, we invite VLL 2007 authors to submit updated and expanded versions of their papers. 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 VLL@cs.dal.ca by November 30, 2007. This information will be used to assign referees in advance of the paper deadline.

Your paper may be up to 30 pages, must conform to the JOLLI style (see following URL), and be emailed as a PDF to VLL@cs.dal.ca  by January 31, 2008. Note that although PDF is not the required format for the final copies of accepted papers, it is the most convenient for reviewing.

http://www.springer.com/west/home/philosophy/logic?SGWID=4-40392-70-35503189-0&detailsPage=contentItemPage&contentItemId=141475&CIPageCounter=CI_FOR_AUTHORS_AND_EDITORS_PAGE1#anchor1

If you have any questions about this Special Issue, please email VLL@cs.dal.ca.

Philip Cox, Dalhousie University; Andrew Fish and John Howse, University of Brighton Guest Editors, Special Issue on Visual Languages and Logic Journal of Logic, Language and Information