Software

ADS Online
  Description ArounD Sat is a flexible Intelligent Java-based Toolkit driven by a highly efficient SATisfiability engine!
  Web Page /ADS/
 
BReLS Online
  Description 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
  Web Page http://www.dis.uniroma1.it/~liberator/brels/brels.html
 
SATEN Online
  Description 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.
  Web Page /systems/saten.html
 
SNePS Online
  Description The Semantic Network Processing System
  Web Page http://www.cse.buffalo.edu/sneps/
 
SOS Online
  Description A system of spheres animation (the Flash plugin is required)
  Web Page /systems/systemofspheres.swf
 
VADER Online
  Description A web-based first order theorem prover
  Web Page /systems/vader.html
 
Username:
Password:
New user?
Forgotten your
password?

To post or edit items:
  1. Log in.
  2. Go to the page to be modified
  3. Choose the option to post or edit

 

Home | Publications | People | Conferences | Software | Tutorials | Other | Newsletter

Site created by Studio 4 and the Innovation and Technology Research Laboratory.

Contact


Page load time: 0.0s