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 (https://twitter.com/mohmaj) Tu...


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

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


Read More...

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


Read More...
01234

Notice

AISB miscellaneous Bulletin Item

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


CALL FOR PAPERS

 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
E-unification 
Unification Algorithms 
Higher-Order Unification 
String Unification 
Context Unification 
Combination problems 
Disunification 
Typed Unification
Related Topics
Constraint Solving 
Matching 
Narrowing
Applications
Type Checking and Type Inference 
Automated Deduction 
Rewriting 
Functional and Logic Programming 
Grammars 
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: 
    http://www.easychair.org/conferences/?conf=jacilunif2009

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