Skip to main content
SpringerLink
Log in
Book cover

Computational Logic

Symposium Proceedings, Brussels, November 13/14, 1990

  • Conference proceedings
  • © 1990

Overview

Editors:
  1. John W. Lloyd

    1. Department of Computer Science, University of Bristol, Bristol, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: ESPRIT Basic Research Series (ESPRIT BASIC)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Problems and Promises of Computational Logic

    • Robert A. Kowalski
    Pages 1-36

  3. An Introduction to Prolog III

    • Alain Colmerauer
    Pages 37-79

  4. On Open Defaults

    • Vladimir Lifschitz
    Pages 80-95

  5. On Asking What a Database Knows

    • Raymond Reiter
    Pages 96-113

  6. Two Kinds of Program Specifications

    • John McCarthy
    Pages 114-115

  7. Exploration with Mathematica

    • Dana S. Scott
    Pages 116-116

  8. Composition Operators for Logic Theories

    • Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
    Pages 117-134

  9. The Synthesis of Logic Programs from Inductive Proofs

    • Alan Bundy, Alan Smaill, Geraint Wiggins
    Pages 135-149

  10. Studies in Pure Prolog: Termination

    • Krzysztof R. Apt, Dino Pedreschi
    Pages 150-176

  11. Concept Logics

    • Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Werner Nutt, Jörg H. Siekmann
    Pages 177-201

  12. Programming in 2010? A scientific and industrial challenge

    • Gérard Comyn
    Pages 202-203

  13. Perspective on Computational Logic

    • Hervé Gallaire
    Pages 204-205

  14. Programming in the year 2010

    • Robert Kowalski
    Pages 206-207

  15. It’s Past Time for Practical Computer Checked Proofs of Program Correctness

    • John McCarthy
    Pages 208-209

  16. Computational Logic needs Symbolic Mathematics

    • Dana S. Scott
    Pages 210-211
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of Bristol, Bristol, UK

    John W. Lloyd

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation