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

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

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

  • 资源大小:31.79 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:0次
  • 资源积分: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
VIP VIP
0.171625s