Editor The article "IJCAI Policy on Multiple Publication of Papers," by Alan Bundy in the Spring 1989 issue, misses one of the most important functions of IJCAI (or any other conference for that matter): The opportunity to present research to a wide audience of one's peers in person. No journal article can wholly replace the valuable give-and-take discussions that occur after a paper session. The proposed policy would deny this opportunity to researchers who have successfully published their results in a journal. Should AI researchers delay journal submissions until portions of their papers have been accepted by IJCAI or other major AI conferences? Given the vicissitudes of peer review in a methodologicallydivided field, the proposed policy seems like an excellent way to prevent dissemination of recent results Also, as much as the AI community might regard the IJCAI proceedings as an archival publication, the same thing can hardly be said of university tenure and promotion review committees, which in general prefer refereed journal articles over conference papers of whatever kind.

This issue marks the end of volume 12 and my last issue as editor in chief. In 1981 when Lee Erman (then chairman of the Publications Committee) asked me to take over the editorship of a fledgling magazine, I assumed it would be a Z-or 3-year responsibility. I never expected to still be doing it 10 years later. I also never expected it to be such a pleasurable avocation. The pleasure comes from several directions: sitting in an honored position to observe developments in AI all over the world by being the recipient of dozens of papers every year; working with an excellent supporting staff of coeditors, assistants, and production people; and receiving compliments from colleagues for doing a good job.

've spent over 20 years implementing algorithms for Boolean minimization, with particular application to area optimization of large semiconductor circuits. This exploration has included almost all published algorithms, dozens of conventional and exotic data structures, over two dozen programming languages and styles, and almost every level of implementation, from reconfigurable silicon through customized instruction sets, conventional programming languages, and very high-level languages such as Mathematica. The huge, randomly generated CNF formulae used to study SAT phase transition have attracted many creative approaches (such as variants of unit propagation, differential equations, probabilistic moments, component connectivity, cutting planes, and so on). However, I've learned one thing about the nature of Boolean minimization that seems obvious now. No matter how clever an algorithm is, no matter how extensively the structure of a problem is analyzed, no matter how much adaptive learning and lemma caching is used, the most successful approach to the general Boolean minimization problem is to use the simplest possible algorithm--brute force applied to lexicographically sorted formulae and implemented in reconfigurable silicon.

This year ICCBR featured the Industry Day, the fifth annual Doctoral Consortium and three workshops.

Carnegie Mellon University established a branch campus in Qatar in the fall of 2004. We are offering a BS degree in Computer Science to an international student body. The university invites applications for a visiting faculty position to begin as early as January 2006. We are seeking a faculty member in the area of Learning Science and Technology with research experience ideally in designing, implementing, deploying, and evaluating educational technology in school or college settings. An ability to teach courses in human-computer interaction, artificial intelligence, cognitive psychology, or related areas is also desired.

AAAI President's Message, Z(1): Winter 1980, 1. AAAI see American Association for Artificial Intelligence. Abbott, Kathy see Orlando, Nancy. Adelson, Beth see Hendler, James. Cercone, Nick see McCalla, Gordon. Clancey, William J. Review of States of Mind, 4(4): Winter 1983, 61-66.

"The Advanced Computational Methods Center, University of Georgia," see Nute, Donald. "An AI-Based Methodology for Factory Design" see Fisher, Edward L. "Artificial Intelligence: A Rand Perspective," see Klahr, Philip. "Artificial Intelligence and Ethics: An Exercise in the Moral Imagination," see LaChat, Michael R. "AI in Manufacturing at Digital," see Lynch, Frank. "Artificial Intelligence Research and Applications at the NASA Johnson Space Center," see Healey, Kathleen Jurica. "Artificial Intelligence Research in Progress at the Courant Institute, New York University," see Davis, Ernest.

See Artificial Intelligence zn Canada: A Review. See Steamer: an Interactive Inspectable Samulation-Based Trazning System Wilensky, Robert.

See Toward the Principled Enganeering of Knowledge. Expert Systems: Where are we? And where do we go from here? Feigenbaum, Edward A, See Signal-to-symbol transformation: HASP/SIAP case study. Research in Progress Vol IV, No. 4, p. 58, Winter, 1983 THE AI MAGAZINE Spring 1984 83 K Minsky, Marvin Why People Think Computers Can't.