default search action
2. LPSS 1992: Zurich, Switzerland
- Gérard Comyn, Norbert E. Fuchs, Michael Ratcliffe:
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
Introduction
- Robert A. Kowalski:
Theory and Practice in Logic Programming. 1-2
Constraint Logic Programming
- Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace:
Contraint Logic Programming - An Informal Introduction. 3-35 - Michel d'Andrea:
Scheduling and Optimisation in the Automobile Industry. 36-44 - Owen V. Evans:
Factory Scheduling Using Finite Domains. 45-53 - Pierre-Joseph Gailly, Wolfgang Krautter, Christophe Bisière, Sylvie Bescos:
The Prince Project and its Applications. 54-63
Deductive Databases and Expert Systems
- Shalom Tsur:
A (Gentle) Introduction to Deductive Databases. 64-79 - Christoph Beierle:
Knowledge Based PPS Applications in PROTOS-L. 80-90 - Carlo Chiopris:
The SECReTS Banking Expert System from Phase 1 to Phase 2. 91-99 - John Fox:
Logic Engineering and Clinical Dilemmas. 100-108 - Edward H. Freeman:
A Knowledge-based Approach to Strategic Planning. 109-117 - Lutz Plümer:
Expert Systems in Mining. 118-126
Processing of Natural and Formal Languages
- Michael Hess:
Natural and Formal Language Processing. 127-175 - Deborah A. Dahl:
PUNIT - Natural Language Interfaces. 176-185 - Thomas Grossi, Didier Bronisz, François Jean-Marie:
The ESTEAM-316 Dialogue Manager. 186-202 - Robert A. Kowalski:
Legislation as Logic Programs. 203-230 - Udo Pletat:
Knowledge Representation for Natural Language Processing. 231-241 - Peter B. Reintjes:
A Set of Tools for VHDL Design. 242-251
Software Engineering
- Alan Bundy:
Tutorial Notes: Reasoning about Logic Programs. 252-277 - AbdelAli Ed-Dbali, Pierre Deransart:
Software Formal Specification by Logic Programming: The Example of Standard Prolog. 278-289 - Peter T. Breuer
:
The Art of Computer Un-Programming: Reverse Engineering in Prolog. 290-302 - Mireille Ducassé:
Opium - An Advanced Debugging System. 303-312
Education
- Fabio Baj, Michael Rosner:
Automatic Theorem Proving within the Portable AI Lab. 313-324
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-10 20:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: