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


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


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


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


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



AISB miscellaneous Bulletin Item

CFP: Special Issue of Journal of Algorithms in Cognition, Informatics and Logic


 Journal of Algorithms in Cognition, Informatics and Logic 

Special Issue on Unification

Scope of the Special Issue

Unification is a fundamental process that occurs in several fields of computer science, including theorem proving, logic programming, natural language processing, computational complexity, and computability theory.  It is at the core of several type inference algorithms, and recent works in XML-oriented programming introduced new aspects of the unification process in the theory of regular expression and regular tree languages. Unification theory emerged from the abstraction of the specific applications of this process, and is concerned with general notions like instantiation, most general unifier, etc., their main properties, and with the identification and analysis of unification algorithms that can be used in several contexts.

This special issue of the Journal of Algorithms in Cognition, Information and Logic is devoted to the dissemination of the latest developments and results in unification. We are looking for contributions describing original and new ideas and results in unification and closely related fields. Topics of interest include:
Unification Algorithms 
Higher-Order Unification 
String Unification 
Context Unification 
Combination problems 
Typed Unification
Related Topics
Constraint Solving 
Type Checking and Type Inference 
Automated Deduction 
Functional and Logic Programming 
Computational Linguistics

Both participants of the UNIF 2008 workshop at RTA 2008 and other authors are invited to submit contributions. Submissions should be mature journal articles. 
The Journal

The Journal of Algorithms in Cognition, Informatics and Logic is a prestigious international journal, published by Elsevier, which aims at promoting the algorithmic research from all relevant sciences and fields of human endeavor. The subtitle Cognition, Informatics, and Logic emphasizes the intended breadth and interdisciplinary nature of the journal.

Important dates

Deadline for paper submission:	February 23, 2009
Notification of acceptance/rejection:	June 10, 2009
Deadline for camera-ready version:	July 27, 2009
Submission guidelines

We are expecting full high-quality papers (typically, 20-30 pages) to describe original, and previously unpublished contributions. Papers should be written in English, and not be simultaneously submitted for publication elsewhere (previous publication of partial results at workshops and conferences is acceptable). The normal reviewing process for journals will be used and papers should conform to usual journal standards.

Authors are strongly encouraged to use the LaTeX template files available here for manuscript preparation, and to use the EasyChair submission system: 

The manuscripts should comply to the author guidelines of the Journal of Algorithms in Cognition, Informatics, and Logic.
Special Issue Editor:

    Mircea Marin        University of Tsukuba, Japan