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 BibTeX
- Lluís Vila, Gonzalo Escalada-Imaz:
Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based.
BibTeX
- S. Bertarello, Stefania Costantini, Gaetano Aurelio Lanzarone:
Extending Explanation-Based Generalization with Metalogic Programming.
16-31 BibTeX
- Hendrik Decker, Juan Carlos Casamayor:
Sustained Models and Sustained Answers in First-Order Databases.
32-46 BibTeX
- Giuseppe Plagenza:
Abductive Update of Deductive Databases.
47-59 BibTeX
- José Francisco Aldana Montes, Enrique Alba, José M. Troya:
D2: A Model for Datalog Parallel Evaluation.
60-74 BibTeX
- 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 BibTeX
- Cristina Ruggieri, Mirko Sancassani:
IDEA: Intelligent Data Retrieval in Prolog.
88-101 BibTeX
- M. Fabris, Adriano Tirabosco, C. Chiopris:
Optimal Management of a Large Computer Network with CHIP.
102-116 BibTeX
- Puri Arenas-Sánchez, Ana Gil-Luezas:
A Debugging Model for Lazy Functional Logic Languages.
117-131 BibTeX
- Vincenzo Ambriola, Giovanni A. Cignoni, Laura Semini:
Everything buT Assignment.
132-146 BibTeX
- F. J. Duran, Ernesto Pimentel, José M. Troya:
Comunicacion entre objetos mediante la unificacion de canales logicos.
147-160 BibTeX
- Michele Bugliesi, Hasan M. Jamil:
A Logic for Encapsulation in Object-Oriented Languages.
161-175 BibTeX
- 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 BibTeX
- Jaume Devesa, Jose Cuevas, Isidro Ramos:
Implementation of A Term Rewriting System for Solving Process Queries in an Object-Oriented Environment.
191-205 BibTeX
- Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi:
A Bottom-Up Interpreter for a Database Language with Updates and Transactions.
206-220 BibTeX
- Paola Bruscoli, Alessio Guglielmi:
Expressiveness of the Abstract Logic Programming Language Forum in Planning and Concurrency.
221-237 BibTeX
- Fernando Sáenz, Werner Hans, José J. Ruz, Stephan Winkler:
A Babel Parallel System: VHDL Modelling for Performance Measurement.
238-252 BibTeX
- Francesca Arcelli Fontana, Ferrante Formato, Giulio Iannello:
On the parallel implementation of the higher order logic language lambda Prolog.
253-267 BibTeX
- Verónica Dahl, Paul Tarau, Yan-Nong Huang:
Datalog Grammars.
268-282 BibTeX
- Lidia Moreno, Manuel Palomar:
Tratamiento de la ambiguedad de origen preposicional a traves de la logica.
283-295 BibTeX
- Luigi Liquori, Maria Luisa Sapino:
Dealing with Explicit Exceptions in Prolog.
296-308 BibTeX
- Manuel Enciso, Inman P. de Guzmán, Carlos Rossi:
A Temporal Logic for Program Specification.
309-323 BibTeX
- Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Modal Extension of Logic Programming.
324-335 BibTeX
- Iliano Cervesato, Luca Chittaro, Angelo Montanari:
What the Event Calculus actually does, and how to do it efficiently.
336-350 BibTeX
- 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 BibTeX
- Mirko Sancassani, G. Dore, Ugo Manfredi:
The IDEA User Interface: the Power of Logic Programming in GUI Implementations.
366-378 BibTeX
- Filomena Ferrucci, Vincenzo Loia, Giuliano Pacini, Maria I. Sessa:
A Sleeper-based Prolog Interpreter with Loop Checks.
379-392 BibTeX
- Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena:
Non Homomorphic Reductions of Data Structures.
393-407 BibTeX
- Antonio Brogi, Chiara Renso, Franco Turini:
Amalgamating Language and Meta-language for Composing Logic Programs.
408-422 BibTeX
- S. Clerici, R. Peña:
Generic Classes Parameterized by Data Structures.
423-437 BibTeX
- Gabriel Aguilera, J. L. Galan, Inman P. de Guzmán, Manuel Ojeda-Aciego:
TAS-D++ vs tablas semanticas.
438-439 BibTeX
- Domenico Aquilino, Patrizia Asirelli, Paola Inverardi:
Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces.
440-441 BibTeX
- Ugo Manfredi, Mirko Sancassani:
LogicSQL: Augmenting SQL with Logic.
442-443 BibTeX
- Nikos Mylonakis, J. Perez Campo:
A Type Checking Tool for a Formal Specification Language.
444-445 BibTeX
- Oscar Pastor, Isidro Ramos, Jose Cuevas, Jaume Devesa:
OASIS 2.0: An Object Definition Language for Object Oriented Databases.
446-447 BibTeX
- G. Ramos:
LANM, SRA y Contradiccion.
448-449 BibTeX
- José A. Troyano, Jesús Torres, Miguel Toro:
Especificacion orientada a objetos desde un enfoque algebraico.
450-451 BibTeX
- Jordi Tubella, Antonio González:
Combining depth-first and breadth-first search in Prolog execution.
452-453 BibTeX
Copyright © Sat May 16 22:57:00 2009
by Michael Ley (ley@uni-trier.de)
