Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings /

Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings /

Spremljeno u:
Bibliografski detalji
Autor kompanije: Logic Programming Summer School Zurich, Switzerland
Daljnji autori: Comyn, G. (Gérard), Fuchs, N. E. (Norbert E.), Ratcliffe, M. (Michael)
Format: Izvještaj sastanka Knjiga
Jezik:English
Izdano: Berlin : New York : Springer-Verlag, c1992.
Serija:Lecture notes in computer science ; 636.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Teme:
Logic programming > Congresses.
Sadržaj:
  • Theory and Practice in Logic Programming / Robert Kowalski
  • Constraint Logic Programming / Thom Fruhwirth, Alexander Herold, Volker Kuchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy and Mark Wallace
  • 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, Sylvie Bescos, Wolfgang Krautter and Christophe Bisiere
  • 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 Plumer
  • Natural and Formal Language Processing / Michael Hess
  • Pundit - Natural Language Interfaces / Deborah A. Dahl.
  • The ESTEAM-316 Dialogue Manager / Thomas Grossi, Didier Bronisz and Francois Jean-Marie
  • 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 and Pierre Deransart
  • The Art of Computer Un-Programming: Reverse Engineering in Prolog / Peter Breuer
  • OPIUM - An Advanced Debugging System / Mireille Ducasse
  • Automatic Theorem Proving Within the Portable AI Lab / Fabio Baj and Michael Rosner.

Similar Items