Annals of Mathematics and Artificial Intelligence
, Volume 3
Volume 3, Number 1, 1991
Algorithmic Motion Planning in Robotics
James Cox
,
Chee-Keng Yap
: On-line Motion Planning: Case of a Planar Rod. 1-20
BibTeX
Steven Fortune
,
Gordon T. Wilfong
: Planning Constrained Motion. 21-82
BibTeX
Joseph S. B. Mitchell
: A New Algorithm for Shortest Paths Among Obstacles in the Plane. 83-105
BibTeX
Micha Sharir
,
Shmuel Sifrony
: Coordinated Motion Planning for Two Independent Robots. 107-130
BibTeX
Gordon T. Wilfong
: Motion Planning in the Presence of Movable Obstacles. 131-150
BibTeX
Volume 3, Numbers 2-4, 1991
Deductive Datavases
Serge Abiteboul
,
Victor Vianu
: Non-Determinism in Logic-Based Languages. 151-186
BibTeX
Adam L. Buchsbaum
,
Paris C. Kanellakis
,
Jeffrey Scott Vitter
: A Data Dtructure for Arc Insertion and Regular Path Finding. 187-210
BibTeX
Yves Caseau
: An Object-Oriented Deductive Language. 211-258
BibTeX
Tomasz Imielinski
: Incomplete Deductive Databases. 259-293
BibTeX
Raghu Ramakrishnan
: Parallelism in Logic Programs. 295-330
BibTeX
Jeffrey D. Ullman
,
Mihalis Yannakakis
: The Input/Output Complexity of Transitive Closure. 331-360
BibTeX
Allen Van Gelder
: Deriving Constraints Among Argument Sizes in Logic Programs. 361-392
BibTeX
Roel Wieringa
,
Hans Weigand
,
John-Jules Ch. Meyer
,
Frank Dignum
: The Inheritance of Dynamic and Deontic Integrity Constraints. 393-428
BibTeX
Marianne Winslett
: Circumscriptive Semantics for Updating Knowledge Bases. 429-
BibTeX
Copyright ©
Sat May 16 23:50:14 2009 by
Michael Ley
(
ley@uni-trier.de
)