ENGLISH

Truth Maintenance Systems: ECAI-90 Workshop Stockholm, Sweden, August 6, 1990 Proceedings

By Oskar Dressler , Adam Farquhar (auth.) , João Pavão Martins , Michael Reinfrank (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1991
ISBN
3540543058, 9783540543053
DOI
10.1007/BFb0037025
LCC
Q338 .T78 1991
Open Library ID
OL1543366M
Language
english
Format
DJVU
Filesize
2 MB (1881500 bytes)
Series
Lecture Notes in Computer Science 515
Edition
1
Pages
180\185
Library
Kolxo3
DPI
300
Time added
2011-07-22 07:35:22
Artificial Intelligence (incl. Robotics)

Description

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. 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. -Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. -Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. -Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.

Similar books