skip to content
Resolution methods for the decision problem Preview this item
ClosePreview this item
Checking...

Resolution methods for the decision problem

Author: Christian Fermüller
Publisher: Berlin [u.a.] : Springer, 1993.
Series: Lecture notes in computer science; Lecture notes in artificial intelligence.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia) and Vienna (Austria). Among the topics covered are: semantic clash resolution as decision procedure;  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

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: Christian Fermüller
ISBN: 0387567321 9780387567327 3540567321 9783540567325
OCLC Number: 246323428
Description: VIII, 205 S : graph. Darst.
Contents: Terminology.- Semantic clash resolution as decision procedure.- Completeness of ordering refinements.- Semantic tree based resolution variants.- Deciding the class K by an ordering refinement.- A resolution based method for building finite models.- Applications.
Series Title: Lecture notes in computer science; Lecture notes in artificial intelligence.
Responsibility: C. Fermüller ...
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/246323428> # Resolution methods for the decision problem
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "246323428" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/30431351#Place/berlin_u_a> ; # Berlin u.a.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/006.3/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/30431351#Topic/entscheidungsproblem> ; # Entscheidungsproblem
    schema:about <http://id.worldcat.org/fast/817265> ; # Artificial intelligence--Mathematical models
    schema:about <http://experiment.worldcat.org/entity/work/data/30431351#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://id.worldcat.org/fast/889048> ; # Decision making--Mathematical models
    schema:about <http://experiment.worldcat.org/entity/work/data/30431351#Topic/entscheidungstheorie> ; # Entscheidungstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/30431351#Topic/losung_mathematik> ; # Lösung (Mathematik)
    schema:about <http://experiment.worldcat.org/entity/work/data/30431351#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:about <http://experiment.worldcat.org/entity/work/data/30431351#Topic/artificial_intelligence_mathematical_models> ; # Artificial intelligence--Mathematical models
    schema:about <http://id.loc.gov/authorities/subjects/sh85036200> ; # Decision making--Mathematical models
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/85226528> ; # Christian Fermüller
    schema:datePublished "1993" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/30431351> ;
    schema:genre "Aufsatzsammlung" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/30431351#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence.
    schema:name "Resolution methods for the decision problem" ;
    schema:productID "246323428" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/246323428#PublicationEvent/berlin_u_a_springer_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/30431351#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/3-540-56732-1> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0815/93029010-d.html> ;
    schema:workExample <http://worldcat.org/isbn/9780387567327> ;
    schema:workExample <http://worldcat.org/isbn/9783540567325> ;
    umbel:isLike <http://d-nb.info/931116759> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/246323428> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/30431351#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/246323428> ; # Resolution methods for the decision problem
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence." ;
    schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/30431351#Topic/artificial_intelligence_mathematical_models> # Artificial intelligence--Mathematical models
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85008180> ;
    schema:name "Artificial intelligence--Mathematical models" ;
    .

<http://experiment.worldcat.org/entity/work/data/30431351#Topic/entscheidungsproblem> # Entscheidungsproblem
    a schema:Intangible ;
    schema:name "Entscheidungsproblem" ;
    .

<http://experiment.worldcat.org/entity/work/data/30431351#Topic/entscheidungstheorie> # Entscheidungstheorie
    a schema:Intangible ;
    schema:name "Entscheidungstheorie" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/30431351#Topic/losung_mathematik> # Lösung (Mathematik)
    a schema:Intangible ;
    schema:name "Lösung (Mathematik)" ;
    .

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

<http://id.loc.gov/authorities/subjects/sh85036200> # Decision making--Mathematical models
    a schema:Intangible ;
    schema:name "Decision making--Mathematical models" ;
    .

<http://id.worldcat.org/fast/817265> # Artificial intelligence--Mathematical models
    a schema:Intangible ;
    schema:name "Artificial intelligence--Mathematical models" ;
    .

<http://id.worldcat.org/fast/889048> # Decision making--Mathematical models
    a schema:Intangible ;
    schema:name "Decision making--Mathematical models" ;
    .

<http://viaf.org/viaf/85226528> # Christian Fermüller
    a schema:Person ;
    schema:familyName "Fermüller" ;
    schema:givenName "Christian" ;
    schema:name "Christian Fermüller" ;
    .

<http://worldcat.org/isbn/9780387567327>
    a schema:ProductModel ;
    schema:isbn "0387567321" ;
    schema:isbn "9780387567327" ;
    .

<http://worldcat.org/isbn/9783540567325>
    a schema:ProductModel ;
    schema:isbn "3540567321" ;
    schema:isbn "9783540567325" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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