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


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


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


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


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