Abstract is missing.
- Theory and Practice in Logic ProgrammingRobert A. Kowalski. 1-2
- Contraint Logic Programming - An Informal IntroductionThom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace. 3-35
- Scheduling and Optimisation in the Automobile IndustryMichel d Andrea. 36-44
- Factory Scheduling Using Finite DomainsOwen V. Evans. 45-53
- The Prince Project and its ApplicationsPierre-Joseph Gailly, Wolfgang Krautter, Christophe Bisière, Sylvie Bescos. 54-63
- A (Gentle) Introduction to Deductive DatabasesShalom Tsur. 64-79
- Knowledge Based PPS Applications in PROTOS-LChristoph Beierle. 80-90
- The SECReTS Banking Expert System from Phase 1 to Phase 2Carlo Chiopris. 91-99
- Logic Engineering and Clinical DilemmasJohn Fox. 100-108
- A Knowledge-based Approach to Strategic PlanningEdward H. Freeman. 109-117
- Expert Systems in MiningLutz Plümer. 118-126
- Natural and Formal Language ProcessingMichael Hess. 127-175
- PUNIT - Natural Language InterfacesDeborah A. Dahl. 176-185
- The ESTEAM-316 Dialogue ManagerThomas Grossi, Didier Bronisz, François Jean-Marie. 186-202
- Legislation as Logic ProgramsRobert A. Kowalski. 203-230
- Knowledge Representation for Natural Language ProcessingUdo Pletat. 231-241
- A Set of Tools for VHDL DesignPeter B. Reintjes. 242-251
- Tutorial Notes: Reasoning about Logic ProgramsAlan Bundy. 252-277
- Software Formal Specification by Logic Programming: The Example of Standard PrologAbdelAli Ed-Dbali, Pierre Deransart. 278-289
- The Art of Computer Un-Programming: Reverse Engineering in PrologPeter T. Breuer. 290-302
- Opium - An Advanced Debugging SystemMireille Ducassé. 303-312
- Automatic Theorem Proving within the Portable AI LabFabio Baj, Michael Rosner. 313-324