skip to content
Tractable reasoning in artificial intelligence Preview this item
ClosePreview this item
Checking...

Tractable reasoning in artificial intelligence

Author: Marco Cadoli
Publisher: Berlin ; New York : Springer-Verlag, ©1995.
Series: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 941.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning  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: Electronic books
Additional Physical Format: Print version:
Cadoli, Marco, 1965-
Tractable reasoning in artificial intelligence.
Berlin ; New York : Springer-Verlag, ©1995
(DLC) 95023193
(OCoLC)32702732
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Marco Cadoli
ISBN: 9783540494225 3540494227
OCLC Number: 604276105
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (xiv, 247 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: 1. Introduction --
2. Language restriction: Complexity of minimal reasoning --
3. Approximation of a logical theory --
4. Using complexity results for evaluating approximation techniques --
5. Conclusions --
A Appendix to Chapter 2 --
B Appendix to Chapter 3 --
C Appendix to Chapter 4.
Series Title: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 941.
Responsibility: Marco Cadoli.

Abstract:

A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device.This book is concerned with computational  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/604276105> # Tractable reasoning in artificial intelligence
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "604276105" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4989068895#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/811829> ; # Approximation theory
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/inteligencia_artificial> ; # Inteligencia artificial
    schema:about <http://id.worldcat.org/fast/1091287> ; # Reasoning--Data processing
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/comlpexite_de_calcul_informatique> ; # Comlpexité de calcul (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/intellligence_artificielle> ; # Intellligence Artificielle
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/complexite_de_calcul_informatique> ; # Complexité de calcul (informatique)
    schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/raisonnement> ; # Raisonnement
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/approximation_theorie_de_l> ; # Approximation, Théorie de l'
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/engineering_&_applied_sciences> ; # Engineering & Applied Sciences
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/reasoning_data_processing> ; # Reasoning--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/argumentation_informatique> ; # Argumentation--Informatique
    schema:about <http://dewey.info/class/006.33/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4989068895#Topic/redeneren> ; # Redeneren
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "1995" ;
    schema:creator <http://viaf.org/viaf/114470303> ; # Marco Cadoli
    schema:datePublished "1995" ;
    schema:description "Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for."@en ;
    schema:description "1. Introduction -- 2. Language restriction: Complexity of minimal reasoning -- 3. Approximation of a logical theory -- 4. Using complexity results for evaluating approximation techniques -- 5. Conclusions -- A Appendix to Chapter 2 -- B Appendix to Chapter 3 -- C Appendix to Chapter 4."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4989068895> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4989068895#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4989068895#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/32702732> ;
    schema:name "Tractable reasoning in artificial intelligence"@en ;
    schema:productID "604276105" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/604276105#PublicationEvent/berlin_new_york_springer_verlag_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4989068895#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://books.google.com/books?id=8phQAAAAMAAJ> ;
    schema:url <http://www.library.yorku.ca/e/resolver/id/1982670> ;
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/32702732.html> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2011-04-14/3/3540600582> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-60058-9> ;
    schema:url <http://link.springer.com/10.1007/3-540-60058-2> ;
    schema:url <http://dx.doi.org/10.1007/3-540-60058-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540494225> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/604276105> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/4989068895#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/604276105> ; # Tractable reasoning in artificial intelligence
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/4989068895#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/604276105> ; # Tractable reasoning in artificial intelligence
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4989068895#Topic/approximation_theorie_de_l> # Approximation, Théorie de l'
    a schema:Intangible ;
    schema:name "Approximation, Théorie de l'"@en ;
    schema:name "Approximation, Théorie de l'"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4989068895#Topic/argumentation_informatique> # Argumentation--Informatique
    a schema:Intangible ;
    schema:name "Argumentation--Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4989068895#Topic/comlpexite_de_calcul_informatique> # Comlpexité de calcul (Informatique)
    a schema:Intangible ;
    schema:name "Comlpexité de calcul (Informatique)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4989068895#Topic/complexite_de_calcul_informatique> # Complexité de calcul (informatique)
    a schema:Intangible ;
    schema:name "Complexité de calcul (informatique)"@en ;
    schema:name "Complexité de calcul (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4989068895#Topic/engineering_&_applied_sciences> # Engineering & Applied Sciences
    a schema:Intangible ;
    schema:name "Engineering & Applied Sciences"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4989068895#Topic/inteligencia_artificial> # Inteligencia artificial
    a schema:Intangible ;
    schema:name "Inteligencia artificial"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4989068895#Topic/intellligence_artificielle> # Intellligence Artificielle
    a schema:Intangible ;
    schema:name "Intellligence Artificielle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4989068895#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
    schema:name "Kunstmatige intelligentie"@en ;
    .

<http://id.worldcat.org/fast/1091287> # Reasoning--Data processing
    a schema:Intangible ;
    schema:name "Reasoning--Data processing"@en ;
    .

<http://id.worldcat.org/fast/811829> # Approximation theory
    a schema:Intangible ;
    schema:name "Approximation theory"@en ;
    .

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

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@en ;
    .

<http://viaf.org/viaf/114470303> # Marco Cadoli
    a schema:Person ;
    schema:birthDate "1965" ;
    schema:familyName "Cadoli" ;
    schema:givenName "Marco" ;
    schema:name "Marco Cadoli" ;
    .

<http://worldcat.org/isbn/9783540494225>
    a schema:ProductModel ;
    schema:isbn "3540494227" ;
    schema:isbn "9783540494225" ;
    .

<http://www.worldcat.org/oclc/32702732>
    a schema:CreativeWork ;
    rdfs:label "Tractable reasoning in artificial intelligence." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/604276105> ; # Tractable reasoning in artificial intelligence
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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