REMINDER: ONE WEEK TO DEADLINE.
DEADLINE FOR SUBMISSION: July, 13th
[We apologize if you receive multiple copies of this call.]
___________________________________________________________
CALL FOR PAPERS
Logic Programming for Artificial Intelligence and Information Systems
A Thematic Workshop of EPIA-2001
(10th Portuguese Conference on Artificial Intelligence)
Porto, Portugal, December 17-19, 2001
http://www.eventos.uevora.pt/epia/lp-01/
EPIA-2001 continues the tradition of previous Portuguese Conferences on
Artificial Intelligence, and will be organized under the auspices of the
Portuguese Association for Artificial Intelligence (APPIA). It will
maintain its international character, English being the official
language, and the proceedings being published by Springer-Verlag.
Differently from previous EPIA editions, EPIA-2001 will strengthen the
role of thematic workshops, that are not just satellite events, but
rather form an integral part of the conference. High quality papers from
the workshops will be published by Springer-Verlag in the conference
proceedings. For more information on the conference, see:
http://www.niaad.liacc.up.pt/Events/EPIA01/
The Portuguese Conferences on AI had always been a forum where Logic
Programming, and in particular its applications to Artificial
Intelligence, marked its presence. The "Workshop on Logic Programming
for Artificial Intelligence and Information Systems", will promote the
continuation of this presence of Logic Programming in EPIAs. It will be
an international forum for presentations and discussions on Logic
Programming, specially on its usage in AI and for Information
Systems. It will benefit from its integration in EPIA-2001, where
interdisciplinary discussions and interchange of ideas between different
areas of AI will be promoted.
The workshop is devoted to the usage of Logic Programming for Artificial
Intelligence and Information Systems. It will cover both
theoretical/foundational issues, implementation techniques and
applications. Topics of interest include, but not limited to:
o LP Languages for AI o LP and (Internet) agents
o Semantic Foundations o LP and Software Engineering
o LP for Knowledge Representation o Deductive Database Systems
o LP and Non-Monotonic Reasoning o Specification and Verification
o AI applications with LP o LP systems for AI and
implementations
o Innovative Implementation and Compilation Techniques
IMPORTANT DATES:
Submission Deadline: July 13, 2001
Notification of Acceptance or Rejection: September 15, 2001
Camera-Ready Copy: October 1, 2001
SUBMISSION DETAILS:
Submitted papers must be written in English and describe original work.
To be considered for publication in the conference proceedings edited by
Springer, papers must not have been previously published or
simultaneously
submitted for publication elsewhere.
Submissions must not exceed 15 pages, including title page, figures, and
references. The title page must contain: title and authors; physical and
e-mail addresses; an abstract of no more than 200 words; a list of
keywords.
Paper should be formatted according to Springer's LNCS format, details
of which can be obtained from
http:/www.springer.de/comp/lncs/authors.html, or by email from one of
the workshop co-chairs.
Authors are invited to send manuscripts by electronic mail to one of the
workshop co-chairs, as uuencoded gzipped postcript or pdf files. Hard
copy submission is also possible, by sending 5 copies of the
manuscripts.
REVIEW OF PAPERS:
Submissions will be judged on significance, originality, quality and
clarity. Each paper will be cross-reviewed by three referees. The papers
to be presented in the workshop will be choosen by the workshop
programme committee, based on those reviews. The selection of papers for
publication in the conference proceedings edited by Springer will be
made
by a committee with the conference co-chairs, and the chairs of the
various EPIA-2001 thematic workshops. Paper accepted for presentation
in the workshop not published in the conference proceedings, will be
published in the local workshop proceedings.
WORKSHOP PROGRAMME CO-CHAIRS:
Jose Julio Alferes Salvador Pinto Abreu
Dep. Informatica, FCT/UNL Dep. Informatica, U. Evora
2825-114 Caparica Rua Romão Ramalho, 59
Portugal 7000-671 Evora, Portugal
[log in to unmask] [log in to unmask]
WORKSHOP PROGRAM COMMITTEE:
Salvador Abreu, U. Evora (Portugal)
Jose Alferes, U. Nova de Lisboa (Portugal)
Antonio Brogi, U. Pisa, (Italy)
Michele Bugliesi, U. Venice (Italy)
Francisco Bueno Carrillo, U.P. Madrid (Spain)
Vitor Santos Costa, U.F. Rio de Janeiro (Brasil)
Juergen Dix, U. Manchester (UK)
Terrance Swift, U. Maryland (USA)
|