GULP-PRODE (2)

Keyphrases

Publications

1994

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