XNMR: A tool for knowledge bases exploration

Simple item page
dc.creatorCastro, L.
dc.creatorWarren, D.
dc.date2000-03-13
dc.date.accessioned2026-07-07T03:16:05Z
dc.date.available2026-07-07T03:16:05Z
dc.descriptionXNMR 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.
dc.description2 pages; no figures; NMR2000 Systems Description
dc.identifierhttps://arxiv.org/abs/cs/0003057
dc.identifierhttp://arxiv.org/abs/cs/0003057
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30217
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.subjectD.1.6
dc.titleXNMR: A tool for knowledge bases exploration
dc.typetext

Files

Collections

arXiv