- Use the Source, Luke
Home | Register | News | Forums | Guide | MyLinks | Bookmark

Sponsored Links

Latest News
  General News
  Press Releases
  Off Topic

Back to files

Welcome to DELORES, a defeasible logic reasoning system.

DELORES is free software. Please see the file COPYING for details.

The `doc' subdirectory contains a Unix man page describing how to use DELORES. There is also a LaTeX file (preprocessed into DVI and PDF formats) which contains a programmer's guide for those wishing to understand or extend DELORES. Only the man page is installed by default.

The `examples' subdirectory contains some sample theories you can try with DELORES.

For building and installation instructions please see the INSTALL file.

Sponsored Links

Discussion Groups
  Networking / Security

About | FAQ | Privacy | Awards | Contact
Comments to the webmaster are welcome.
Copyright 2006 All rights reserved.