FIRST CALL FOR PAPERS
AI Communications
Special Issue on
Practical Aspects of Automated Reasoning (PAAR)
Deadline: 22 December 2008
http://www.csc.liv.ac.uk/~konev/AICom/
SCOPE
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:
o Implementation of provers;
o Comparison and evaluation of different implementation
techniques, optimisations, strategies and heuristics;
o Benchmarking approaches;
o Practical experiences, case studies, feasibility studies;
o Practical aspects of automated reasoning in classical and
non-classical logics, mathematics;
o Automated reasoning tools for all kinds of practical
problems and applications;
o Non-standard approaches and forms of automated reasoning,
new applications;
o Algorithms and techniques for selecting and using axioms
and lemmas;
o 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) and covers the whole AI community, both academic
and industrial. It publishes high quality refereed articles and
surveys.
SUBMISSIONS OF MANUSCRIPTS
We expect 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 in revised form is acceptable. We will be using
the normal reviewing process for journals in accordance with AI
Communications requirements.
Submission is via EasyChair at this address:
http://www.easychair.org/conferences/?conf=paaraicom2008
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 this 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 be
available from
http://www.csc.liv.ac.uk/~konev/AICom
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 due
GUEST EDITORS
o Boris Konev, University of Liverpool
o Renate Schmidt, The University of Manchester
o Stephan Schulz, TU Muenchen
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
