Festschrift in honor of David S.,Warren - CFP

https://sites.google.com/site/warrensymposium/book-collection

Declarative Logic Programming: Theory, Systems, and Applications

     Festschrift in honor of David S. Warren
    on the occasion of his retirement from Stony Brook University

Logic Programming (LP) is at the nexus of Knowledge Representation,
Artificial Intelligence, Mathematical Logic, and Databases. Logic
Programming systems are inspired by deep theory, and the problems revealed
in the course of development and application of these systems to practical
problems inspire deep theory in return.

Several books cover the basic theory of Logic Programming but they focus
mostly on the Prolog language (with its incomplete control strategy and
non-logical features). There is a lack of accessible yet comprehensive
collections of articles covering the key topics in declarative Logic
Programming. These include well-founded and stable model semantics for
non-monotonic negation, tabling, constraints, object-oriented LP,
probabilistic LP, defeasible reasoning, and LP with updates, among others.

For systems, the situation is even less satisfactory, lacking accessible
literature that can train the new crop of developers. There are a few
guides to the WAM, but much more is needed for constructing a modern
declarative LP system. Contrast this with the state of training in, say,
Operating Systems, where one can first study a book on the general
principles and algorithms and then another on the Linux kernel. Such
resources greatly facilitate the ability to understand the Linux source
code and makes it possible to start making meaningful contributions.

LP has helped solve challenging problems in a wide range of application
areas, but in-depth analysis of their connection with LP theory and LP
implementation techniques is lacking.  Such studies may identify the key LP
features---both existing and desired---that support the best specification
and implementation of the application problems, especially for important
classes (possibly with performance guarantees). Such discussions will help
take LP theory, systems, and applications to the next level and help train
the next generation of researchers and practitioners.

The goal of this book collection is to create the best overview articles in
all three areas of Logic Programming as mentioned above. We aim for the
book to be suitable for researchers and practitioners as well as graduate
students.  We are also open to other ideas for the best topics and format
of the book.

Submission:

    Please submit a one-page abstract by February 22, 2013.
    Submission URL: https://www.easychair.org/conferences/?conf=dsw2013

    Invitation of full articles will be based on reviews of the abstracts.
    Full articles are expected to be about 20-40 pages in length.
    When submitting your one-page abstract, please indicate the expected
    length of the full article.
    The contributions will be peer-reviewed.

    Feel free to contact us about your ideas any time.

Important dates:

     February 22, 2013:  One-page abstracts due
     March  11, 2013:      Invitation of selected overview articles
     August 1, 2013:       Full articles due
     October 15, 2013:   First round of reviews complete
     January 15, 2014:   Second round of reviews complete
     First half of 2014:    Publication

Regards,
     Michael Kifer ([email protected])
     Annie Liu ([email protected])