Computational logicFunded under: FP1-ESPRIT 1
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.
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
Original language: en
Available languages: en