Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990

این جلد برای تلاش‌های تحقیقاتی بنیادی ESPRIT برای ایجاد پیوندهای قوی بین تیم‌های دانشگاهی و صنعتی اروپایی که پژوهش‌هایی را انجام می‌دهند، اغلب میان رشته‌ای، در خط مقدم فناوری اطلاعات، اهمیت دوگانه دارد. اولاً، شامل مجموعه مقالات "سمپوزیوم منطق محاسباتی" است - که به مناسبت هفتمین هفته کنفرانس ESPRIT در نوامبر 1990 برگزار شد - که سازمان آن از کار تحقیقات بنیادی 3012 (COMPULOG) الهام گرفته شده است. این کنسرسیومی است که با درخواست همکاری در سرتاسر اروپا، ایالات متحده و ژاپن، توجه جهانی را به خود جلب کرده است. کار COMPULOG به عنوان یک نقطه کانونی در این سمپوزیوم عمل می کند که به کار سایر محققان برجسته در این زمینه می پردازد، بنابراین مروری بر وضعیت هنر در منطق محاسباتی، کمک های جدید و مهم در این زمینه ارائه می دهد. همچنین چشم اندازی از آینده ثانیاً، این جلد اولین مجموعه از انتشارات نتایج تحقیقاتی ESPRIT Basic Research Series است. انتظار می‌رود کیفیت محتوا و توزیع گسترده این مجموعه تأثیر عمده‌ای در دسترسی به پیشرفت‌های به‌دست‌آمده برای دنیای تحقیقات دانشگاهی و صنعتی داشته باشد. در این زمان، همه اقدامات تحقیقاتی پایه ESPRIT سال اول خود را به پایان رسانده اند و دیدن جریان نتایجی مانند نمونه های خوب ارائه شده در این سمپوزیوم بسیار دلگرم کننده و محرک است.

This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology. Firstly, it consists of the proceedings of the "Symposium on Computational Logic" - held on the occasion of the 7th ESPRIT Conference Week in November 1990 - whose organisation was inspired by the work of Basic Research Action 3012 (COMPULOG). This is a consortium which has attracted world-wide interest, with requests for collaboration throughout Europe, the US and Japan. The work of COMPULOG acts as a focal point in this symposium which is broadened to cover the work of other eminent researchers in the field, thus providing a review of the state of the art in computational logic, new and important contributions in the field, but also a vision of the future. Secondly, this volume is the first of an ESPRIT Basic Research Series of publications of research results. It is expected that the quality of content and broad distribution of this series will have a major impact in making the advances achieved accessible to the world of academic and industrial research alike. At this time, all ESPRIT Basic Research Actions have completed their first year and it is most encouraging and stimulating to see the flow of results such as the fine examples presented in this symposium.