The FGCS project was introduced at a congerence in 1981 and commenced the following year. This volume contains the reports on the final phase of the project, sh

AIICSR '97 (Artificial Intelligence and Information-Control Systems of Robots) is one of the most traditional East-West professional meetings devoted to artific

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in u