Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Read More...

Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


Read More...

AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...
012345

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