Title: Technical Communications of ICLP'12 (28th International Conference on
Logic Programming)
Editors: Agostino Dovier and Vítor Santos Costa
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 17
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-43-9
== Access ==
Open access (online & free of charge) at
http://www.dagstuhl.de/dagpub/978-3-939897-43-9
You may also check the DBLP page at
http://www.dblp.org/db/conf/iclp/iclp2012.html
== 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.cs.bme.hu/iclp2012/
* http://dtai.cs.kuleuven.be/projects/ALP/Previous_ICLP/
== About the Proceedings ==
Publishing the technical communications as LIPIcs paper is a joint initiative
taken by the Association for Logic Programming and of the Dagstuhl Research
Online Publication Server (DROPS). The goal is to allow a fast preliminary
publication for research contributions that are not yet ready for a journal
publication but, on the other hand, deserves to be presented at the ICLP.
Quality is ensured by an anonymous refereeing process (at least three reviewers
per paper), and by an active and very much participating program committee. The
approach was first experimented in 2010, and has had favorable feedback since.
In response to the call for papers we received 102 abstracts, 90 of which
remained as complete submissions. Of these, 81 were submitted as full papers and
9 as technical communications. Each paper was reviewed by at least three
anonymous program committee members, selected by the program chairs.
Sub-reviewers were allowed. After discussion, involving the whole program
committee, and a second round of revision for some papers, 20 papers have been
selected for immediate journal publication in a special issue of Theory and
Practice of Logic Programming (TPLP). 37 papers instead have been judged to
deserve a slot for a short presentation at the Meeting and a "technical
communication" publication in this Volume of the Leibniz International
Proceedings in Informatics (LIPIcs) series, published on-line through the
Dagstuhl Research Online Publication Server (DROPS). The whole set of accepted
papers includes 36 technical papers, 12 application papers, 5 system and tool
papers, and 4 papers submitted directly as technical communications.
See also:
* Frontmatter incl. table of contents and preface:
http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.i
* Preface: http://dx.doi.org/10.4230/LIPIcs.ICLP.2012.xvii
== 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/lipics/
--
Dr. 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/
*
**********************************************************
Posts
