What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary qu

The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial

This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Mad

This volume contains the proceedings of the Third International Conference on Algebraic and Logic Programming, held in Pisa, Italy, September 2-4, 1992. Like th