Search dblp for Publications

export results for "toc:db/journals/amai/amai3.bht:"

 download as .bib file

@article{DBLP:journals/amai/AbiteboulV91,
  author       = {Serge Abiteboul and
                  Victor Vianu},
  title        = {Non-Determinism in Logic-Based Languages},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {2-4},
  pages        = {151--186},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530924},
  doi          = {10.1007/BF01530924},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/AbiteboulV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BuchsbaumKV91,
  author       = {Adam L. Buchsbaum and
                  Paris C. Kanellakis and
                  Jeffrey Scott Vitter},
  title        = {A Data Dtructure for Arc Insertion and Regular Path Finding},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {2-4},
  pages        = {187--210},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530925},
  doi          = {10.1007/BF01530925},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/BuchsbaumKV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Caseau91,
  author       = {Yves Caseau},
  title        = {An Object-Oriented Deductive Language},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {2-4},
  pages        = {211--258},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530926},
  doi          = {10.1007/BF01530926},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Caseau91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/FortuneW91,
  author       = {Steven Fortune and
                  Gordon T. Wilfong},
  title        = {Planning Constrained Motion},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {1},
  pages        = {21--82},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530887},
  doi          = {10.1007/BF01530887},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/FortuneW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Gelder91,
  author       = {Allen Van Gelder},
  title        = {Deriving Constraints Among Argument Sizes in Logic Programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {2-4},
  pages        = {361--392},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530930},
  doi          = {10.1007/BF01530930},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Gelder91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Imielinski91,
  author       = {Tomasz Imielinski},
  title        = {Incomplete Deductive Databases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {2-4},
  pages        = {259--293},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530927},
  doi          = {10.1007/BF01530927},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Imielinski91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Mitchell91,
  author       = {Joseph S. B. Mitchell},
  title        = {A New Algorithm for Shortest Paths Among Obstacles in the Plane},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {1},
  pages        = {83--105},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530888},
  doi          = {10.1007/BF01530888},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Mitchell91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Ramakrishnan91,
  author       = {Raghu Ramakrishnan},
  title        = {Parallelism in Logic Programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {2-4},
  pages        = {295--330},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530928},
  doi          = {10.1007/BF01530928},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Ramakrishnan91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/SharirS91,
  author       = {Micha Sharir and
                  Shmuel Sifrony},
  title        = {Coordinated Motion Planning for Two Independent Robots},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {1},
  pages        = {107--130},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530889},
  doi          = {10.1007/BF01530889},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/SharirS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/UllmanY91,
  author       = {Jeffrey D. Ullman and
                  Mihalis Yannakakis},
  title        = {The Input/Output Complexity of Transitive Closure},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {2-4},
  pages        = {331--360},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530929},
  doi          = {10.1007/BF01530929},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/UllmanY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/WieringaWMD91,
  author       = {Roel J. Wieringa and
                  Hans Weigand and
                  John{-}Jules Ch. Meyer and
                  Frank Dignum},
  title        = {The Inheritance of Dynamic and Deontic Integrity Constraints},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {2-4},
  pages        = {393--428},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530931},
  doi          = {10.1007/BF01530931},
  timestamp    = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/WieringaWMD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Wilfong91,
  author       = {Gordon T. Wilfong},
  title        = {Motion Planning in the Presence of Movable Obstacles},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {1},
  pages        = {131--150},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530890},
  doi          = {10.1007/BF01530890},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Wilfong91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Winslett91,
  author       = {Marianne Winslett},
  title        = {Circumscriptive Semantics for Updating Knowledge Bases},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {2-4},
  pages        = {429--450},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530932},
  doi          = {10.1007/BF01530932},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Winslett91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Yap91,
  author       = {James Cox and
                  Chee{-}Keng Yap},
  title        = {On-line Motion Planning: Case of a Planar Rod},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {3},
  number       = {1},
  pages        = {1--20},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01530886},
  doi          = {10.1007/BF01530886},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Yap91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.