in the Design and Experimental Evaluation of Systems for Modal and Temporal
Siena, June 19, 2001
in connection with IJCAR
E. Giunchiglia (U.
F. Giunchiglia (U. Trento)
I. Gent (U. St. Andrews)
I. Horrocks (U. Manchester)
F. Massacci (U. Siena)
R. A. Schmidt (U. Manchester)
Submission deadline: April 16, 2001
Notification of acceptance: April 30, 2001
Final version due: May 13, 2001
more information contact Enrico
Giunchiglia (subject: IJCAR-workshop infos).
The aim of this workshop is to bring together people who are interested
in the development and experimental evaluation of systems for modal, temporal
and description logics. The emphasis of the workshop is on the identification
of open problems and the discussion of possible solutions under the theme.
Which are the key issues in the design of modal and temporal systems?
What is a good benchmark set? What is a good comparative evaluation?
The workshop will consist of three parts on each of these questions,
with invited speaker starting the discussion followed by contributions
from the participants. An overall panel will conclude the workshop. Topics
of interest include (but are not limited to)
Tableaux vs Translations Methods
SAT-based vs BDD-based techniques
Running Time vs Scaling abilities
Random Benchmarks vs Industrial Case Studies
The following people will give invited presentations at the workshop:
Submissions are encouraged in one of the following
Submissions should be prepared following the LNCS
guidelines and sent in postscript format by e-mail to Enrico
Giunchiglia (subject: IJCAR-workshop Submission). The category (either
or B) must be clearly indicated. Please include also address and
e-mail of the contact author into the submission e-mail.
A. Regular paper: Submissions in this category should describe completed
work or work in progress, including description of researches, testing
methodologies, tools, and applications. The length of submitted papers
should be no more than 10 pages in LNCS style.
B. Discussion paper: Submissions in this category are intended to
initiate discussions. They should address controversial issues and may
include bold provocative statements on the above themes. The length of
papers should be no more than 5 pages in LNCS style.
Accepted papers will be distribuited as part of the workshop working notes.
Authors of accepted papers will be asked to submit an extended version
to a planned special issue of the Journal
of Applied Non Classical Logics (JANCL).
Participation will be open to authors, the invited
speakers and the people in the PC. If you wish to attend without presenting
a paper, please send a brief e-mail to Enrico
(subject: IJCAR-workshop participation) with a brief summary
of your research interests. Note that all participants must register to