Annals of Mathematics and Artificial Intelligence, Volume 5

Volume 5, Number 1, 1992

• Kenneth A. De Jong, William M. Spears:
  A Formal Analysis of the Role of Multi-Point Crossover in Genetic Algorithms. 1-26
  
• Gunar E. Liepins, Michael D. Vose:
  Characterizing Crossover in Genetic Algorithms. 27-34
  
• David E. Goldberg:
  Construction of High-Order Deceptive Functions Using Low-Order Walsh Coefficients. 35-47
  
• Darrell Whitley:
  Deception, Dominance and Implicit Parallelism in Genetic Search. 49-78
  
• Allen E. Nix, Michael D. Vose:
  Modeling Genetic Algorithms with Markov Chains. 77-88
  

Volume 5, Number 2-4, 1992

• Chitta Baral, Jorge Lobo, Jack Minker:
  Generalized Disjunctive Well-Founded Semantics for Logic Programs. 89-131
  
• Stephen V. Chenoweth, Henry W. Davis:
  New Approaches for Understanding the Asymptotic Complexity of A Tree Searching. 133-162
  
• Jim Cox, Ken McAloon, Carol Tretkoff:
  Computational Complexity and Constraint Logic Programming Languages. 163-189
  
• Henry W. Davis, Stephen V. Chenoweth:
  The Mathematical Modeling of Heuristics. 191-227
  
• V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
  A Theory of Nonmonotonic Rule Systems II. 229-263
  
• Brian G. Patrick, Mohammed Almulla, Monroe M. Newborn:
  An Upper Bound on the Time Complexity of Iterative-Deepening-A. 265-277
  
• John S. Schlipf:
  Formalizing a Logic for Logic Programming. 279-302
  
• Pascal Van Hentenryck, Thomas Graf:
  Standard Forms for Rational Linear Arithmetic in Constraint Logic Programming. 303-319
  
• Larry Wos, William McCune:
  The Application of Automated Reasoning to Questions in Mathematics and Logic. 321-369
  

Last update Tue May 21 18:19:58 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page