CALL FOR PAPERS

AI Communications

Practical Aspects of Automated Reasoning

Alternative formats of this Call for Papers: PDF/PS

Special Issue editors:

Boris Konev	[Univ. Liverpool, UK]
Renate Schmidt	[Univ. Manchester, UK]
Stephan Schulz	[TU München, Germany]

Scope of the Special Issue

Following a successful PAAR, workshop at IJCAR-2008 in Sydney, this special issue of AI Communications is devoted to all practical aspects of automated reasoning and implementation of logics. Topics of interest include, but are not limited to:

• Implementation of provers;
• Comparison and evaluation of different implementation techniques, optimisations, strategies and heuristics;
• Benchmarking approaches;
• Practical experiences, case studies, feasibility studies;
• Practical aspects of automated reasoning in classical and non-classical logics, mathematics;
• Automated reasoning tools for all kinds of practical problems and applications;
• Non-standard approaches and forms of automated reasoning, new applications;
• Algorithms and techniques for selecting and using axioms and lemmas;
• System descriptions

The Journal

AI Communications is a journal, published by IOS Press, in the area of Artificial Intelligence. It has a close relationship to ECCAI (the European Coordinating Committee for Artificial Intelligence). It covers the whole AI community, both academic and industrial. It publishes high quality refereed articles and surveys.

Important Dates

22.12.08	submission deadline
23.03.09	notification to authors
23.04.09	revised papers deadline
21.05.09	camera-ready papers to AI Communications

Submission of Manuscripts

We are expecting full (typically, 20-30 pages) high-quality papers to describe original, previously unpublished research, be written in English, and not be simultaneously submitted for publication elsewhere (previous publication of partial results at workshops and conferences is acceptable). We will be using the normal reviewing process for journals in accordance with AI Communications requirements.

Submission is via EasyChair.

Authors should use LaTeX for the preparation of the camera-ready manuscript together with the corresponding AICom style file aicom.sty or the AICom class file aicom2e.cls available at the following address http://aicom.star.dist.unige.it/

Queries concerning this special issue should be directed to any of the special issue editors. Up-to-date information will also be available from http://www.csc.liv.ac.uk/~konev/AICom

Useful Links

Journal website:	http://aicom.star.dist.unige.it/
ESARLT'07 website:	http://www.cs.miami.edu/~geoff/Conferences/ESARLT/
PAAR'08 website:	http://www.eprover.org/EVENTS/PAAR-2008/paar-2008.html
ESARM'08 website:	http://events.cs.bham.ac.uk/cicm08/workshops/esarm/
IWIL'08 website:	http://www.csc.liv.ac.uk/~konev/iwil2008