XNMR: A tool for knowledge bases exploration

03/13/2000

∙

by   L. Castro, et al.

∙

0

∙

share

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.