GULP-PRODE 1994:
Peñiscola, Spain
María Alpuente, Roberto Barbuti, Isidro Ramos (Eds.):
1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 2.
1994 
- Lluís Vila, Gonzalo Escalada-Imaz:
Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based.
- S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone:
Extending Explanation-Based Generalization with Metalogic Programming.
16-31
- Hendrik Decker, Juan Carlos Casamayor:
Sustained Models and Sustained Answers in First-Order Databases.
32-46
- Giuseppe Plagenza:
Abductive Update of Deductive Databases.
47-59
- José Francisco Aldana Montes, Enrique Alba, José M. Troya:
D2: A Model for Datalog Parallel Evaluation.
60-74
- Matilde Celma, Carlos Garcia, María Angeles Pastor:
Restricciones de integridad dinamicas en bases de datos deductivas: una aproximacion basada en logica temporal.
75-87
- Cristina Ruggieri, Mirko Sancassani:
IDEA: Intelligent Data Retrieval in Prolog.
88-101
- M. Fabris, Adriano Tirabosco, C. Chiopris:
Optimal Management of a Large Computer Network with CHIP.
102-116
- Puri Arenas-Sánchez, Ana Gil-Luezas:
A Debugging Model for Lazy Functional Logic Languages.
117-131
- Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini:
Everything buT Assignment.
132-146
- F. J. Duran, Ernesto Pimentel, José M. Troya:
Comunicacion entre objetos mediante la unificacion de canales logicos.
147-160
- Michele Bugliesi, Hasan M. Jamil:
A Logic for Encapsulation in Object-Oriented Languages.
161-175
- B. Grima, José Ambrosio Toval Álvarez:
Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos.
176-190
- Jaume Devesa, Jose Cuevas, Isidro Ramos:
Implementation of A Term Rewriting System for Solving Process Queries in an Object-Oriented Environment.
191-205
- Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi:
A Bottom-Up Interpreter for a Database Language with Updates and Transactions.
206-220
- Paola Bruscoli, Alessio Guglielmi:
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.
221-237
- Fernando Sáenz, Werner Hans, José J. Ruz, Stephan Winkler:
A Babel Parallel System: VHDL Modelling for Performance Measurement.
238-252
- Francesca Arcelli Fontana, Ferrante Formato, Giulio Iannello:
On the parallel implementation of the higher order logic language lambda Prolog.
253-267
- Verónica Dahl, Paul Tarau, Yan-Nong Huang:
Datalog Grammars.
268-282
- Lidia Moreno, Manuel Palomar:
Tratamiento de la ambiguedad de origen preposicional a traves de la logica.
283-295
- Luigi Liquori, Maria Luisa Sapino:
Dealing with Explicit Exceptions in Prolog.
296-308
- Manuel Enciso, Inman P. de Guzmán, Carlos Rossi:
A Temporal Logic for Program Specification.
309-323
- Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming.
324-335
- Iliano Cervesato, Luca Chittaro, Angelo Montanari:
What the Event Calculus actually does, and how to do it efficiently.
336-350
- José Luis Freire, Víctor M. Gulías, J. M. Molinelli:
Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos.
351-365
- Mirko Sancassani, G. Dore, Ugo Manfredi:
The IDEA User Interface: the Power of Logic Programming in GUI Implementations.
366-378
- Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa:
A Sleeper-based Prolog Interpreter with Loop Checks.
379-392
- Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena:
Non Homomorphic Reductions of Data Structures.
393-407
- Antonio Brogi, Chiara Renso, Franco Turini:
Amalgamating Language and Meta-language for Composing Logic Programs.
408-422
- S. Clerici, R. Peña:
Generic Classes Parameterized by Data Structures.
423-437
- Gabriel Aguilera, José Luis Galán, Inman P. de Guzmán, Manuel Ojeda-Aciego:
TAS-D++ vs tablas semanticas.
438-439
- Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces.
440-441
- Ugo Manfredi, Mirko Sancassani:
LogicSQL: Augmenting SQL with Logic.
442-443
- Nikos Mylonakis, J. Perez Campo:
A Type Checking Tool for a Formal Specification Language.
444-445
- Oscar Pastor, Isidro Ramos, Jose Cuevas, Jaume Devesa:
OASIS 2.0: An Object Definition Language for Object Oriented Databases.
446-447
- G. Ramos:
LANM, SRA y Contradiccion.
448-449
- José A. Troyano, Jesús Torres, Miguel Toro:
Especificacion orientada a objetos desde un enfoque algebraico.
450-451
- Jordi Tubella, Antonio González:
Combining depth-first and breadth-first search in Prolog execution.
452-453
Last update Mon May 20 22:24:20 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
