Untitled Document

Contents

Vol. 20 n. 3/4, December 2007

Editorial, by Enrico Pontelli

Feature Articles:

A Wake-Up Call for the Logic Programming Community, by T. Schrijvers
Modeling Music in PRISM, by Jon Sneyers
The ArguGrid Project, by Francesca Toni
Lazy Chickens in Grids and Cubes, by P. Baldan and R. Bruni
Logic Programming and the OpenKnowledge Project, by David Robertson
A Process Calculus for Universal Concurrent Constraint Programming, by Carlos Olarte
Rule Interchange Format: an Interim Report, by H. Boley and M. Kifer
Report: ICLP Doctoral Consortium 2007, by I. Dutra and E. Pontelli
Report: ICLP 2007 Programming Competition, by Bart Demoen
Workshop Report: Applications of Logic Programming to the Web, Semantic Web and Semantic Web Servics 2007, by S. Heymans, D. Pearce, A. Polleres, E. Ruckhaus
Workshop Report: Colloquium on Implementation of Constraint Logic Programming Systems 2007, by S. Abreu and V. Santos Costa
Workshop Report: Constraint-Based Methods in Bioinformatics 2007, by R. Backofen, A. Dal Palu, S. Will
Workshop Report: Logic-based Methods in Programming Environments 2007, by P. Hill and W. Vanhoof

Historical and Personal Perspectives on LP

Concurrent Logic Programming Before ICOT, by Steve Gregory

LP Research Groups Spotlight

Logic Programming at the University of Kent, by A. King and A. Fowler

LP Systems Spotlight

DLV: An Advanced System for Knowledge Representation and Reasoning, by N. Leone et al.
The XSB Logic Programming System, by XSB Research Group

Regular Columns

Doctoral Dissertations in LP, by Enrico Pontelli
Community News, by Enrico Pontelli
Call for Papers, by Enrico Pontelli
TPLP and TOCL Accepted Papers, by Enrico Pontelli
Conferences Accepted Papers, by Enrico Pontelli
NetTalk, by Roberto Bagnara