Search dblp for Publications

export results for "toc:db/journals/ai/ai71.bht:"

 download as .bib file

@article{DBLP:journals/ai/BacchusY94,
  author       = {Fahiem Bacchus and
                  Qiang Yang},
  title        = {Downward Refinement and the Efficiency of Hierarchical Problem Solving},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {1},
  pages        = {43--100},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90062-0},
  doi          = {10.1016/0004-3702(94)90062-0},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BacchusY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/BayardoM94,
  author       = {Roberto J. Bayardo Jr. and
                  Daniel P. Miranker},
  title        = {An Optimal Backtrack Algorithm for Tree-Structured Constraint Satisfaction
                  problems},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {1},
  pages        = {159--181},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90064-7},
  doi          = {10.1016/0004-3702(94)90064-7},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/BayardoM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/DasguptaCD94,
  author       = {Pallab Dasgupta and
                  P. P. Chakrabarti and
                  S. C. De Sarkar},
  title        = {Agent Searching in a Tree and the Optimality of Iterative Deepening},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {1},
  pages        = {195--208},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90066-3},
  doi          = {10.1016/0004-3702(94)90066-3},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/DasguptaCD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/DorigoC94,
  author       = {Marco Dorigo and
                  Marco Colombetti},
  title        = {Robot Shaping: Developing Autonomous Agents Through Learning},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {2},
  pages        = {321--370},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90047-7},
  doi          = {10.1016/0004-3702(94)90047-7},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/DorigoC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Lakemeyer94,
  author       = {Gerhard Lakemeyer},
  title        = {Limited Reasoning in First-Order Knowledge Bases},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {2},
  pages        = {213--255},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90044-2},
  doi          = {10.1016/0004-3702(94)90044-2},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Lakemeyer94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Li94,
  author       = {Liwu Li},
  title        = {Possible World Semantics and Autoepistemic Reasoning},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {2},
  pages        = {281--320},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90046-9},
  doi          = {10.1016/0004-3702(94)90046-9},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Li94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/ReinefeldR94,
  author       = {Alexander Reinefeld and
                  Peter Ridinger},
  title        = {Time-Efficient State Space Search},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {2},
  pages        = {397--408},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90049-3},
  doi          = {10.1016/0004-3702(94)90049-3},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/ReinefeldR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/RothJ94,
  author       = {Yuval Roth and
                  Ramesh C. Jain},
  title        = {Knowledge Caching for Sensor-Based Systems},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {2},
  pages        = {257--280},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90045-0},
  doi          = {10.1016/0004-3702(94)90045-0},
  timestamp    = {Sat, 26 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/RothJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/SimonetD94,
  author       = {Genevi{\`{e}}ve Simonet and
                  Roland Ducournau},
  title        = {On Stein's Paper: Resolving Ambiguity in Nonmonotonic Inheritance
                  Hierarchies},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {1},
  pages        = {183--193},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90065-5},
  doi          = {10.1016/0004-3702(94)90065-5},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SimonetD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/SteinM94,
  author       = {Lynn Andrea Stein and
                  Leora Morgenstern},
  title        = {Motivated Action Theory: a Formal Theory of Causal Reasoning},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {1},
  pages        = {1--42},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90061-2},
  doi          = {10.1016/0004-3702(94)90061-2},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/SteinM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/Walther94,
  author       = {Christoph Walther},
  title        = {On Proving the Termination of Algorithms by Machine},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {1},
  pages        = {101--157},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90063-9},
  doi          = {10.1016/0004-3702(94)90063-9},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Walther94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ai/WilsonL94,
  author       = {Randall H. Wilson and
                  Jean{-}Claude Latombe},
  title        = {Geometric Reasoning About Mechanical Assembly},
  journal      = {Artif. Intell.},
  volume       = {71},
  number       = {2},
  pages        = {371--396},
  year         = {1994},
  url          = {https://doi.org/10.1016/0004-3702(94)90048-5},
  doi          = {10.1016/0004-3702(94)90048-5},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/WilsonL94.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.