skip to content
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings Preview this item
ClosePreview this item
Checking...

Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings

Author: Ehud Y Shapiro
Publisher: Berlin ; New York : Springer-Verlag, ©1986.
Series: Lecture notes in computer science, 225.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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: Print version:
International Conference on Logic Programming (3rd : 1986 : Imperial College of Science and Technology).
Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986.
Berlin ; New York : Springer-Verlag, ©1986
(DLC) 86013477
(OCoLC)13761807
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ehud Y Shapiro
ISBN: 9783540398318 3540398317
OCLC Number: 570541284
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (ix, 720 pages) : illustrations.
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: The role of logic programming in the Fifth Generation Computer Project --
An abstract machine for restricted AND-parallel execution of logic programs --
Efficient management of backtracking in AND-Parallelism --
An intelligent backtracking algorithm for parallel execution of logic programs --
Delta Prolog: A distributed backtracking extension with events --
OLD resolution with tabulation --
Logic programs and alternation --
Intractable unifiability problems and backtracking --
On the complexity of unification sequences --
How to invent a Prolog machine --
A sequential implementation of Parlog --
A GHC abstract machine and instruction set --
A Prolog processor based on a pattern matching memory device --
An improved version of Shapiro's model inference system --
A framework for ICAI systems based on inductive inference and logic programming --
Rational debugging in logic programming --
Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning --
Some issues and trends in the semantics of logic programming --
Parallel logic programming languages --
P-Prolog: A parallel logic language based on exclusive relation --
Making exhaustive search programs deterministic --
Compiling OR-parallelism into AND-parallelism --
Shared memory execution of committed-choice languages --
Logic program semantics for programming with equations --
On the semantics of logic programming languages --
Towards a formal semantics for concurrent logic programming languages --
Design of a Prolog-based machine translation system --
Parallel logic programming for numeric applications --
Sequential and concurrent deterministic logic grammars --
A parallel parsing system for natural language analysis --
Equivalences of logic programs --
Qualified answers and their application to transformation --
Procedures in Horn-clause programming --
Higher-order logic programming --
Abstract interpretation of Prolog programs --
Verifleation of Prolog programs using an extension of execution --
Detection and optimization of functional computations in Prolog --
Control of logic program execution based on the functional relation --
Declarative graphics --
Test-pattern generation for VLSI circuits in a Prolog environment --
Using Prolog to represent and reason about protein structure --
A New approach for introducing Prolog to naive users --
Prolog programming environments: Architecture and implementation --
Design overview of the NAIL! System --
A superimposed codeword indexing scheme for very large Prolog databases --
Interfacing Prolog to a persistent data store --
A general model to implement DIF and FREEZE --
Cyclic tree traversal --
Completeness of the SLDNF-resolution for a class of logic programs --
Choices in, and limitations of, logic programming --
Negation and quantifiers in NU-Prolog --
Gracefully adding negation and disjunction to Prolog --
Memory performance of Lisp and Prolog programs --
The design and implementation of a high-speed incremental portable Prolog compiler --
Compiler optimizations for the WAM --
Fast decompilation of compiled Prolog clauses --
Logic continuations --
Cut & Paste — defining the impure primitives of Prolog --
Tokio: Logic programming language based on temporal logic and its compilation to Prolog --
The OR-forest description for the execution of logic programs.
Series Title: Lecture notes in computer science, 225.
Responsibility: edited by Ehud Shapiro.

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/570541284> # Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "570541284" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/889372068#Place/berlin> ; # Berlin
    schema:about <http://dewey.info/class/005.1/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/889372068#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/889372068#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
    schema:about <http://experiment.worldcat.org/entity/work/data/889372068#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/889372068#Topic/logic_programming> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/889372068#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/889372068#Topic/programmation_logique> ; # Programmation logique
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/30143956> ; # Ehud Y. Shapiro
    schema:copyrightYear "1986" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/889372068#Meeting/international_conference_on_logic_programming_3rd_1986_imperial_college_of_science_and_technology> ; # International Conference on Logic Programming (3rd : 1986 : Imperial College of Science and Technology)
    schema:datePublished "1986" ;
    schema:description "The role of logic programming in the Fifth Generation Computer Project -- An abstract machine for restricted AND-parallel execution of logic programs -- Efficient management of backtracking in AND-Parallelism -- An intelligent backtracking algorithm for parallel execution of logic programs -- Delta Prolog: A distributed backtracking extension with events -- OLD resolution with tabulation -- Logic programs and alternation -- Intractable unifiability problems and backtracking -- On the complexity of unification sequences -- How to invent a Prolog machine -- A sequential implementation of Parlog -- A GHC abstract machine and instruction set -- A Prolog processor based on a pattern matching memory device -- An improved version of Shapiro's model inference system -- A framework for ICAI systems based on inductive inference and logic programming -- Rational debugging in logic programming -- Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning -- Some issues and trends in the semantics of logic programming -- Parallel logic programming languages -- P-Prolog: A parallel logic language based on exclusive relation -- Making exhaustive search programs deterministic -- Compiling OR-parallelism into AND-parallelism -- Shared memory execution of committed-choice languages -- Logic program semantics for programming with equations -- On the semantics of logic programming languages -- Towards a formal semantics for concurrent logic programming languages -- Design of a Prolog-based machine translation system -- Parallel logic programming for numeric applications -- Sequential and concurrent deterministic logic grammars -- A parallel parsing system for natural language analysis -- Equivalences of logic programs -- Qualified answers and their application to transformation -- Procedures in Horn-clause programming -- Higher-order logic programming -- Abstract interpretation of Prolog programs -- Verifleation of Prolog programs using an extension of execution -- Detection and optimization of functional computations in Prolog -- Control of logic program execution based on the functional relation -- Declarative graphics -- Test-pattern generation for VLSI circuits in a Prolog environment -- Using Prolog to represent and reason about protein structure -- A New approach for introducing Prolog to naive users -- Prolog programming environments: Architecture and implementation -- Design overview of the NAIL! System -- A superimposed codeword indexing scheme for very large Prolog databases -- Interfacing Prolog to a persistent data store -- A general model to implement DIF and FREEZE -- Cyclic tree traversal -- Completeness of the SLDNF-resolution for a class of logic programs -- Choices in, and limitations of, logic programming -- Negation and quantifiers in NU-Prolog -- Gracefully adding negation and disjunction to Prolog -- Memory performance of Lisp and Prolog programs -- The design and implementation of a high-speed incremental portable Prolog compiler -- Compiler optimizations for the WAM -- Fast decompilation of compiled Prolog clauses -- Logic continuations -- Cut & Paste — defining the impure primitives of Prolog -- Tokio: Logic programming language based on temporal logic and its compilation to Prolog -- The OR-forest description for the execution of logic programs."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/889372068> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/889372068#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/13761807> ;
    schema:name "Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings"@en ;
    schema:productID "570541284" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/570541284#PublicationEvent/berlin_new_york_springer_verlag_1986> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/889372068#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/3-540-16492-8> ;
    schema:url <http://dx.doi.org/10.1007/3-540-16492-8> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/13761807.html> ;
    schema:workExample <http://worldcat.org/isbn/9783540398318> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/570541284> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/889372068#Meeting/international_conference_on_logic_programming_3rd_1986_imperial_college_of_science_and_technology> # International Conference on Logic Programming (3rd : 1986 : Imperial College of Science and Technology)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/889372068#Place/imperial_college_of_science_and_technology> ; # Imperial College of Science and Technology)
    schema:name "International Conference on Logic Programming (3rd : 1986 : Imperial College of Science and Technology)" ;
    .

<http://experiment.worldcat.org/entity/work/data/889372068#Place/imperial_college_of_science_and_technology> # Imperial College of Science and Technology)
    a schema:Place ;
    schema:name "Imperial College of Science and Technology)" ;
    .

<http://experiment.worldcat.org/entity/work/data/889372068#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/570541284> ; # Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/889372068#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
    schema:name "Artificial Intelligence (incl. Robotics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/889372068#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/889372068#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/30143956> # Ehud Y. Shapiro
    a schema:Person ;
    schema:familyName "Shapiro" ;
    schema:givenName "Ehud Y." ;
    schema:name "Ehud Y. Shapiro" ;
    .

<http://worldcat.org/isbn/9783540398318>
    a schema:ProductModel ;
    schema:isbn "3540398317" ;
    schema:isbn "9783540398318" ;
    .

<http://www.worldcat.org/oclc/13761807>
    a schema:CreativeWork ;
    rdfs:label "Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/570541284> ; # Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/570541284>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/570541284> ; # Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings
    schema:dateModified "2019-03-01" ;
    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.