default search action
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 - L. 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
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.