Tools

LEADER 03231cam 2200409 a 4500

001 ocm26354386;

003 OCoLC;

005 20141212100140.0;

008 920723s1992 gw a b 100 0 eng ;

010 a| 92028844;

020 a| 3540559302 (Berlin : acid-free paper);

020 a| 0387559302 (New York : acid-free paper);

035 a| (Sirsi) o26354386;

035 a| (OCoLC)26354386;

049 a| EREE;

050 00 a| QA76.63b| .L66 1992;

082 00 a| 005.1/12| 20;

111 2 a| Logic Programming Summer Schooln| (2nd :d| 1992 :c| Zurich, Switzerland)?| UNAUTHORIZED;

245 10 a| Logic programming in action :b| Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings /c| G. Comyn, N.E. Fuchs, M.J. Ratcliffe (eds.).;

300 a| x, 324 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 636. Lecture notes in artificial intelligence;

505 0 a| Theory and practice in logic programming / Robert Kowalski -- Constraint logic programming / Thom Frü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 Plümer -- Natural and formal languages processing / Michael Hess -- PUNDIT : natural language interfaces / Deborah A. Dahl -- The ESTEAM-316 dialogue manager / Thomas Grossi, Didier Bronisz, François Jean-Marie.;

505 0 a| 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 Ducassé -- Automatic theorem proving within the portable AI lab / Fabio Baj, Michael Rosner.;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

700 1 a| Comyn, G.q| (Gérard)=| ^A315758;

700 1 a| Fuchs, N. E.q| (Norbert E.)=| ^A315759;

700 1 a| Ratcliffe, M.q| (Michael)=| ^A315760;

830 0 a| Lecture notes in computer sciencev| 636.=| ^A466336;

830 0 a| Lecture notes in computer science.p| Lecture notes in artificial intelligence.=| ^A467263;

596 a| 1;

998 a| 469696;

999 a| QA76.63 .L66 1992w| LCc| 1i| 30372007164905d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 8/18/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn, N.E. Fuchs, M.J. Ratcliffe (eds.).

Author/creator	Logic Programming Summer School
Other author	Comyn, G. (Gérard)
Other author	Fuchs, N. E. (Norbert E.)
Other author	Ratcliffe, M. (Michael)
Format	Book
Publication Info	Berlin : New York : Springer-Verlag, ©1992.
Description	x, 324 pages : illustrations ; 25 cm.
Subjects	Logic programming--Congresses.

Series	Lecture notes in computer science ; 636. Lecture notes in artificial intelligence Lecture notes in computer science 636. ^A466336 Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
Contents	Theory and practice in logic programming / Robert Kowalski -- Constraint logic programming / Thom Frü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 Plümer -- Natural and formal languages processing / Michael Hess -- PUNDIT : natural language interfaces / Deborah A. Dahl -- The ESTEAM-316 dialogue manager / Thomas Grossi, Didier Bronisz, Franç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 Ducassé -- 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)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.63 .L66 1992	✔ Available	Place Hold

Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings / G. Comyn, N.E. Fuchs, M.J. Ratcliffe (eds.).

Click here for more information about this title

Availability