Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002711005/catalog> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- catalog abstract ""Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education."--PUBLISHER'S WEBSITE.".
- catalog contributor b3932710.
- catalog contributor b3932711.
- catalog contributor b3932712.
- catalog contributor b3932713.
- catalog created "c1992.".
- catalog date "1992".
- catalog date "c1992.".
- catalog dateCopyrighted "c1992.".
- catalog description ""Logic programming enjoys a privileged position. It is firmly rooted in mathematical logic, yet it is also immensely practical, as a growing number of users in universities, research institutes, and industry are realizing. Logic programming languages, specifically Prolog, have turned out to be ideal as prototyping and application development languages. This volume presents the proceedings of the Second Logic Programming Summer School, LPSS'92. The First Logic Programming Summer School, LPSS '90, addressed the theoretical foundations of logic programming. This volume focuses onthe relationship between theory and practice, and on practical applications. The introduction to the volume is by R. Kowalski, one of the pioneers in the field. The following papers are organized into sections on constraint logic programming, deductive databases and expert systems, processing of natural and formal languages, software engineering, and education."--PUBLISHER'S WEBSITE.".
- catalog description "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.".
- catalog description "Theory and practice in logic programming / Robert Kowalski -- Constraint logic programming / Thom Frühwirth [and others] -- 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 [and others] -- 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.".
- catalog extent "324 p.".
- catalog identifier "0387559302 (New York)".
- catalog identifier "3540559302 (Berlin)".
- catalog isPartOf "Lecture notes in computer science ; 636. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 636.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1992".
- catalog issued "c1992.".
- catalog language "eng".
- catalog publisher "Berlin : New York : Springer-Verlag,".
- catalog subject "005.1/1 20".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.63 .L66 1992".
- catalog tableOfContents "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.".
- catalog tableOfContents "Theory and practice in logic programming / Robert Kowalski -- Constraint logic programming / Thom Frühwirth [and others] -- 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 [and others] -- 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.".
- catalog title "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. Ratcliffe (eds.)".
- catalog type "Conference proceedings. fast".
- catalog type "text".