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…