Series |
Lecture notes in computer science ; 636. Lecture notes in artificial intelligence Lecture notes in computer science 636. ^A466336
|
Contents |
Theory and practice in logic programming / Robert Kowalski -- Constraint logic programming / Thom Frühwirth ... [et al.] -- Scheduling and optimisation in the automobile industry / Michel d'Andrea -- Factory scheduling using finite domains / Owen V. Evans -- The Prince Project and its applications / Pierre-Joseph Gailly ... [et al.] -- A (gentle) introduction to deductive databases / Shalom Tsur -- Knowledge based PPS applications in PROTOS-L / Christoph Beierle -- The SECReTS banking expert system from phase 1 to phase 2 / Carlo Chiopris -- Logic engineering and clinical dilemmas / John Fox -- A knowledge-based approach to strategic planning / Edward H. Freeman -- Expert systems in mining / Lutz Plümer -- Natural and formal languages processing / Michael Hess -- PUNDIT : natural language interfaces / Deborah A. Dahl -- The ESTEAM-316 dialogue manager / Thomas Grossi, Didier Bronisz, François Jean-Marie. |
Contents |
Legislation as logic programs / Robert Kowalski -- Knowledge representation for natural language processing / Udo Pletat -- A set of tools for VHDL design / Peter Reintjes -- Tutorial notes : reasoning about logic programs / Alan Bundy -- Software formal specification by logic programming : the example of standard Prolog / Abdel Ali Ed-Dbali, Pierre Deransart -- The art of computer un-programming : reverse engineering in Prolog / Peter Breuer -- OPIUM : an advanced debugging system / Mireille Ducassé -- Automatic theorem proving within the portable AI lab / Fabio Baj, Michael Rosner. |
LCCN | 92028844 |
ISBN | 3540559302 (Berlin : acid-free paper) |
ISBN | 0387559302 (New York : acid-free paper) |