|
The CADE-24 Workshop on
Empirically Successful
Automated Reasoning with Artificial Intelligence
(ESARAI)
will be held
on 9th June 2013,
as part of
The 24th International Conference on Automated Deduction
Lake Placid, USA,
9th - 14th June, 2013
|
|
This workshop will bring together two complementary groups of researchers:
researchers in Automated Reasoning who employ Artificial Intelligence tools
and techniques to support their automated reasoning research, and researchers
in Artificial Intelligence who employ Automated Reasoning tools and techniques
to support the artificial intelligence research.
The workshop will offer mutually beneficial interactions, through the exposure
of the two sides of the research to all.
Additionally, the workshop will provide a focussed forum where the many
interfaces between these two research fields can be presented and discussed.
The workshop is soliciting research, position, applications and system
description papers on combinations of AI and AR in the broad sense,
including, but not limited to, the following topics:
- Applications of AI methods to AR (smart search strategies, uncertainty
and Bayesian networks, machine learning, planning, argumentation and
multiagent technology, statistical analysis, etc.).
- Applications of AR tools to AI problemss.
- Combinations of decision procedures and methods for deduction.
- Empirically successful (but possibly incomplete) systems.
- Applications of AI tools to knowledge representation problems.
Additionally, the workshop includes system and application
demonstrations.
Demonstrations of systems and applications described in paper presentations,
and demonstrations of systems and applications without an accompanying
paper, are both encouraged.
ESARAI is the latest in the successful
ES* series
of workshops.
Organization
Organizers
Boris Konev,
Stephan Schulz, and
Geoff Sutcliffe.
If you have any questions about the workshop, please email the organizers.
Program Committee
Daniel Kuehlwein
Manfred Kerber
| Michael Schneider
Patrick Wischnewski
| Adam Pease
Jaesik Choi
| Scott Sanner
Mateja Jamnik
| Toby Walsh
|
Submission
Submission of papers for presentation at the workshop, and
proposals for system and application demonstrations at the workshop,
are now invited.
Submissions will be reviewed, and a balanced program of high-quality
contributions will be selected.
Submissions must be in PDF using the
EasyChair
class file, set up for letter paper.
There is a 20 page limit.
Long listings of problems or computer output should be relegated to a
referenced WWW site.
Proposals for system and application demonstrations must include:
- System name, developers names and contact details
- A system description, or associated paper submission
- Evidence that the system or application is empirically successful
- Screen shots or information for online access
- Details of hardware and software that will have to be provided by
the organizers if the demonstration is approved
Submission is via
EasyChair (thanks to Andrei Voronkov).
The selected contributions will be printed as workshop proceedings, and
will also be published in the EPiC series that is associated with EasyChair.
If there are sufficient high quality papers that could be extended into full
journal quality papers, a journal special issue on the topic might be
possible.
Important dates
- Submission deadline - 22nd April
- Papers distributed to PC - 24th April
- Reviews due in from PC - 6th May
- Notification of acceptance - 13th May
- Final versions due - 20th May
- Workshop - 9th or 10th June