Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1992

Logic Programming in Action

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

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)

Conference series link(s): LPSS: Logic Programming Summer School

Conference proceedings info: LPSS 1992.

Sections

Buy it now

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

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

Table of contents (22 papers)

  1. Front Matter

    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

  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

  8. Knowledge based PPS applications in PROTOS-L

    • Christoph Beierle
    Pages 80-90

  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

  18. A set of tools for VHDL design

    • Peter Reintjes
    Pages 242-251
Back to top

Other Volumes

  1. Logic Programming in Action

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation