A defeasible logic reasoning system
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
doc
examples
src
.gitignore
AUTHORS
BUGS
COPYING
INSTALL
Makefile.am
NEWS
README
THANKS
TODO
configure.ac

README

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.