Skip to main content
SpringerLink
Log in
Book cover

Logic Programming in Action

Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. G. Comyn
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. N. E. Fuchs
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. J. Ratcliffe
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 636)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: LPSS 1992.

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

Access this book

Log in via an institution
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 (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Theory and practice in logic programming

    • Robert Kowalski
    Pages 1-2

  3. Constraint Logic Programming

    • Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy et al.
    Pages 3-35

  4. Scheduling and optimisation in the Automobile Industry

    • Michel d'Andrea
    Pages 36-44

  5. Factory scheduling using finite domains

    • Owen V. Evans
    Pages 45-53

  6. The Prince project and its applications

    • Pierre -Joseph Gailly, Wolfgang Krautter, Christophe Bisière, Sylvie Bescos
    Pages 54-63

  7. A (Gentle) introduction to deductive databases

    • Shalom Tsur
    Pages 64-79

  8. Knowledge based PPS applications in PROTOS-L

    • Christoph Beierle
    Pages 80-90

  9. The SECReTS banking expert system from phase 1 to phase 2

    • Carlo Chiopris
    Pages 91-99

  10. Logic engineering and clinical dilemmas

    • John Fox
    Pages 100-108

  11. A knowledge-based approach to strategic planning

    • Edward H. Freeman
    Pages 109-117

  12. Expert systems in mining

    • Lutz Plümer
    Pages 118-126

  13. Natural and formal language processing

    • Michael Hess
    Pages 127-175

  14. PUNDIT — Natural language interfaces

    • Deborah A. Dahl
    Pages 176-185

  15. The Esteam-316 dialogue manager

    • Thomas Grossi, Didier Bronisz, François Jean-Marie
    Pages 186-202

  16. Legislation as logic programs

    • Robert A. Kowalski
    Pages 203-230

  17. Knowledge representation for natural language processing

    • Udo Pletat
    Pages 231-241

  18. A set of tools for VHDL design

    • Peter Reintjes
    Pages 242-251

  19. Tutorial notes: Reasoning about logic programs

    • Alan Bundy
    Pages 252-277

  20. Software formal specification by logic programming: The example of standard Prolog

    • AbdelAli Ed-Dbali, Pierre Deransart
    Pages 278-289
Back to top

Other volumes

  1. Logic Programming in Action

Keywords

About this book

Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation