External Links

    Journal: Annals of Mathematics and Artificial Intelligence

    Volume 7, Issue 1-4

    1 -- 40Constantin Arapis. A Temporal Logic-Based Approach for the Description of Object Behavior Evolution
    41 -- 62Jan Van den Bussche. Complex Object Multi-Level Fixpoint Queries
    63 -- 82János Demetrovics, Gyula O. H. Katona. A Survey of Some Combinatorial Results Concerning Functional Dependencies in Database Relations
    83 -- 106János Demetrovics, Lajos Rónyai, Hua nam Son. Functional Dependencies among Boolean Dependencies
    107 -- 127Guozhu Dong. On the Monotonicity of (LDL) Logic Programs with Set
    129 -- 195Stephen J. Hegner. Characterization of Desirable Properties of General Database Decompositions
    197 -- 256Bernhard Thalheim. Foundations of Entity - Relationship Modeling
    257 -- 287Victor Vianu, Gottfried Vossen. Static and Dynamic Aspects of Goal-Oriented Concurrency Control
    289 -- 346Roel Wieringa, John-Jules Ch. Meyer. Actors, Actions, and Initiative in Normative System Specification
    runs on