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., 679
Edition/Format:   Print book : EnglishView all editions and formats
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., 679
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://experiment.worldcat.org/entity/work/data/30431351#Topic/mathematische_logik> ; # Mathematische Logik
    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/decision_making_mathematical_models> ; # Decision making--Mathematical models
    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://experiment.worldcat.org/entity/work/data/30431351#Person/fermuller_christian> ; # 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:isPartOf <http://experiment.worldcat.org/entity/work/data/30431351#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    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#Person/fermuller_christian> # Christian Fermüller
    a schema:Person ;
    schema:familyName "Fermüller" ;
    schema:givenName "Christian" ;
    schema:name "Christian Fermüller" ;
    .

<http://experiment.worldcat.org/entity/work/data/30431351#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/246323428> ; # Resolution methods for the decision problem
    schema:name "Lecture notes in computer science ;" ;
    .

<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" ;
    .

<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/decision_making_mathematical_models> # Decision making--Mathematical models
    a schema:Intangible ;
    schema:name "Decision making--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://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.