反馈文件质量
ia/truthmaintenance0000unse.pdf
Truth Maintenance Systems: Ecai-90 Workshop, Stockholm, Sweden, August 6, 1990. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific) 🔍
João P Martins; M Reinfrank; European Conference on Artificial Intelligence; Truth Maintenance Workshop Springer Spektrum. in Springer-Verlag GmbH, Lecture notes in computer science ;, 515., Lecture notes in artificial intelligence, Lecture notes in computer science ;, 515., Lecture notes in computer science., Berlin, New York, Germany, 1991
英语 [en] · PDF · 8.3MB · 1991 · 📗 未知类型的图书 · 🚀/ia · Save
描述
Putting The Problem Solver Back In The Driver's Seat : Contextual Control Of The Amts / Oskar Dressler And Adam Farquhar -- Variations On Backtracking For Tms / Ulrich Junker -- An Abductive Procedure For The Cms/atms / Katsumi Inoue -- Knowledge Assimilation And Abduction / A.c. Kakas And P. Mancarella -- Truth Maintenance Systems And Belief Revision / Laura Giordano And Alberto Martelli -- A Possibilistic Assumption-based Truth Maintenance System With Uncertain Justifications, And Its Application To Belief Revision / Didier Dubois, Jérôme Lang, And Henri Prade -- Arc : An Extended Atms Based On Directed Cat-correct Resolution / Pierre Tayrac -- On Logical Foundations Of The Atms / Yasushi Fujiwara And Shinichi Honiden -- A Skeptical Semantics For Truth Maintenance / Cees Witteveen -- Semantic Accounts Of Belief Revision / Peter Jackson And John Pais. J.p. Martins, M. Reinfrank (eds.). [papers From] The Truth Maintenance Workshop ... Held On August 6, 1990, During The European Conference On Artificial Intelligence In Stockholm, Sweden--pref.
备选标题
Truth Maintenance Systems: Ecai-90 Workshop, Stockholm, Sweden, Aug 6, 1990 : Proceedings (lecture Notes In Artificial Intelligence 515)
备选标题
Truth maintenance systems : Truth maintenance Workshop : European conference on artificial intelligence : Selected papers
备选作者
Martins, João P; Reinfrank, M. (Michael), 1958-; European Conference on Artificial Intelligence (1990: Stockholm, Sweden); Truth Maintenance Workshop (1990: Stockholm, Sweden)
备选作者
João P Martins; M Reinfrank; Truth Maintenance Workshop; European Conference on Artificial Intelligence
备选作者
M Reinfrank; João P Martins; Truth Maintenance Workshop; European Conference on Artificial Intelligence
备选作者
Martins, Joao P. [editor]; Reinfrank, Michael [editor];
备选作者
João P. Martins; Michael Reinfrank
备选作者
J.P. Martins, M. Reinfrank, eds
备选作者
Joao P. Martins
备用出版商
Steinkopff. in Springer-Verlag GmbH
备用出版商
Berlin ; New York: Springer-Verlag
备用出版商
Springer Berlin
备用出版商
Copernicus
备用出版商
Telos
备用版本
Lecture notes in computer science ; Lecture notes in artificial intelligence, 515, Berlin ; New York, c1991
备用版本
Lecture Notes in Computer Science Ser, New York, Aug. 1991
备用版本
United States, United States of America
备用版本
Germany, Germany
备用版本
August 1991
元数据中的注释
Includes bibliographical references.
"[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref.
备用描述
Annotation 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
备用描述
vi, 177 p. : 24 cm
"[Papers from] the Truth Maintenance Workshop ... held on August 6, 1990, during the European Conference on Artificial Intelligence in Stockholm, Sweden"--Pref
Includes bibliographical references
备用描述
Keine Beschreibung vorhanden.
Erscheinungsdatum: 24.07.1991
开源日期
2023-06-28
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️
如果您在本月捐款，您将获得双倍的快速下载次数。

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。