2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/30217XNMR 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.2 pages; no figures; NMR2000 Systems DescriptionLogic in Computer ScienceArtificial IntelligenceD.1.6text