CICLOPS 2004

Colloquium on Implementation of Constraint and LOgic Programming Systems

to be held at Saint-Malo (France) at the occasion of ICLP'04

September, 2004

(c) Jose Alvarez Díaz

Schedule

Wednesday 8/9

10:30-12:30 Session 1

Invited talk: On Benchmarking Constraint Logic Programming Platforms

Kish Shen

Towards a CLP System for Reasoning about Answer Sets

Omar Elkhatib, Enrico Pontelli, and Tran Cao Son

On the implementation of MCMC proposals over Stochastic Logic Programs

Nicos Angelopoulos and James Cussens
12:30-14:30 Lunch
14:30-16:30 Session 2

Orthogonal Language Constructs for Agent Oriented Logic Programming

Paul Tarau

Implementation Strategies for Single Assignment Variables

Frej Drejhammar and Christian Schulte

Optimising P#: Translating Prolog to More Idiomatic C#

Jonathan J. Cook

Comparing Alternative Approaches for Coupling Logic Programming with Relational Databases

Michel Ferreira, Ricardo Rocha, and Sabrina Silva
16:30-17:00 Coffee break
17:00-18:30 Session 3

A Logic Programming Framework for Semantic Interpretation with WordNet and PageRank

Paul Tarau, Rada Mihalcea, and Elizabeth Figa

Open discussion: "Implementing (Constraint) Logic Programming: Trends and Challenges"