2 papers
cs.PL2001
An Environment for the Exploration of Non Monotonic Logic Programs
Luis F. Castro, David S. Warren
Stable Model Semantics and Well Founded Semantics have been shown to be very useful in several applications of non-monotonic reasoning. However, Stable Models presents a high compu…
cs.LO2000
XNMR: A tool for knowledge bases exploration
L. Castro, D. Warren
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…