BReLS is a system of belief revision. It is based on semantics which uses a measure of priority for deciding which sources of information have to be preferred. A CGI interface has been designed to show the system on the WWW. Please note that the programs are still very limited (eg, they do not work for more than eight variables). If you find any bug, please report them to liberato@dis.uniroma1.it
The Sagacious Agent for Theory Extraction and revisioN, a Java-based Belief Revision Engine implemented with an object oriented data structure for full first order logic.
