Conferences in this series are held every two years; the previous three took place in Karlsruhe (Germany), Oxford (United Kingdom) and Steyr (Austria). This time the conference will be held in USA and will be sponsored by the Plattsburgh State University of New York. Papers submitted to the conference undergo a standard review process. Previous proceedings appeared in the Springer Verlag LNCS Series, volumes 737, 958 and 1138. This year's proceeedings are also expected to be published by Springer Verlag and available at the time of the conference. Later, expanded versions of best papers will appear after a review in a special volume of Fundamenta Informaticae. The aim of the conference is to provide a forum for the exchange of novel ideas and the presentation of latest solutions. Another goal is to foster personal contacts among researchers from diverse fields surrounding AI and symbolic computation. The conference is concerned with all aspects of research, including theory, implementations and applications.