Skip to main content
SpringerLink
Log in

ALPUK92

Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Krysia Broda

    1. Department of Computing, Imperial College of Science, Technology and Midicine, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (17 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  3. Language and Implementation Issues

    1. Front Matter

      Pages 77-77
      Download chapter PDF

    2. Soft Sorting in Logic Programming

      • Jian Chen, John Staples
      Pages 79-96

    3. Modularity for Logic Programs

      • G. Antoniou, V. Sperschneider
      Pages 97-107

    4. SEL Compiler & Abstract Analyzers

      • Giancarlo Succi, Giuseppe A. Marino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata et al.
      Pages 108-123

    5. Disciplined Exceptions in Logic Programming

      • Timothy K. Shih, Ruth E. Davis, Fuyau Lin
      Pages 124-141

  4. Parallelism

    1. Front Matter

      Pages 143-143
      Download chapter PDF

    2. On the Semantics of Concurrent Constraint Programming

      • Frank S. de Boer, Catuscia Palamidessi
      Pages 145-173

    3. L2∥O2: Operational and Declarative Semantics

      • E. Pimentel, J. M. Troya
      Pages 174-188

    4. The DelPhi Multiprocessor Inference Machine

      • W. F. Clocksin
      Pages 189-198

  5. Applications in Logic

    1. Front Matter

      Pages 199-199
      Download chapter PDF

    2. Horn Clause Logic 1992

      • Wilfrid Hodges
      Pages 201-217

    3. From a Hilbert Calculus to its Model Theoretic Semantics

      • Dov Gabbay, Hans Jürgen Ohlbach
      Pages 218-252

    4. Logic Programming via Proof-valued Computations

      • David J. Pym, Lincoln A. Wallen
      Pages 253-262

    5. An Amalgamated Temporal Logic

      • Yuejun Jiang, Barry Richards
      Pages 263-295
Back to top

Keywords

About this book

Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed, and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and tutorials presented at the 4th ALPUK Conference, which aimed to broaden the frontiers of logic programming by encouraging interaction between it and other related disciplines. The papers cover a variety of technical areas, including concurrent logic languages and their semantics, applications of logic languages to other (non-classical) logical systems, modules, types and error-handling, and the distributed execution of Prolog programs. The wide scope of the papers refelects the breadth of interest in this important area of computer science. ALPUK 92 provides a comprehensive overview of current progress being made in logic programming research. It will be of interest to all workers in the field, especially researchers, postgraduate students, and research and development workers in industry.

Editors and Affiliations

  • Department of Computing, Imperial College of Science, Technology and Midicine, London, UK

    Krysia Broda

Bibliographic Information

  • Book Title: ALPUK92

  • Book Subtitle: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

  • Editors: Krysia Broda

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3421-3

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: British Computer Society 1993

  • Softcover ISBN: 978-3-540-19783-6Published: 21 December 1992

  • eBook ISBN: 978-1-4471-3421-3Published: 06 December 2012

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: X, 355

  • Topics: Programming Techniques, Logics and Meanings of Programs, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation