Journal: Annals of Mathematics and Artificial Intelligence

Volume 3, Issue 2-4

151 -- 186Serge Abiteboul, Victor Vianu. Non-Determinism in Logic-Based Languages
187 -- 210Adam L. Buchsbaum, Paris C. Kanellakis, Jeffrey Scott Vitter. A Data Dtructure for Arc Insertion and Regular Path Finding
211 -- 258Yves Caseau. An Object-Oriented Deductive Language
259 -- 293Tomasz Imielinski. Incomplete Deductive Databases
295 -- 330Raghu Ramakrishnan. Parallelism in Logic Programs
331 -- 360Jeffrey D. Ullman, Mihalis Yannakakis. The Input/Output Complexity of Transitive Closure
361 -- 392Allen Van Gelder. Deriving Constraints Among Argument Sizes in Logic Programs
393 -- 428Roel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum. The Inheritance of Dynamic and Deontic Integrity Constraints
429 -- 0Marianne Winslett. Circumscriptive Semantics for Updating Knowledge Bases

Volume 3, Issue 1

1 -- 20James Cox, Chee-Keng Yap. On-line Motion Planning: Case of a Planar Rod
21 -- 82Steven Fortune, Gordon T. Wilfong. Planning Constrained Motion
83 -- 105Joseph S. B. Mitchell. A New Algorithm for Shortest Paths Among Obstacles in the Plane
107 -- 130Micha Sharir, Shmuel Sifrony. Coordinated Motion Planning for Two Independent Robots
131 -- 150Gordon T. Wilfong. Motion Planning in the Presence of Movable Obstacles