skip to content
Logic-based artificial intelligence Preview this item
ClosePreview this item
Checking...

Logic-based artificial intelligence

Author: Jack Minker
Publisher: Boston : Kluwer Academic Publishers, ©2000.
Series: Kluwer international series in engineering and computer science, SECS 597.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Covers topics such as commonsense reasoning, knowledge representation, nonmonotonic reasoning, logic for causation and actions, planning and problem solving, cognitive robotics, logic for agents and  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: Aufsatzsammlung
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jack Minker
ISBN: 0792372247 9780792372240
OCLC Number: 45243307
Description: xxiii, 606 pages : illustrations ; 24 cm.
Contents: pt. I. Introduction to Logic-Based Artificial Intelligence. 1. Introduction to Logic-Based Artificial Intelligence / Jack Minker --
pt. II. Commonsense Reasoning. 2. Concepts of Logical AI / John McCarthy --
pt. III. Knowledge Representation. 3. Two Approaches to Efficient Open-World Reasoning / Giuseppe De Giacomo and Hector Levesque. 4. Declarative Problem-Solving in DLV / Thomas Eiter, Wolfgang Faber and Nicola Leone / [and others] --
pt. IV. Nonmonotonic Reasoning. 5. The Role of Default Logic in Knowledge Representation / James P. Delgrande and Torsten Schaub. 6. Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning / Marc Denecker, Victor Marek and Miroslaw Truszczynski.
Series Title: Kluwer international series in engineering and computer science, SECS 597.
Responsibility: edited by Jack Minker.
More information:

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/45243307> # Logic-based artificial intelligence
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "45243307" ;
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/34853586#Topic/logique_informatique> ; # Logique informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/34853586#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/34853586#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/34853586#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/34853586#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://dewey.info/class/006.3/e21/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/34853586#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/34853586#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/34853586#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/34853586#Person/minker_jack> ; # Jack Minker
    schema:copyrightYear "2000" ;
    schema:datePublished "2000" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/34853586> ;
    schema:genre "Aufsatzsammlung"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/34853586#Series/kluwer_international_series_in_engineering_and_computer_science> ; # Kluwer international series in engineering and computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/34853586#Series/the_kluwer_international_series_in_engineering_and_computer_science> ; # The Kluwer international series in engineering and computer science ;
    schema:name "Logic-based artificial intelligence"@en ;
    schema:productID "45243307" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/45243307#PublicationEvent/boston_kluwer_academic_publishers_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/34853586#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0820/00052177-t.html> ;
    schema:workExample <http://worldcat.org/isbn/9780792372240> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA116482> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/45243307> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/34853586#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
    schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Person/minker_jack> # Jack Minker
    a schema:Person ;
    schema:familyName "Minker" ;
    schema:givenName "Jack" ;
    schema:name "Jack Minker" ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Series/kluwer_international_series_in_engineering_and_computer_science> # Kluwer international series in engineering and computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/45243307> ; # Logic-based artificial intelligence
    schema:name "Kluwer international series in engineering and computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Series/the_kluwer_international_series_in_engineering_and_computer_science> # The Kluwer international series in engineering and computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/45243307> ; # Logic-based artificial intelligence
    schema:name "The Kluwer international series in engineering and computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
    schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
    schema:name "Künstliche Intelligenz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Topic/logique_informatique> # Logique informatique
    a schema:Intangible ;
    schema:name "Logique informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/34853586#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
    schema:name "Mathematische Logik"@en ;
    .

<http://worldcat.org/isbn/9780792372240>
    a schema:ProductModel ;
    schema:isbn "0792372247" ;
    schema:isbn "9780792372240" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.