skip to content
Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming Preview this item
ClosePreview this item
Checking...

Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming

Author: Dov M Gabbay; Christopher John Hogger; J A Robinson
Publisher: Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1998.
Series: Oxford science publications.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing.  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
Handboeken (vorm)
Additional Physical Format: Print version:
Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming.
Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1998
(DLC) 92023358
(OCoLC)26300491
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Dov M Gabbay; Christopher John Hogger; J A Robinson
ISBN: 0585483914 9780585483917 1280375280 9781280375286
OCLC Number: 53957434
Description: 1 online resource.
Contents: List of contributors ; 1.1 The role(s) of logic in artificial intelligence ; 1.2 First order logic ; 1.3 Methods and calculi for deduction ; 1.4 Deduction systems based on resolution ; 1.5 Equational reasoning and term rewriting systems ; 1.6 Basic modal logic ; 1.7 Logical features of Horn clauses ; Author index ; Subject index
Series Title: Oxford science publications.
Other Titles: Logic programming
Responsibility: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.

Abstract:

Provides authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas of application of logic in artificial intelligence and  Read more...

Reviews

Editorial reviews

Publisher Synopsis

Review of the first three volumes: `... the first three volumes... represent a detailed and comprehensive exposition of the theoretical and computational features of a wide variety of classical and Read more...

 
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/53957434> # Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "53957434" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2864197530#Place/oxford> ; # Oxford
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://dewey.info/class/006.33/e22/> ;
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/2864197530#Topic/logisch_programmeren> ; # Logisch programmeren
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/2864197530#Topic/computers_expert_systems> ; # COMPUTERS--Expert Systems
   schema:about <http://experiment.worldcat.org/entity/work/data/2864197530#Topic/inteligencia_artificial_computacao> ; # Inteligencia artificial (computacao)
   schema:about <http://experiment.worldcat.org/entity/work/data/2864197530#Topic/programacao_de_computadores> ; # Programacao de computadores
   schema:alternateName "Logic programming" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/41921763> ; # Christopher John Hogger
   schema:contributor <http://viaf.org/viaf/76325399> ; # Dov M. Gabbay
   schema:contributor <http://viaf.org/viaf/77241917> ; # John Alan Robinson
   schema:datePublished "1998" ;
   schema:description "The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an in-depth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/2864197530> ;
   schema:genre "Handboeken (vorm)"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2864197530#Series/oxford_science_publications> ; # Oxford science publications.
   schema:isSimilarTo <http://www.worldcat.org/oclc/26300491> ;
   schema:name "Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming"@en ;
   schema:productID "53957434" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/53957434#PublicationEvent/oxford_clarendon_press_oxford_new_york_oxford_university_press_1998> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2864197530#Agent/clarendon_press> ; # Clarendon Press
   schema:publisher <http://experiment.worldcat.org/entity/work/data/2864197530#Agent/oxford_university_press> ; # Oxford University Press
   schema:url <http://www.myilibrary.com?id=37528&ref=toc> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=98458> ;
   schema:url <http://www.myilibrary.com?id=37528> ;
   schema:workExample <http://worldcat.org/isbn/9781280375286> ;
   schema:workExample <http://worldcat.org/isbn/9780585483917> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/53957434> ;
    .


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/2864197530#Agent/clarendon_press> # Clarendon Press
    a bgn:Agent ;
   schema:name "Clarendon Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/2864197530#Agent/oxford_university_press> # Oxford University Press
    a bgn:Agent ;
   schema:name "Oxford University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/2864197530#Series/oxford_science_publications> # Oxford science publications.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/53957434> ; # Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming
   schema:name "Oxford science publications." ;
    .

<http://experiment.worldcat.org/entity/work/data/2864197530#Topic/computers_expert_systems> # COMPUTERS--Expert Systems
    a schema:Intangible ;
   schema:name "COMPUTERS--Expert Systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/2864197530#Topic/inteligencia_artificial_computacao> # Inteligencia artificial (computacao)
    a schema:Intangible ;
   schema:name "Inteligencia artificial (computacao)"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/2864197530#Topic/programacao_de_computadores> # Programacao de computadores
    a schema:Intangible ;
   schema:name "Programacao de computadores"@en ;
    .

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

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

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

<http://viaf.org/viaf/41921763> # Christopher John Hogger
    a schema:Person ;
   schema:familyName "Hogger" ;
   schema:givenName "Christopher John" ;
   schema:name "Christopher John Hogger" ;
    .

<http://viaf.org/viaf/76325399> # Dov M. Gabbay
    a schema:Person ;
   schema:birthDate "1945" ;
   schema:familyName "Gabbay" ;
   schema:givenName "Dov M." ;
   schema:name "Dov M. Gabbay" ;
    .

<http://viaf.org/viaf/77241917> # John Alan Robinson
    a schema:Person ;
   schema:familyName "Robinson" ;
   schema:givenName "John Alan" ;
   schema:givenName "J. A." ;
   schema:name "John Alan Robinson" ;
    .

<http://worldcat.org/isbn/9780585483917>
    a schema:ProductModel ;
   schema:isbn "0585483914" ;
   schema:isbn "9780585483917" ;
    .

<http://worldcat.org/isbn/9781280375286>
    a schema:ProductModel ;
   schema:isbn "1280375280" ;
   schema:isbn "9781280375286" ;
    .

<http://www.worldcat.org/oclc/26300491>
    a schema:CreativeWork ;
   rdfs:label "Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/53957434> ; # Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming
    .

<http://www.worldcat.org/title/-/oclc/53957434>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/53957434> ; # Handbook of logic in artificial intelligence and logic programming. Volume 5, Logic programming
   schema:dateModified "2017-12-25" ;
   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.