Publications

Publication list extracted from DBLP (Digital Bibliography & Library Project), reference website for publications of our area of research.

1992

, , :
Foundations of disjunctive logic programming. Logic Programming, MIT Press , ISBN 978-0-262-12165-1, pp. 1-307
Extremals calculation for the dynamic traffic assignment problem
Recent Model Developments for RTI Applications
EXTREMALS CALCULATION FOR THE DYNAMIC TRAF. ASSG.
An Algorithm for Extremals Calculation in Optimal Control Problems with Applicat...
Cars: an experience in demand responsive traffic control
, :
Evants and Events rules in Active Databases. IEEE Data Eng. Bull. 15(1-4): 56-59 ()
, :
A Method for Change Computation in Deductive Databases. VLDB : 225-237
, , :
The Odissea Project: An Environment for the Development of Information Systems from DCM. DAISD : 17-47
, , :
Environment Support for Cooperative Working. ULPAA : 73-87
:
Deriving Consistency-preserving Transaction Specifications for (View-)Updates in Relational Databases. DAISD : 275-300
, , :
The Odissea Project: An Environment for the Development of Information Systems from DCM. DAISD : 17-47
:
The ODISSEA Approach to the Design of Information Systems from Deductive Conceptual Models. IFIP Congress (3) : 182-188
, , :
Minimizing Indefinite Information in Disjunctive Deductive Databases. ICDT : 246-260
, , :
Generalized Disjunctive Well-Founded Semantics for Logic Programs. Ann. Math. Artif. Intell. 5(2-4): 89-131 ()
, :
The Events Method for View Updating in Deductive Databases. EDBT : 245-260
, :
A Method for Reasoning About Deductive Conceptual Models of Information Systems. CAiSE : 612-631
, :
Relating Minimal Models and Pre-Requisite-Free Normal Defaults. Inf. Process. Lett. 44(3): 129-133 ()
, , :
A Petri Net Semantics for Logic Programs with Negation. SEKE : 292-299

1991

Cars: an adaptive traffic control system
A SIMPLICIAL DECOMPOSITION APPROACH FOR THE TRAFFIC ASSIGNMENT PROBLEM
A SIMPLICIAL DECOMP. APPROACH FOR TRAFFIC ASSIGNAT
ALGORITHM FOR DYNAMIC TRAFFIC ASSIGNMENT
ALGORITHMS FOR THE O/D MATRIX ESTIMATION
Computational results for a new lagrangean algorithms
Software Environments for Integrated RTI Systems
Simulation of Urban Traffic: Software Environments.
Traffic Management Systems
:
Integrity Constraints Checking In Deductive Databases. VLDB : 513-523
:
An Approach to Monitoring Changes in Deductive Databases. DAISD : 87-113
, , :
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

:
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"
, :
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
, , :
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

Pages