Annals of Mathematics and Artificial Intelligence, Volume 3

Volume 3, Number 1, 1991

Algorithmic Motion Planning in Robotics

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Yap91
- ask others
James Cox, Chee-Keng Yap: On-line Motion Planning: Case of a Planar Rod. 1-20
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/FortuneW91
- ask others
Steven Fortune, Gordon T. Wilfong: Planning Constrained Motion. 21-82
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Mitchell91
- ask others
Joseph S. B. Mitchell: A New Algorithm for Shortest Paths Among Obstacles in the Plane. 83-105
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/SharirS91
- ask others
Micha Sharir, Shmuel Sifrony: Coordinated Motion Planning for Two Independent Robots. 107-130
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Wilfong91
- ask others
Gordon T. Wilfong: Motion Planning in the Presence of Movable Obstacles. 131-150

Volume 3, Numbers 2-4, 1991

Deductive Datavases

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/AbiteboulV91
- ask others
Serge Abiteboul, Victor Vianu: Non-Determinism in Logic-Based Languages. 151-186
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/BuchsbaumKV91
- ask others
Adam L. Buchsbaum, Paris C. Kanellakis, Jeffrey Scott Vitter: A Data Dtructure for Arc Insertion and Regular Path Finding. 187-210
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Caseau91
- ask others
Yves Caseau: An Object-Oriented Deductive Language. 211-258
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Imielinski91
- ask others
Tomasz Imielinski: Incomplete Deductive Databases. 259-293
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Ramakrishnan91
- ask others
Raghu Ramakrishnan: Parallelism in Logic Programs. 295-330
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/UllmanY91
- ask others
Jeffrey D. Ullman, Mihalis Yannakakis: The Input/Output Complexity of Transitive Closure. 331-360
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Gelder91
- ask others
Allen Van Gelder: Deriving Constraints Among Argument Sizes in Logic Programs. 361-392
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/WieringaWMD91
- ask others
Roel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum: The Inheritance of Dynamic and Deontic Integrity Constraints. 393-428
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/amai/Winslett91
- ask others
Marianne Winslett: Circumscriptive Semantics for Updating Knowledge Bases. 429-450