skip to content
Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings Preview this item
ClosePreview this item
Checking...

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

Author: Comyn, G. ; ; G Comyn; N E Fuchs; M Ratcliffe
Publisher: Berlin ; New York : Springer-Verlag, ©1992.
Series: Lecture notes in computer science, 636.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Comyn, G. ; ; G Comyn; N E Fuchs; M Ratcliffe
ISBN: 3540559302 9783540559306 0387559302 9780387559308
OCLC Number: 26354386
Description: x, 324 pages : illustrations ; 25 cm.
Contents: 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. 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.
Series Title: Lecture notes in computer science, 636.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: G. Comyn, N.E. Fuchs, M.J. Ratcliffe (eds.).
More information:

Abstract:

Logic programming enjoys a privileged position. The First LogicProgramming Summer School, LPSS '90, addressed thetheoretical foundations of logic programming.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/26354386> # Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "26354386" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104351317#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351317#Topic/programmation_logique> ; # Programmation logique
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351317#Topic/programmation_logique_congres> ; # Programmation logique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351317#Topic/logic_programming> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1104351317#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://dewey.info/class/005.11/e20/> ;
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/44854337> ; # Norbert E. Fuchs
    schema:contributor <http://viaf.org/viaf/28729207> ; # Michael Ratcliffe
    schema:contributor <http://viaf.org/viaf/37584234> ; # Gérard Comyn
    schema:copyrightYear "1992" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1104351317#Meeting/logic_programming_summer_school_2nd_1992_zurich_switzerland> ; # Logic Programming Summer School (2nd : 1992 : Zurich, Switzerland)
    schema:datePublished "1992" ;
    schema: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."@en ;
    schema: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."@en ;
    schema: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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1104351317> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104351317#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104351317#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
    schema:name "Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings"@en ;
    schema:productID "26354386" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/26354386#PublicationEvent/berlin_new_york_springer_verlag_1992> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1104351317#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=636> ;
    schema:workExample <http://worldcat.org/isbn/9783540559306> ;
    schema:workExample <http://worldcat.org/isbn/9780387559308> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/26354386> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351317#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351317#Meeting/logic_programming_summer_school_2nd_1992_zurich_switzerland> # Logic Programming Summer School (2nd : 1992 : Zurich, Switzerland)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1104351317#Place/zurich_switzerland> ; # Zurich, Switzerland)
    schema:name "Logic Programming Summer School (2nd : 1992 : Zurich, Switzerland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351317#Place/zurich_switzerland> # Zurich, Switzerland)
    a schema:Place ;
    schema:name "Zurich, Switzerland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351317#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/26354386> ; # Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351317#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/26354386> ; # Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351317#Topic/logisch_programmeren> # Logisch programmeren
    a schema:Intangible ;
    schema:name "Logisch programmeren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351317#Topic/programmation_logique> # Programmation logique
    a schema:Intangible ;
    schema:name "Programmation logique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1104351317#Topic/programmation_logique_congres> # Programmation logique--Congrès
    a schema:Intangible ;
    schema:name "Programmation logique--Congrès"@en ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
    schema:name "Logic programming"@en ;
    .

<http://viaf.org/viaf/28729207> # Michael Ratcliffe
    a schema:Person ;
    schema:familyName "Ratcliffe" ;
    schema:givenName "Michael" ;
    schema:givenName "M." ;
    schema:name "Michael Ratcliffe" ;
    .

<http://viaf.org/viaf/37584234> # Gérard Comyn
    a schema:Person ;
    schema:familyName "Comyn" ;
    schema:givenName "Gérard" ;
    schema:givenName "G." ;
    schema:name "Gérard Comyn" ;
    .

<http://viaf.org/viaf/44854337> # Norbert E. Fuchs
    a schema:Person ;
    schema:familyName "Fuchs" ;
    schema:givenName "Norbert E." ;
    schema:givenName "N. E." ;
    schema:name "Norbert E. Fuchs" ;
    .

<http://worldcat.org/isbn/9780387559308>
    a schema:ProductModel ;
    schema:isbn "0387559302" ;
    schema:isbn "9780387559308" ;
    .

<http://worldcat.org/isbn/9783540559306>
    a schema:ProductModel ;
    schema:isbn "3540559302" ;
    schema:isbn "9783540559306" ;
    .

<http://www.worldcat.org/title/-/oclc/26354386>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/26354386> ; # Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings
    schema:dateModified "2018-07-19" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.