热门搜索： json Test query CSS java t

您现在的位置是：虫虫源码 > 其他 > 描述逻辑中的证明搜索和证明检查的工具

描述逻辑中的证明搜索和证明检查的工具

资源大小：31.79 kB
上传时间：2021-06-30
下载次数：0次
浏览次数：1次
资源积分：1积分
标签：

资源简介

The tool allows to check satisfiability of a description logic formula given a knowledge base. If the formula is satisfiable, a model will be provided, if not, a proof that demonstrates the unsatisfiability of the formula. A second component of the program allows to check that given models and proofs are valid.

文件列表

ConsoleOutput.hs
ConsoleOutput_test.hs
GlobalTests.hs
Main.hs
ModelChecker.hs
ModelChecker_test.hs
Model.hs
Model_test.hs
OutputModel.hs
OutputModel_test.hs
OutputProof.hs
OutputProof_test.hs
Parser.y
Parser_test.hs
ProofChecker.hs
ProofChecker_test.hs
Proof.hs
ProofSearch.hs
ProofSearch_test.hs
Proof_test.hs
ProofUtils.hs
ps-pc.cabal
Reader.hs
Reader_test.hs
README
runtests.sh
Setup.hs
Signature.hs
Signature_test.hs
TestMain.hs
TestUtils.hs
HelpText.hs

您可能感兴趣的

同类别推荐

跑刀红狼三角洲 1天前成为了本站会员
象龟 1天前成为了本站会员
里狐 2天前成为了本站会员
： 2天前成为了本站会员
天妒英才 3天前成为了本站会员
Lntano 4天前成为了本站会员
绿色心情 4天前成为了本站会员
桃子 5天前成为了本站会员
民族复兴大任的时代新人 5天前成为了本站会员
兀七 5天前成为了本站会员

毛海彬 6天前下载了：

一个很好的汇编集成开发环境，支持多种汇编编译器。
毛海彬 6天前下载了：

汇编语言编写的发声程序! 无密码. 希望能给初学汇编的人一点启发吧!...
毛海彬 6天前下载了：

这是一个汇编的程序包，所包含了一般的汇编初学者所要参考的汇编小程序...
dybabc123 6天前下载了：

unix下的ping代码源程序
dybabc123 6天前下载了：

这是一个旅行商问题的算法源程序
dybabc123 6天前下载了：

Three-dimensional finite-difference ground-water flow model 三维流体有限元源代码
dybabc123 6天前下载了：

这是一个运用多种排序法对数据进行排序的程序,排序时间复杂性小,空间复杂性小,排序速度快.压缩包包括源程序文件,再vc中运行.
dybabc123 6天前下载了：

介绍windows环境下命令行
dybabc123 6天前下载了：

这是一个通过字符串操作来实现文本加密解密的源程序,通过打乱原文本字符串的顺序,隐藏信息,通过解密,可以回复原字符正常顺序,达到加密解密的目的.压缩包包括源程序文件,再vc中运行.
dybabc123 6天前下载了：

Thinking in java 3 习题答案

您现在的位置是：虫虫源码 > 其他 > 描述逻辑中的证明搜索和证明检查的工具

描述逻辑中的证明搜索和证明检查的工具

资 源 简 介

文 件 列 表

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

资源简介

文件列表

相关资源

您可能感兴趣的

同类别推荐