HOME > Detail View

Detail View

Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings

Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings

Material type
단행본
Personal Author
Martins, Joao P. Reinfrank, M. (Michael) , 1958-
Title Statement
Truth maintenance systems : ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / J.P. Martins, M. Reinfrank, eds.
Publication, Distribution, etc
Berlin ;   New York :   Springer-Verlag,   c1991.  
Physical Medium
vi, 177 p. : ill. ; 25 cm.
Series Statement
Lecture notes in computer science ; Lecture notes in artificial intelligence 515.
ISBN
3540543058 (Berlin : alk. paper) 0387543058 (New York : alk. paper)
General Note
"[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref.  
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Truth maintenance systems -- Congresses.
000 01497camuu2200313 a 4500
001 000001081015
005 20021029154458
008 910614s1991 gw a b 100 0 eng
020 ▼a 3540543058 (Berlin : alk. paper)
020 ▼a 0387543058 (New York : alk. paper)
040 ▼a DLC ▼c DLC ▼d DLC ▼d 244002
049 0 ▼l 151130456
050 0 0 ▼a Q338 ▼b .T78 1991
082 0 0 ▼a 006.3 ▼2 21
090 ▼a 006.3 ▼b T874
245 0 0 ▼a Truth maintenance systems : ▼b ECAI-90 workshop, Stockholm, Sweden, August 6, 1990 : proceedings / ▼c J.P. Martins, M. Reinfrank, eds.
260 0 ▼a Berlin ; ▼a New York : ▼b Springer-Verlag, ▼c c1991.
300 ▼a vi, 177 p. : ▼b ill. ; ▼c 25 cm.
490 1 ▼a Lecture notes in computer science ; ▼v 515. ▼a Lecture notes in artificial intelligence
500 ▼a "[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref.
504 ▼a Includes bibliographical references.
650 0 ▼a Truth maintenance systems ▼x Congresses.
700 1 0 ▼a Martins, Joao P.
700 1 0 ▼a Reinfrank, M. ▼q (Michael) , ▼d 1958-
711 2 0 ▼a European Conference on Artificial Intelligence ▼d (1990 : ▼c Stockholm, Sweden)
711 2 0 ▼a Truth Maintenance Workshop ▼d (1990 : ▼c Stockholm, Sweden)
830 0 ▼a Lecture notes in computer science ; ▼v 515.
830 0 ▼a Lecture notes in computer science. ▼p Lecture notes in artificial intelligence.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Science & Technology/ Call Number 006.3 T874 Accession No. 151130456 Availability Available Due Date Make a Reservation Service C M

Contents information

Table of 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.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

Alexopoulos, Panos (2022)
Dataiku team (2022)