skip to content
Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 Preview this item
ClosePreview this item
Checking...

Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988

Author: Kōichi Furukawa; H Tanaka; T Fujisaki
Publisher: Berlin ; New York : Springer-Verlag, ©1989.
Series: Lecture notes in computer science; Lecture notes in artificial intelligence; Lecture notes in computer science, 383.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:
"This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge  Read more...
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Logic programming '88.
Berlin ; New York : Springer-Verlag, ©1989
(OCoLC)811117862
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Kōichi Furukawa; H Tanaka; T Fujisaki
ISBN: 038751564X 9780387515649 354051564X 9783540515647
OCLC Number: 20170886
Notes: "Papers presented at the Seventh Logic Programming Conference"--Foreword.
Description: viii, 251 pages : illustrations ; 25 cm.
Contents: Completeness of extended unification based on basic narrowing.- Proving definite clauses without explicit use of inductions.- Pseudo extension in default reasoning and belief revision by model inference.- An approach to nonmonotonic inference mechanism in production system KORE/IE.- Nonmonotonic parallel inheritance network.- Logic programming debugger using control flow specification.- ALEX: The logic programming language with explicit control and without cut-operators.- Lattice programming methodology.- A simple programming system written in GHC and its reflective operations.- Implementation of full GHC by communicating processes.- Inference methods and semantics on or-type knowledge bases.- Access program to minimize redundant refutations on the network database system.- EUODHILOS: A general-purpose reasoning assistant system - Concept and implementation -.- Logic based lexical analyser LAX.- Extraction of characteristic facts and abstract generation.- Knowledge representation and reasoning for discourse understanding.
Series Title: Lecture notes in computer science; Lecture notes in artificial intelligence; Lecture notes in computer science, 383.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: K. Furukawa, H. Tanaka, T. Fujisaki (eds.).
More information:

Abstract:

This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988.  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/20170886> # Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "20170886" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866632586#Place/berlin> ; # Berlin
   schema:about <http://experiment.worldcat.org/entity/work/data/866632586#Topic/logic_programming> ; # Logic programming
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://dewey.info/class/005.1/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/866632586#Topic/programmation_logique> ; # Programmation logique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/866632586#Meeting/logic_programming_conference_7th_1988_tokyo_japan> ; # Logic Programming Conference (7th : 1988 : Tokyo, Japan)
   schema:contributor <http://viaf.org/viaf/92291577> ; # Tetsunosuke Fujisaki
   schema:contributor <http://viaf.org/viaf/40830271> ; # Kōichi Furukawa
   schema:contributor <http://viaf.org/viaf/119251640> ; # Hozumi Tanaka
   schema:copyrightYear "1989" ;
   schema:datePublished "1989" ;
   schema:description ""This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system."--Publisher's website."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866632586> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866632586#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866632586#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
   schema:isSimilarTo <http://www.worldcat.org/oclc/811117862> ;
   schema:name "Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988"@en ;
   schema:productID "20170886" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/20170886#PublicationEvent/berlin_new_york_springer_verlag_1989> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866632586#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9783540515647> ;
   schema:workExample <http://worldcat.org/isbn/9780387515649> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/20170886> ;
    .


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/866632586#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/866632586#Meeting/logic_programming_conference_7th_1988_tokyo_japan> # Logic Programming Conference (7th : 1988 : Tokyo, Japan)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/866632586#Place/tokyo_japan> ; # Tokyo, Japan)
   schema:name "Logic Programming Conference (7th : 1988 : Tokyo, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866632586#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/20170886> ; # Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866632586#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/20170886> ; # Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
   schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

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

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

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

<http://viaf.org/viaf/40830271> # 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/isbn/9780387515649>
    a schema:ProductModel ;
   schema:isbn "038751564X" ;
   schema:isbn "9780387515649" ;
    .

<http://worldcat.org/isbn/9783540515647>
    a schema:ProductModel ;
   schema:isbn "354051564X" ;
   schema:isbn "9783540515647" ;
    .

<http://www.worldcat.org/oclc/811117862>
    a schema:CreativeWork ;
   rdfs:label "Logic programming '88." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/20170886> ; # Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
    .

<http://www.worldcat.org/title/-/oclc/20170886>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/20170886> ; # Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
   schema:dateModified "2018-03-12" ;
   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.