FLAIRS-99

Track: Parallel and Distributed Reasoning

Disney Village, Orlando, FL, USA
May 3-5, 1999

Many AI systems base their reasoning on intelligently searching in very large search spaces. Also, many concepts have been developed to speed up search by using several computing nodes (processors). Most of these concepts concentrate on dealing with problems like balancing the processor loads or avoiding idle times, bottlenecks, and redundancy. Very often these problems are solved by using a simple search control that is easy to predict.

But this conflicts with the requirements of an intelligent search, namely quickly reacting to the results of each step taken. Naturally, this can be fixed by communication, but too much communication drastically reduces the gains by the use of several computing nodes. Nevertheless, in the last few years several concepts have been developed that achieve the combined benefits of using several computing nodes and intelligent knowledge based search.

This special track aims at bringing together researchers from the different areas of artificial intelligence that are interested in parallelizing or distributing their particular search-based systems. The topics of interest include

parallelization and distribution concepts for
- learning
- planning
- deduction
partition of problems
limiting information exchange
selection and adaptation of search processes for parallel or distributed search

Here is the list of papers accepted in this track:

Smart Selective Competition Parallelism ATP
Geoff Sutcliffe, Darryl Seyfang
Strategy Selection by Genetic Programming
Gernot Stenz, Andreas Wolf
Adaptive Parallel Search for Theorem Proving
Diane Cook, Charles Hannon
Solving Hard Computational Problems through Collections (Portfolios) of Cooperative Heterogeneous Algorithms
Eugene Santos Jr., Soloman Eyal Shimony, Edward Michael Williams
Strategy Parallelism and Lemma Evaluation
Joachim Draeger, Andreas Wolf

Critical Dates

Camera Ready Copy Due: Feb 3, 1999
Conference Dates: May 1-5, 1999

All accepted papers will be included into the FLAIRS-99 proceedings that will be published by AAAI Press. Selected authors may be invited (by the FLAIRS-99 program committee) to submit a revised copy of their paper to a special issue of the International Journal of Pattern Recognition and Artificial Intelligence. The submitted paper should not exceed 5 (five) pages using the AAAI proceedings format. LaTeX-users may consult this link

The Program Committee's decisions will be mailed in early December 1998. Authors of accepted papers will be expected to submit the final camera-ready copy of their full papers to the publisher by Feb 3, 1999.

Program Committee Co-Chairs

Bruce Spencer
Faculty of Computer Science
University of New Brunswick
P.O. Box 4400
Fredericton, New Brunswick
CANADA E3B 5A3
FAX: 506-453-3566
Phone: 506-453-4566
Email: bspencer@unb.ca Jörg Denzinger
Computer Science Department
University of Kaiserslautern
Postfach 3049
67653 Kaiserslautern
Germany
FAX: +49-631-205-3558
Phone: +49-631-205-2181
Email: denzinge@informatik.uni-kl.de

Program Committee

D. Cook, University of Texas at Arlington, USA
B. Fronhöfer, TU Munich, Germany
Y. Kitamura, University of Osaka, Japan
W. Küchlin, University of Tübingen, Germany
W. McCune, Argonne Nat. Lab., USA
G. Sutcliffe, James Cook U., Australia
M. Yokoo, NTT Communication Science Laboratories, Kyoto, Japan