Logic Programming Summer School

Keyphrases

Publications

1992

Alan Bundy
Tutorial Notes: Reasoning about Logic Programs. Logic Programming Summer School (1992)
Peter T. Breuer
The Art of Computer Un-Programming: Reverse Engineering in Prolog. Logic Programming Summer School (1992)
John Fox
Logic Engineering and Clinical Dilemmas. Logic Programming Summer School (1992)
Michel d'Andrea
Scheduling and Optimisation in the Automobile Industry. Logic Programming Summer School (1992)
Robert A. Kowalski
Legislation as Logic Programs. Logic Programming Summer School (1992)
Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace
Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School (1992)
Fabio Baj, Michael Rosner
Automatic Theorem Proving within the Portable AI Lab. Logic Programming Summer School (1992)
Udo Pletat
Knowledge Representation for Natural Language Processing. Logic Programming Summer School (1992)
Shalom Tsur
A (Gentle) Introduction to Deductive Databases. Logic Programming Summer School (1992)
Christoph Beierle
Knowledge Based PPS Applications in PROTOS-L. Logic Programming Summer School (1992)
Robert A. Kowalski
Theory and Practice in Logic Programming. Logic Programming Summer School (1992)
Edward H. Freeman
A Knowledge-based Approach to Strategic Planning. Logic Programming Summer School (1992)
Lutz Plümer
Expert Systems in Mining. Logic Programming Summer School (1992)
Peter B. Reintjes
A Set of Tools for VHDL Design. Logic Programming Summer School (1992)
Mireille Ducassé
Opium - An Advanced Debugging System. Logic Programming Summer School (1992)
Deborah A. Dahl
PUNIT - Natural Language Interfaces. Logic Programming Summer School (1992)
AbdelAli Ed-Dbali, Pierre Deransart
Software Formal Specification by Logic Programming: The Example of Standard Prolog. Logic Programming Summer School (1992)
Owen V. Evans
Factory Scheduling Using Finite Domains. Logic Programming Summer School (1992)
Thomas Grossi, Didier Bronisz, François Jean-Marie
The ESTEAM-316 Dialogue Manager. Logic Programming Summer School (1992)
Pierre-Joseph Gailly, Wolfgang Krautter, Christophe Bisière, Sylvie Bescos
The Prince Project and its Applications. Logic Programming Summer School (1992)
Carlo Chiopris
The SECReTS Banking Expert System from Phase 1 to Phase 2. Logic Programming Summer School (1992)
Michael Hess
Natural and Formal Language Processing. Logic Programming Summer School (1992)

volume 636, 1992

Logic Programming in Action, Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992, Proceedings Logic Programming Summer School 636 (1992)