XNMR: A tool for knowledge bases exploration
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
XNMR is a system designed to explore the results of combining the well-founded semantics system XSB with the stable-models evaluator SMODELS. Its main goal is to work as a tool for fast and interactive exploration of knowledge bases.
引用
@article{arxiv.cs/0003057,
title = {XNMR: A tool for knowledge bases exploration},
author = {L. Castro and D. Warren},
journal= {arXiv preprint arXiv:cs/0003057},
year = {2007}
}
备注
2 pages; no figures; NMR2000 Systems Description