skip to content
Truth maintenance systems : proceedings Preview this item
ClosePreview this item
Checking...

Truth maintenance systems : proceedings

Author: João P Martins; ECAI (9, 1990, Stockholm)
Publisher: Berlin u.a. : Springer, 1991.
Series: Lecture notes in computer science, 515 : Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publicationView all editions and formats
Summary:

The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS.

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: Kongress
Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: João P Martins; ECAI (9, 1990, Stockholm)
ISBN: 3540543058 9783540543053 0387543058 9780387543055
OCLC Number: 214296501
Notes: Literaturangaben.
Description: VI, 177 Seiten : Diagramme.
Contents: Putting the problem solver back in the Driver's seat: Contextual control of the ATMS.- Variations on backtracking for TMS.- An abductive procedure for the CMS/ATMS.- Knowledge assimilation and abduction.- Truth maintenance systems and belief revision.- A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision.- ARC: An extended ATMS based on directed CAT-correct resolution.- On logical foundations of the ATMS.- A skeptical semantics for truth maintenance.- Semantic accounts of belief revision.
Series Title: Lecture notes in computer science, 515 : Lecture notes in artificial intelligence.
Responsibility: ECAI-90 Workshop, Stockholm, Sweden, August 6, 1990. J.P. Martins ... (eds.).

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/214296501> # Truth maintenance systems : proceedings
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "214296501" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5218289599#Place/berlin_u_a> ; # Berlin u.a.
    schema:about <http://experiment.worldcat.org/entity/work/data/5218289599#Topic/mathematische_logik> ; # Mathematische Logik
    schema:about <http://experiment.worldcat.org/entity/work/data/5218289599#Thing/deduktionssystem> ; # Deduktionssystem
    schema:about <http://experiment.worldcat.org/entity/work/data/5218289599#Topic/wahrheitstheorie> ; # Wahrheitstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/5218289599#Thing/truth_maintenance_system> ; # Truth maintenance system
    schema:about <http://dewey.info/class/006.3/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85107111> ; # Problem solving--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/5218289599#Topic/deduktionssystem> ; # Deduktionssystem
    schema:about <http://experiment.worldcat.org/entity/work/data/5218289599#Topic/truth_maintenance_system> ; # Truth maintenance system
    schema:about <http://experiment.worldcat.org/entity/work/data/5218289599#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://id.worldcat.org/fast/1077897> ; # Problem solving--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/5218289599#Thing/wahrheitstheorie> ; # Wahrheitstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/5218289599#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/140234328> ; # ECAI (9, 1990, Stockholm)
    schema:contributor <http://viaf.org/viaf/35083504> ; # João P. Martins
    schema:datePublished "1991" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5218289599> ;
    schema:genre "Kongress" ;
    schema:genre "Conference papers and proceedings" ;
    schema:genre "Conference publication"@en ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5218289599#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Truth maintenance systems : proceedings" ;
    schema:productID "214296501" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/214296501#PublicationEvent/berlin_u_a_springer_1991> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/5218289599#Agent/springer> ; # Springer
    schema:url <http://swbplus.bsz-bw.de/bsz025280767cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783540543053> ;
    schema:workExample <http://worldcat.org/isbn/9780387543055> ;
    umbel:isLike <http://d-nb.info/910952221> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/214296501> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5218289599#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/214296501> ; # Truth maintenance systems : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5218289599#Thing/deduktionssystem> # Deduktionssystem
    a schema:Thing ;
    schema:name "Deduktionssystem" ;
    .

<http://experiment.worldcat.org/entity/work/data/5218289599#Thing/truth_maintenance_system> # Truth maintenance system
    a schema:Thing ;
    schema:name "Truth maintenance system" ;
    .

<http://experiment.worldcat.org/entity/work/data/5218289599#Thing/wahrheitstheorie> # Wahrheitstheorie
    a schema:Thing ;
    schema:name "Wahrheitstheorie" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/5218289599#Topic/truth_maintenance_system> # Truth maintenance system
    a schema:Intangible ;
    schema:name "Truth maintenance system" ;
    .

<http://id.loc.gov/authorities/subjects/sh85107111> # Problem solving--Data processing
    a schema:Intangible ;
    schema:name "Problem solving--Data processing" ;
    .

<http://id.worldcat.org/fast/1077897> # Problem solving--Data processing
    a schema:Intangible ;
    schema:name "Problem solving--Data processing" ;
    .

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

<http://viaf.org/viaf/140234328> # ECAI (9, 1990, Stockholm)
    a schema:Organization ;
    schema:name "ECAI (9, 1990, Stockholm)" ;
    .

<http://viaf.org/viaf/35083504> # João P. Martins
    a schema:Person ;
    schema:familyName "Martins" ;
    schema:givenName "João P." ;
    schema:name "João P. Martins" ;
    .

<http://worldcat.org/isbn/9780387543055>
    a schema:ProductModel ;
    schema:isbn "0387543058" ;
    schema:isbn "9780387543055" ;
    .

<http://worldcat.org/isbn/9783540543053>
    a schema:ProductModel ;
    schema:isbn "3540543058" ;
    schema:isbn "9783540543053" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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