skip to content
Logic programming : proceedings of the 1999 International Conference on Logic Programming Preview this item
ClosePreview this item
Checking...

Logic programming : proceedings of the 1999 International Conference on Logic Programming

Author: Danny De Schreye
Publisher: Cambridge, Mass. ; London : MIT, 2000.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language  Read more...

Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.).
Logic programming.
Cambridge, Mass. ; London : MIT, 2000
(DLC) 00267746
(OCoLC)42746072
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Danny De Schreye
ISBN: 9780262291118 0262291118
OCLC Number: 827335564
Description: 1 online resource (xx, 450 pages) : illustrations
Contents: Declarative Programming for a Messy World / Fernando Pereira --
Logics and Database Modeling / Bernhard Thalheim --
Adventures in the Prolog Trade / Ken Bowen --
Answer Set Planning / Vladimir Lifschitz --
Logic Programming in Oz with Mozart / Peter Van Roy --
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor / Manuel V. Hermenegildo, Francisco Bueno and German Puebla / [and others] --
From Prolog and Zelda to ToonTalk / Ken Kahn --
Disjunctive Logic Programs with Inheritance / Francesco Buccafurri, Wolfgang Faber and Nicola Leone --
Event, Property, and Hierarchy in Order-Sorted Logic / Ken Kaneiwa and Satoshi Tojo --
Temporal Probabilistic Logic Programs / Alex Dekhtyar, Michael I. Dekhtyar and V.S. Subrahmanian --
An Optimized Prolog Encoding of Typed Feature Structures / Gerald Penn --
A Generic Approach to Monitor Program Executions / Erwan Jahier and Mireille Ducasse --
Generating Deductive Database Explanations / Sarah Mallet and Mireille Ducasse.
Responsibility: edited by Danny De Schreye.

Reviews

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

Tags

Be the first.

Similar Items

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/827335564> # Logic programming : proceedings of the 1999 International Conference on Logic Programming
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "827335564" ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/366235654#Place/cambridge_mass> ; # Cambridge, Mass.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/366235654#Topic/logic_programming> ; # Logic programming
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://dewey.info/class/005.115/e22/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/120375286> ; # Danny De Schreye
   schema:creator <http://experiment.worldcat.org/entity/work/data/366235654#Meeting/international_conference_on_logic_programming_16th_1999_las_cruces_n_m> ; # International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.)
   schema:datePublished "2000" ;
   schema:description "Declarative Programming for a Messy World / Fernando Pereira -- Logics and Database Modeling / Bernhard Thalheim -- Adventures in the Prolog Trade / Ken Bowen -- Answer Set Planning / Vladimir Lifschitz -- Logic Programming in Oz with Mozart / Peter Van Roy -- Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor / Manuel V. Hermenegildo, Francisco Bueno and German Puebla / [and others] -- From Prolog and Zelda to ToonTalk / Ken Kahn -- Disjunctive Logic Programs with Inheritance / Francesco Buccafurri, Wolfgang Faber and Nicola Leone -- Event, Property, and Hierarchy in Order-Sorted Logic / Ken Kaneiwa and Satoshi Tojo -- Temporal Probabilistic Logic Programs / Alex Dekhtyar, Michael I. Dekhtyar and V.S. Subrahmanian -- An Optimized Prolog Encoding of Typed Feature Structures / Gerald Penn -- A Generic Approach to Monitor Program Executions / Erwan Jahier and Mireille Ducasse -- Generating Deductive Database Explanations / Sarah Mallet and Mireille Ducasse."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/366235654> ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/42746072> ;
   schema:name "Logic programming : proceedings of the 1999 International Conference on Logic Programming"@en ;
   schema:productID "827335564" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/827335564#PublicationEvent/cambridge_mass_london_mit_2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/366235654#Agent/mit> ; # MIT
   schema:url <http://ieeexplore.ieee.org/servlet/opac?bknumber=6267511> ;
   schema:url <http://mitpress.mit.edu/images/products/books/9780262541046-f30.jpg> ;
   schema:url <http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511> ;
   schema:workExample <http://worldcat.org/isbn/9780262291118> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/827335564> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/366235654#Meeting/international_conference_on_logic_programming_16th_1999_las_cruces_n_m> # International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/366235654#Place/las_cruces_n_m> ; # Las Cruces, N.M.)
   schema:name "International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/366235654#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/366235654#Place/las_cruces_n_m> # Las Cruces, N.M.)
    a schema:Place ;
   schema:name "Las Cruces, N.M.)" ;
    .

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

<http://viaf.org/viaf/120375286> # Danny De Schreye
    a schema:Person ;
   schema:familyName "De Schreye" ;
   schema:givenName "Danny" ;
   schema:name "Danny De Schreye" ;
    .

<http://worldcat.org/isbn/9780262291118>
    a schema:ProductModel ;
   schema:isbn "0262291118" ;
   schema:isbn "9780262291118" ;
    .

<http://www.worldcat.org/oclc/42746072>
    a schema:CreativeWork ;
   rdfs:label "Logic programming." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/827335564> ; # Logic programming : proceedings of the 1999 International Conference on Logic Programming
    .

<http://www.worldcat.org/title/-/oclc/827335564>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/827335564> ; # Logic programming : proceedings of the 1999 International Conference on Logic Programming
   schema:dateModified "2018-03-11" ;
   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.