[Xsb-development] EPIA call for papers

[<ts...@cs...>]

                            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.di.uevora.pt/epia01-lp/

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, paper 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
jj...@di...              sp...@di...


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)