Community Research and Development Information Service - CORDIS

Abstract

The ultimate goal of the ESPRIT Basic Research Action, Compulog, is to develop the use of logic for all aspects of computation. This includes not only the development of a single logic for representing programs, program specifications, databases, and knowledge representations in artificial intelligence, but also the development of logic-based management tools. For these purposes, two major extensions of logic programming are needed - abduction and metalevel reasoning. Extensions of full first-order logic may not be necessary.

Additional information

Authors: LLOYD J W (EDITOR), University of Bristol, Department of Computer Science, Bristol (GB)
Bibliographic Reference: EUR 13147 EN (1990) 211 pp.
Availability: Springer-Verlag GmbH & Co. KG, Postfach 10 52 80, Tiergartenstrasse 17, D-6900 Heidelberg 1 (DE)
ISBN: ISBN 3-540-53437-7
Record Number: 199011719 / Last updated on: 1994-12-02
Category: PUBLICATION
Original language: en
Available languages: en