Title: Technical Communications of ICLP'10 (26th International Conference on
Logic Programming)
Editors: Manuel Hermenegildo and Torsten Schaub
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 7
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-17-0
Access: Open Access (online and free of charge) at
http://www.dagstuhl.de/dagpub/978-3-939897-17-0
== About the ICLP Conference ==
Since the first conference held in Marseilles in 1982, ICLP has been the premier
international conference for presenting research in logic programming. The
conference is sponsored by the Association for Logic Programming.
See also:
* http://www.floc-conference.org/ICLP-home.html
* http://dtai.cs.kuleuven.be/projects/ALP/Previous_ICLP/
== About the Proceedings ==
The Logic Programming (LP) community, through the Association for Logic
Programming (ALP) and its Executive Committee, decided to introduce for 2010
important changes in the way the main yearly results in LP and related areas are
published. Whereas such results have appeared to date in standalone volumes of
proceedings of the yearly International Conferences on Logic Pro- gramming
(ICLP), and this method--fully in the tradition of Computer Science (CS)--has
served the community well, it was felt that an effort needed to be made to
achieve a higher level of compatibility with the publishing mechanisms of other
fields outside CS.
In order to achieve this goal without giving up the traditional CS conference
format a different model has been adopted starting in 2010 in which the yearly
ICLP call for submissions takes the form of a joint call for a) full papers to
be considered for publication in a special issue of the journal, and b) shorter
technical communications to be considered for publication in a separate,
standalone volume, with both kinds of papers being presented by their authors at
the conference. Together, the journal special issue and the volume of short
technical communications constitute the proceedings of ICLP.
The journal proceedings of the 26th International Conference on Logic
Programming are the first of a series of yearly special issues of Theory and
Practice of Logic Programming (TPLP) putting this new model into practice. It
contains the papers accepted from those submitted as full papers (i.e., for
TPLP) in the joint ICLP call for 2010. The collection of technical
communications for 2010 in hand appears in turn as Volume 7 of the Leibniz
International Proceedings in Informatics (LIPIcs) series, published on line
through the Dagstuhl Research Online Publication Server (DROPS). Both sets of
papers were presented by their authors at this 26th ICLP.
See also:
* Frontmatter incl. table of contents: http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.i
* Preface: http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.XI
== About the LIPIcs Series ==
"LIPIcs: Leibniz International Proceedings in Informatics" is a series
of high-quality conference proceedings across all fields in informatics
established in cooperation with "Schloss Dagstuhl--Leibniz Center of
Informatics". LIPIcs volumes are published according to the principle
of OpenAccess, i.e., they are available online and free of charge.
See also:
* http://www.dagstuhl.de/en/publications/lipics/
--
Marc Herbstritt
Schloss Dagstuhl - Leibniz Center for Informatics
\\\/ Dagstuhl Publishing | LIPIcs Editorial Office
Email: publishing@dagstuhl.de
http://www.dagstuhl.de/lipics
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************