Abstract is missing.
- Semantics of a Data-Parallel Logic Language using the BSP Execution ModelArnaud Lallouet. 1-14
- A Markov Model for Probabilistic Concurrent Constraint ProgrammingAlessandra Di Pierro, Herbert Wiklicky. 15-28
- A Parallel Programming Approach to Job Shop Scheduling Constrain Satisfaction ProblemsJorge Puente, Ramiro Varela, Camino R. Vela, Cesar Alonso. 29-42
- Narrowing the Gap between Set-Constraints and CLP(SET)-ConstraintsAgostino Dovier, Carla Piazza, Gianfranco Rossi. 43-56
- Interactive Constraint Satisfaction and its Application to Visual Object RecognitionEvelina Lamma, Michela Milano, Rita Cucchiara, Paola Mello, Massimo Piccardi. 57-70
- Some Design Issues in the Visualization of Constraint Logic Program ExecutionManuel Carro, Manuel V. Hermenegildo. 71-86
- Parsing with Non-Deterministic FunctionsRafael Caballero, Francisco Javier López-Fraguas. 87-100
- Automatic Simplification of the Visualization of Functional Expressions by Means of Fisheyes ViewsJ. Ángel Velázquez-Iturbide. 101-112
- A Comparison for Unification-Based ParsersManuel Vilares Ferro, Miguel Angel Alonso Pardo, David Cabrero Souto. 113-124
- Object Oriented Software Systems Defined by Constructive Logical MethodsFrancisco José Galán Morillo, M. Toro Bonilla. 125-136
- Recovering Sequentiality in Functional-Logic ProgramsJulio Mariño, Juan José Moreno-Navarro. 137-150
- Polygenetic Partial Evaluation of Lazy Functional Logic ProgramsElvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal. 151-164
- Extending Datalog to Express Functional Queries: A Language and its ImplementationStefano Basta, Sergio Flesca, Sergio Greco. 165-174
- Operational and Abstract Semantics of a Query Language for Semi-Structured InformationAgostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca. 175-188
- An ODBC Interface for Objective CamlR. Castro, Xesús M. López, Víctor M. Gulías. 189-200
- Processing Temporal and Atemporal Declarative Knowledge in Metalogic ProgrammingGaetano Aurelio Lanzarone, Alessandro Provetti. 201-214
- Code Migration with First Order ContinuationsPaul Tarau, Verónica Dahl. 215-226
- Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of PosRoberto Bagnara, Peter Schachte. 227-240
- Building Complete Abstract Interpretations in a Linear Logic-based SettingRoberto Giacobazzi, Francesco Ranzato, Francesca Scozzari. 241-254
- The Correctness of Set-SharingPatricia M. Hill, Roberto Bagnara, Enea Zaffanella. 255-268
- An Experiment in Domain Refinement: Type Domains and Type Representations for Logic ProgramsFausto Spoto, Giorgio Levi. 269-282
- Derivation of Proof Methods by Abstract InterpretationGiorgio Levi, Paolo Volpe. 283-292
- A First-Order Language for Expressing Aliasing and Type Properties of Logic ProgramsPaolo Volpe. 293-302
- Set Based-Analysis of Logic Programs via Abstract InterpretationGiorgio Levi, W. Volpi. 303-310
- Visual Logic Programming by Means of Diagram TransformationsJordi Puigsegur, Jaume Agustí-Cullell. 311-328
- Back and Forth Semantics for Normal, Disjunctive and Extended Logic programsD. Pearce. 329-342
- Plan of Activities on the Map CalculusAndrea Formisano, Eugenio G. Omodeo, Marco Temperini. 343-356
- The Inmediate Consequence Operator and Robinson s OperatorMiguel A. Gutiérrez-Naranjo. 357-354
- The Use of CLP(FD) Extended with CHRs for Qualitative Spatial Reasoning and Qualitative Robot NavigationM. Teresa Escrig, Francisco Toledo. 365-378
- Inverse Narrowing for the Induction of Functional Logic ProgramsJosé Hernández-Orallo, M. José Ramírez-Quintana. 379-392
- Dynamic Logic ProgrammingJosé Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski. 393-408
- Modular Abstract DiagnosisMarco Comini, Giorgio Levi, Giuliana Vitiello. 409-420
- A Semantics for Logic Programs based on First Order Hereditary Harrop FormulasE. Lastres, R. Moreno. 421-432
- Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract InterpretationRoberta Gori, E. Lastres, R. Moreno, Fausto Spoto. 433-442
- Isoinitial Models for Logic Programs: A Preliminary StudyKung-Kiu Lau, Mario Ornaghi. 443-456
- On the Practical Use of Negation in a Prolog CompilerJuan José Moreno-Navarro, Susana Muñoz-Hernández. 457-469