Volume 10, Number 1-2, March-June 2001
Special Issue on Selected Papers from the 13th International FLAIRS Conference
, Diane J. Cook
: Developing a Tool for Unified Cognitive Modeling Using a Model of Learning and Understanding in Young Children.
, Marc Fuchs
: An Automated Theorem Prover Based on Connection Tableau Calculi with Disjunctive Constraints.
Volume 10, Number 3, September 2001
, Eugene Shragowitz
, Wei-Tek Tsai
: Combining Hierarchical Filtering, Fuzzy Logic, and Simulation with Software Agents for IP (Intellectual Property) Selection in Electronic Design.
: GraphMDP: A New Decomposition Tool for Solving Markov Decision Processes.
, Karl Kurbel
: Ease-of-Use, Implementation and Performance of Heuristics for Optimization - A Comparison of Evolutionary and Iterative Improvement Methods.
Volume 10, Number 4, December 2001
Selected Papers from the 2000 IEEE International Conference on Tools with Artificial Intelligence