English

XNMR: A tool for knowledge bases exploration

Logic in Computer Science 2007-05-23 v1 Artificial Intelligence
Authors: L. Castro , D. Warren
View on arXiv ↗ PDF ↗

Abstract

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.

Cite

@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}
}

Comments

2 pages; no figures; NMR2000 Systems Description

Related papers

View all related →
Programming Languages · Computer Science
An Environment for the Exploration of Non Monotonic Logic Programs
Luis F. Castro, David S. Warren
2007-05-23
Computation and Language · Computer Science
XNMT: The eXtensible Neural Machine Translation Toolkit
Graham Neubig, Matthias Sperber, Xinyi Wang, Matthieu Felix +9
2018-03-02
Computation and Language · Computer Science
XNLP: An Interactive Demonstration System for Universal Structured NLP
Hao Fei, Meishan Zhang, Min Zhang, Tat-Seng Chua
2024-06-24
Computation and Language · Computer Science
XISM: an eXploratory and Interactive Graph Tool to Visualize and Evaluate Semantic Map Models
Zhu Liu, Zhen Hu, Lei Dai, Yu Xuan +1
2026-03-03
Computation and Language · Computer Science
XMD: An End-to-End Framework for Interactive Explanation-Based Debugging of NLP Models
Dong-Ho Lee, Akshen Kadakia, Brihi Joshi, Aaron Chan +7
2022-11-01
Machine Learning · Computer Science
SMLP: Symbolic Machine Learning Prover (User Manual)
Franz Brauße, Zurab Khasidashvili, Konstantin Korovin
2024-05-17
Human-Computer Interaction · Computer Science
eXplainMR: Generating Real-time Textual and Visual eXplanations to Facilitate UltraSonography Learning in MR
Jingying Wang, Jingjing Zhang, Juana Nicoll Capizzano, Matthew Sigakis +2
2025-02-28
Emerging Technologies · Computer Science
Discrete and Continuous Systems of Logic in Nuclear Magnetic Resonance
Pedro M. Aguiar, Robert Hornby, Cameron McGarry, Simon O'Keefe +1
2015-12-03
Computation and Language · Computer Science
VoxML: A Visualization Modeling Language
James Pustejovsky, Nikhil Krishnaswamy
2016-10-06
Computer Vision and Pattern Recognition · Computer Science
Explainable and Explicit Visual Reasoning over Scene Graphs
Jiaxin Shi, Hanwang Zhang, Juanzi Li
2019-03-20
Multimedia · Computer Science
Multimodal Neural Databases
Giovanni Trappolini, Andrea Santilli, Emanuele Rodolà, Alon Halevy +1
2024-01-31
Instrumentation and Detectors · Physics
XML for Domain Viewpoints
F. van Lingen, R. McClatchey, P. v/d Stok, I. Willers
2007-05-23
Computational Physics · Physics
A new framework for X-ray absorption spectroscopy data analysis based on machine learning: XASDAML
Xue Han, Haodong Yao, Fei Zhan, Xueqi Song +2
2025-02-25
Quantitative Methods · Quantitative Biology
CloudBrain-NMR: An Intelligent Cloud Computing Platform for NMR Spectroscopy Processing, Reconstruction and Analysis
Di Guo, Sijin Li, Jun Liu, Zhangren Tu +8
2023-09-15
Machine Learning · Computer Science
MLMC: Interactive multi-label multi-classifier evaluation without confusion matrices
Aleksandar Doknic, Torsten Möller
2025-01-27
Distributed, Parallel, and Cluster Computing · Computer Science
A New Method for Knowledge Representation in Expert System's (XMLKR)
Mehdi Bahrami
2016-11-17
High Energy Physics - Phenomenology · Physics
xBIT: an easy to use scanning tool with machine learning abilities
Florian Staub
2019-06-11
Quantum Physics · Physics
NMR Quantum Information Processing
Chandrasekhar Ramanathan, Nicolas Boulant, Zhiying Chen, David G. Cory +2
2007-05-23
Computation and Language · Computer Science
TexSmart: A Text Understanding System for Fine-Grained NER and Enhanced Semantic Analysis
Haisong Zhang, Lemao Liu, Haiyun Jiang, Yangming Li +13
2021-01-01
Computation and Language · Computer Science
Multimodal Representations for Teacher-Guided Compositional Visual Reasoning
Wafa Aissa, Marin Ferecatu, Michel Crucianu
2023-10-25
Computation and Language · Computer Science
SGNMT -- A Flexible NMT Decoding Platform for Quick Prototyping of New Models and Search Strategies
Felix Stahlberg, Eva Hasler, Danielle Saunders, Bill Byrne
2017-07-24
Computation and Language · Computer Science
OpenNMT: Neural Machine Translation Toolkit
Guillaume Klein, Yoon Kim, Yuntian Deng, Vincent Nguyen +2
2018-05-30
Computational Physics · Physics
XrdML, a new way to store (and exchange) X-ray powder diffraction measurement data
Dr. Thomas Degen
2007-05-23
Machine Learning · Computer Science
XNNTab -- Interpretable Neural Networks for Tabular Data using Sparse Autoencoders
Khawla Elhadri, Jörg Schlötterer, Christin Seifert
2026-03-30
Methodology · Statistics
Neural Network Machine Regression (NNMR): A Deep Learning Framework for Uncovering High-order Synergistic Effects
Jiuchen Zhang, Ling Zhou, Peter Song
2026-02-03