skip to content
Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989 Preview this item
ClosePreview this item
Checking...

Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989

Author: Kōichi Furukawa; Hozumi Tanaka; T Fujisaki
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991.
Series: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 485.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven  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: Electronic books
Congrès
Additional Physical Format: Printed edition
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Kōichi Furukawa; Hozumi Tanaka; T Fujisaki
ISBN: 9783540539193 3540539190 9783540463986 3540463984
OCLC Number: 851800256
Description: 1 online resource (ix, 183 pages).
Contents: Human and machine learning of descriptive concepts --
The classification and boundary problem --
Semantics of non-monotonic reasoning based on perfect model --
Time-bounded reasoning in first order knowledge base systems --
Elementary formal system as a logic programming language --
Debugger for a parallel logic programing language Fleng --
Parallel generalized LR parser based on logic programming --
Knowledge media station --
cu-Prolog and its application to a JPSG parser --
Table-driven Bottom Up Parser in Prolog --
A consistency maintenance mechanism for subjective judgments and its application --
Logic design assistance using temporal logic based language Tokio.
Series Title: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 485.
Responsibility: edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.

Abstract:

This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(4)

User lists with this item (1)

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/851800256> # Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "851800256" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/915343232#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://id.worldcat.org/fast/1154842> ; # Translators (Computer programs)
    schema:about <http://experiment.worldcat.org/entity/work/data/915343232#Topic/programmation_logique> ; # Programmation logique
    schema:about <http://dewey.info/class/006.3/e23/> ;
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/92291577> ; # Tetsunosuke Fujisaki
    schema:contributor <http://viaf.org/viaf/119251640> ; # Hozumi Tanaka
    schema:creator <http://viaf.org/viaf/21218699> ; # Kōichi Furukawa
    schema:datePublished "1991" ;
    schema:description "Human and machine learning of descriptive concepts -- The classification and boundary problem -- Semantics of non-monotonic reasoning based on perfect model -- Time-bounded reasoning in first order knowledge base systems -- Elementary formal system as a logic programming language -- Debugger for a parallel logic programing language Fleng -- Parallel generalized LR parser based on logic programming -- Knowledge media station -- cu-Prolog and its application to a JPSG parser -- Table-driven Bottom Up Parser in Prolog -- A consistency maintenance mechanism for subjective judgments and its application -- Logic design assistance using temporal logic based language Tokio."@en ;
    schema:description "This volume contains selected papers presented at the Eighth Logic Programming Conference, held in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof. Donald Michie, Chief Scientist of the Turing Institute, entitled "Human and Machine Learning of Descriptive Concepts", and introduces various research results on learning obtained by his group. There are eleven further papers, organized into sections on reasoning, logic programming language, concurrent programming, knowledge programming, natural language processing, and applications. A paper on knowledge programming introduces a flexible and powerful tool for incorporating and organizing knowledge using hypermedia. Another paper presents the constraint logic programming language cu-Prolog, designed for combinatorial problems; the way cu-Prolog solves the constraints is based on program transformation."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/915343232> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/915343232#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
    schema:isSimilarTo <http://worldcat.org/entity/work/data/915343232#CreativeWork/> ;
    schema:name "Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989"@en ;
    schema:productID "851800256" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851800256#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1991> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/915343232#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/3-540-53919-0> ;
    schema:url <http://link.springer.com/10.1007/3-540-53919-0> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-53919-0> ;
    schema:workExample <http://worldcat.org/isbn/9783540463986> ;
    schema:workExample <http://worldcat.org/isbn/9783540539193> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851800256> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/915343232#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/915343232#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/915343232#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851800256> ; # Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989
    schema:name "Lecture notes in computer science." ;
    .

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

<http://id.worldcat.org/fast/1154842> # Translators (Computer programs)
    a schema:Intangible ;
    schema:name "Translators (Computer programs)"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/119251640> # Hozumi Tanaka
    a schema:Person ;
    schema:familyName "Tanaka" ;
    schema:givenName "Hozumi" ;
    schema:name "Hozumi Tanaka" ;
    .

<http://viaf.org/viaf/21218699> # Kōichi Furukawa
    a schema:Person ;
    schema:familyName "Furukawa" ;
    schema:givenName "Kōichi" ;
    schema:name "Kōichi Furukawa" ;
    .

<http://viaf.org/viaf/92291577> # Tetsunosuke Fujisaki
    a schema:Person ;
    schema:familyName "Fujisaki" ;
    schema:givenName "Tetsunosuke" ;
    schema:givenName "T." ;
    schema:name "Tetsunosuke Fujisaki" ;
    .

<http://worldcat.org/entity/work/data/915343232#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/851800256> ; # Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989
    .

<http://worldcat.org/isbn/9783540463986>
    a schema:ProductModel ;
    schema:isbn "3540463984" ;
    schema:isbn "9783540463986" ;
    .

<http://worldcat.org/isbn/9783540539193>
    a schema:ProductModel ;
    schema:isbn "3540539190" ;
    schema:isbn "9783540539193" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851800256> ; # Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989
    schema:issn "0302-9743" ;
    schema:name "Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence," ;
    .

<http://www.worldcat.org/title/-/oclc/851800256>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/851800256> ; # Logic Programming '89 : Proceedings of the 8th Conference Tokyo, Japan, July 12-14, 1989
    schema:dateModified "2018-11-02" ;
    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.