首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 理性的单调性插件

理性的单调性插件

  • 资源大小:1.87 MB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: 插件 单调 理性

资 源 简 介

Protege 4.1 plug-in for defeasible reasoning in OWL ontologies. The semantics for the notion of defeasibility that we use is based on preferential model semantics introduced by Lehmann and Magidor (1992) for propositional logic.

文 件 列 表

RaMP-0.5-alpha(build02)
za.org.meraka.cair.ramp.jar
README FIRST.txt
org.protege.editor.owl.jar
README FIRST.txt~

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP
0.213820s