A Functional Logic Language with Finite Domain Constraints
Antionio J. Fernández, Teresa Hortalá-González and Fernando Sáenz-Pérez

A Logic Language for Database Integration
Gianluigi Greco, Sergio Greco and Ester Zumpano

Constructive Negation for Prolog: A Real Implementation
Susana Muñoz and Juan José Moreno

Logic Based Languages to Model and Program Intelligent Agents
Maurizio Martelli, Viviana Mascardi and Leon Sterling

A Configuration Framework for Distributed Logic Applications
Jesus Correas Fernández and Francisco Bueno Carrillo

Optimal Placement of Acoustic Sources in a Built-up Area using CLP(FD)
F. Avanzini, A. Dal Palú, A. Dovier and D. Rocchesso

Using Constraint Logic Programming to Generate Drills in Mathematics
Ana Paula Tomás, José Paulo Leal and Pedro Vasconcelos

Solving Optimal Location of Traffic Count Posts in CLP(FD)
Ana Paula Tomás

Optimality in Goal-Dependent Analysis of Sharing
Gianluca Amato and Francesca Scozzari

A Deterministic Operational Semantics For Functional Logic Programs
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver and Germán Vidal

Compiling Explicit Specifications into Recursive Specifications in Linear Stratified Contexts
Francisco José Galán and José Miguel Cañete

Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs
F. Fioravanti, A. Pettorossi and M. Proietti

Modelling the Future with Event Choice DATALOG
Antonella Guzzo and Domenico Saccá

Combining Crisp and Fuzzy Logic in a Prolog Compiler
Susana Muñoz, Claudio Vaucheret and Sergio Guadarrama

An Environment for Stepwise Map Specification and Reasoning in Prolog I: Three Language Extension Mechanisms
Pasquale Caianiello, Stefania Constantini and Eugenio Omodeo

On the Relation between Rank 2 Intersection Types and Simple Types
Sandra Alves and Mario Florido

Automation of Aggregate Theories: The Cornerstones of Equational Expressibility
Andrea Formisano, Eugenio G. Omodeo and Alberto Policriti

On Pattern-Matching as Query Facility
Manuel Vilares Ferro, Francisco José Ribadas Pena and Jorge Graña Gil

Towards Temporal Reasoning in ISCO
Vitor Nogueira, Salvador Abreu and Gabriel David

A Language for Updates with Multiple Dimensions
Joao Alexandre Leite, José Julio Alferes, Luis Moniz Pereira, Halina Przymusinska and Teodor C. Przymusinski