Publicacions

Llista de publicacions extreta de DBLP(Digital Bibliography & Library Project), lloc web de referència pel que fa a les publicacions més rellevants de la nostra àrea de recerca.

1991

:
Integrity Constraints Checking In Deductive Databases. VLDB : 513-523
, , :
WF³: A Semantics for Negation in Normal Disjunctive Logic Programs. ISMIS : 459-468
, , :
Semantics of Horn and Disjunctive Logic Programs. Theor. Comput. Sci. 86(1): 93-106 ()

1990

, :
Integrity Constraints Checking in Deductive Databases with the Internal Events Method. FMLDO : 139-168
:
The Internal Events Method for Integrity Constraints Enforcement in Deductive Databases. DAISD : 111-140
, :
Integrity Constraints Checking in Deductive Databases with the Internal Events Method. FMLDO : 139-168
:
Deriving an Internal Events Model from a Deductive Conceptual Model. DAISD : 73-92
:
The Internal Events Method for View Updating in Deductive Databases. DAISD : 173-190
:
On Constructive Negation for Disjunctive Logic Programs. NACLP : 704-718
Constraint Generation Procedures for Capacitated Plant Location Problem using La...
Lagrangean Relaxation and Constraint Generation Procedures for Capacitated Plant Location Problems with Single Sourcing
Metodos duales y algoritmos hibridos para problemas de "set partitioning"
, , :
Generalized Well-founded Semantics for Logic Programs (Extended Abstract). CADE : 102-116

1989

, , :
Extending the Semantics of Logic Programs to Disjunctive Logic Programs. ICLP : 255-267
, , :
Skeptical Reasoning and Disjunctive Programs. KR : 349-356
A simulator generator for microscopic urban traffic simulation
:
On the design and implementation of information systems from deductive conceptual models. VLDB : 3-11
, , :
Weak Generalized Closed World Assumption. J. Autom. Reasoning 5(3): 293-307 ()

1988

, :
A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Expert Database Conf. : 699-741
, , :
Weak Completion Theory for Non-Horn Programs. ICLP/SLP : 828-842
Problemas de Knapsack 0-1 con una restricción adicional
Heurísticas, planos secantes y optimización subgradiente para set partitioning
Inteligencia Artificial y Simulación: Aplicaciones a la Simulación de Tráfico Ur...
Inteligencia artificial y simulación: aplicaciones a la simulación de tráfico urbano

1987

:
A formal approach to timing analysis and design of information systems. Inf. Syst. 12(1): 1-10 ()

1986

:
A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling. IFIP Congress : 91-96
:
An extended X.400 architectural model. Computer Communication Review 16(2): 8-14 ()
Computational results from a new Lagrangean relaxation algorithm for the capacitated plant location problem
Computational Results from a New Lagrangean Relaxation Algorithm for the Capacit...
Scheduling tasks on two processors with deadlines and many resources types
A heuristic Lagrangean algorithm for the capacitated plant location problem ¿ A ...

1985

Reflexiones sobre la Implementación y Uso de los Modelos Matemáticos en la Inves...
Reflexiones sobre la implementación y uso de los modelos matemáticos en la investigación operativa
Consideraciones sobre el Tratamiento de los Problemas de Localización con Restri...
Consideraciones sobre el tratamiento de los problemas de localización con restricciones de capacidad
Computational Experiments with Location Problems.
Computational experiments with location problems
Experiencias Computacionales con Procedimientos de Identificación de Restriccion...
Experiencias computacionales con procedimientos de identificación de restricciones para algunos tipos de programas enteros

1984

El Problema de Generación Automática de Horarios de Servicio de Tripulaciones en...
El Problema de generación automática de horarios de servicio de tripulaciones en el transporte público: una aplicación práctica y un estudio teórico
Capacitated Plant Location Problems: Some Comments on the Design of Heuristics a...
Capacitated plant location problems: some comments on the design of heuristics and the use of facetial inequalities
Experiencias Computacionales de Resolución de Modelos Enteros de Carácter Combin...
Experiencias computacionales de resolución de modelos enteros de carácter combinatorio: plant location, set covering, set partitioning, etc.
A Heuristic Langrangian Algorithm for the Capacited Plant Location Problem
A heuristic lagrangean algorithm for the capacited plant location problem

1983

:
Analysis of Conceptual and Logical Models in Information Systems Design Methodologies. CRIS : 63-86
:
Information Derivability Analysis In Logical Information Systems. Commun. ACM 26(11): 933-938 ()
Capacitated location problems: lagrangean heuristic and branch and bound based a...

Pàgines