Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/amai/BaralLM92,
  author       = {Chitta Baral and
                  Jorge Lobo and
                  Jack Minker},
  title        = {Generalized Disjunctive Well-Founded Semantics for Logic Programs},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {2-4},
  pages        = {89--131},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01543473},
  doi          = {10.1007/BF01543473},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/BaralLM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ChenowethD92,
  author       = {Stephen V. Chenoweth and
                  Henry W. Davis},
  title        = {New Approaches for Understanding the Asymptotic Complexity of {A}
                  Tree Searching},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {2-4},
  pages        = {133--162},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01543474},
  doi          = {10.1007/BF01543474},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ChenowethD92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CoxMT92,
  author       = {Jim Cox and
                  Ken McAloon and
                  Carol Tretkoff},
  title        = {Computational Complexity and Constraint Logic Programming Languages},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {2-4},
  pages        = {163--189},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01543475},
  doi          = {10.1007/BF01543475},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CoxMT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/DavisC92,
  author       = {Henry W. Davis and
                  Stephen V. Chenoweth},
  title        = {The Mathematical Modeling of Heuristics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {2-4},
  pages        = {191--227},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01543476},
  doi          = {10.1007/BF01543476},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/DavisC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Goldberg92,
  author       = {David E. Goldberg},
  title        = {Construction of High-Order Deceptive Functions Using Low-Order Walsh
                  Coefficients},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {1},
  pages        = {35--47},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01530779},
  doi          = {10.1007/BF01530779},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Goldberg92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/HentenryckG92,
  author       = {Pascal Van Hentenryck and
                  Thomas Graf},
  title        = {Standard Forms for Rational Linear Arithmetic in Constraint Logic
                  Programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {2-4},
  pages        = {303--319},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01543480},
  doi          = {10.1007/BF01543480},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/HentenryckG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/JongS92,
  author       = {Kenneth A. De Jong and
                  William M. Spears},
  title        = {A Formal Analysis of the Role of Multi-Point Crossover in Genetic
                  Algorithms},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {1},
  pages        = {1--26},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01530777},
  doi          = {10.1007/BF01530777},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/JongS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/LiepinsV92,
  author       = {Gunar E. Liepins and
                  Michael D. Vose},
  title        = {Characterizing Crossover in Genetic Algorithms},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {1},
  pages        = {27--34},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01530778},
  doi          = {10.1007/BF01530778},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/LiepinsV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MarekNR92,
  author       = {V. Wiktor Marek and
                  Anil Nerode and
                  Jeffrey B. Remmel},
  title        = {A Theory of Nonmonotonic Rule Systems {II}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {2-4},
  pages        = {229--263},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01543477},
  doi          = {10.1007/BF01543477},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MarekNR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/NixV92,
  author       = {Allen E. Nix and
                  Michael D. Vose},
  title        = {Modeling Genetic Algorithms with Markov Chains},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {1},
  pages        = {77--88},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01530781},
  doi          = {10.1007/BF01530781},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/NixV92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/PatrickAN92,
  author       = {Brian G. Patrick and
                  Mohammed Almulla and
                  Monroe M. Newborn},
  title        = {An Upper Bound on the Time Complexity of Iterative-Deepening-A},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {2-4},
  pages        = {265--277},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01543478},
  doi          = {10.1007/BF01543478},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/PatrickAN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Schlipf92,
  author       = {John S. Schlipf},
  title        = {Formalizing a Logic for Logic Programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {2-4},
  pages        = {279--302},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01543479},
  doi          = {10.1007/BF01543479},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Schlipf92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Whitley92,
  author       = {L. Darrell Whitley},
  title        = {Deception, Dominance and Implicit Parallelism in Genetic Search},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {1},
  pages        = {49--78},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01530780},
  doi          = {10.1007/BF01530780},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/Whitley92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/WosM92,
  author       = {Larry Wos and
                  William McCune},
  title        = {The Application of Automated Reasoning to Questions in Mathematics
                  and Logic},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {5},
  number       = {2-4},
  pages        = {321--369},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01543481},
  doi          = {10.1007/BF01543481},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/WosM92.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.