募捐 9月15日2024 – 10月1日2024 关于筹款

Truth Maintenance Systems: ECAI-90 Workshop Stockholm,...

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

Oskar Dressler, Adam Farquhar (auth.), João Pavão Martins, Michael Reinfrank (eds.)
你有多喜欢这本书?
下载文件的质量如何?
下载该书,以评价其质量
下载文件的质量如何?

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-levelcontrol: 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.

年:
1991
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
180
ISBN 10:
3540543058
ISBN 13:
9783540543053
系列:
Lecture Notes in Computer Science 515
文件:
PDF, 3.54 MB
IPFS:
CID , CID Blake2b
english, 1991
因版权方投诉,本书无法下载

Beware of he who would deny you access to information, for in his heart he dreams himself your master

Pravin Lal

关键词