2. LPSS 1992: Zurich, Switzerland

Gérard Comyn, Norbert E. Fuchs, Michael Ratcliffe (Eds.): Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings. Lecture Notes in Computer Science 636 Springer 1992, ISBN 3-540-55930-2 BibTeX

@proceedings{DBLP:conf/lpss/1992,
  editor    = {G{\'e}rard Comyn and
               Norbert E. Fuchs and
               Michael Ratcliffe},
  title     = {Logic Programming in Action, Second International Logic Programming
               Summer School, LPSS '92, Zurich, Switzerland, September 7-11,
               1992, Proceedings},
  booktitle = {Logic Programming Summer School},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {636},
  year      = {1992},
  isbn      = {3-540-55930-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

Robert A. Kowalski: Theory and Practice in Logic Programming. 1-2 BibTeX

Constraint Logic Programming

Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace: Contraint Logic Programming - An Informal Introduction. 3-35 BibTeX
Michel d'Andrea: Scheduling and Optimisation in the Automobile Industry. 36-44 BibTeX
Owen V. Evans: Factory Scheduling Using Finite Domains. 45-53 BibTeX
Pierre-Joseph Gailly, Wolfgang Krautter, Christophe Bisière, Sylvie Bescos: The Prince Project and its Applications. 54-63 BibTeX

Deductive Databases and Expert Systems

Shalom Tsur: A (Gentle) Introduction to Deductive Databases. 64-79 BibTeX
Christoph Beierle: Knowledge Based PPS Applications in PROTOS-L. 80-90 BibTeX
Carlo Chiopris: The SECReTS Banking Expert System from Phase 1 to Phase 2. 91-99 BibTeX
John Fox: Logic Engineering and Clinical Dilemmas. 100-108 BibTeX
Edward H. Freeman: A Knowledge-based Approach to Strategic Planning. 109-117 BibTeX
Lutz Plümer: Expert Systems in Mining. 118-126 BibTeX

Processing of Natural and Formal Languages

Michael Hess: Natural and Formal Language Processing. 127-175 BibTeX
Deborah A. Dahl: PUNIT - Natural Language Interfaces. 176-185 BibTeX
Thomas Grossi, Didier Bronisz, François Jean-Marie: The ESTEAM-316 Dialogue Manager. 186-202 BibTeX
Robert A. Kowalski: Legislation as Logic Programs. 203-230 BibTeX
Udo Pletat: Knowledge Representation for Natural Language Processing. 231-241 BibTeX
Peter B. Reintjes: A Set of Tools for VHDL Design. 242-251 BibTeX

Software Engineering

Alan Bundy: Tutorial Notes: Reasoning about Logic Programs. 252-277 BibTeX
AbdelAli Ed-Dbali, Pierre Deransart: Software Formal Specification by Logic Programming: The Example of Standard Prolog. 278-289 BibTeX
Peter T. Breuer: The Art of Computer Un-Programming: Reverse Engineering in Prolog. 290-302 BibTeX
Mireille Ducassé: Opium - An Advanced Debugging System. 303-312 BibTeX

Education

Fabio Baj, Michael Rosner: Automatic Theorem Proving within the Portable AI Lab. 313-324 BibTeX