Annals of Mathematics and Artificial Intelligence, Volume 3

Volume 3, Number 1, 1991

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

Volume 3, Numbers 2-4, 1991

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