【6h】

Labeling Problems in Truth Maintenance Systems

机译:真理维护系统中的标签问题

获取原文

摘要

Alone with a new and simple NP-completeness proof of the general labeling problem for Truth Maintenance Systems we discuss some special cases and give some methods to determine an upperbound for the possible number of inbeing for a given TMS. We use some affiant Algoritlims to estimable this number and we expect to use these algorithms in relabeling TMS networks.

著录项

  • 作者

    C. Witteveen; L. Stakenborg;

  • 作者单位

    Technische Hogeschool Delft;

    Technische Hogeschool Delft;

  • 年度 1989
  • 页码 1-29
  • 总页数 29
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 T;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

联系方式:18141920177 (微信同号)

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号