DELORES 0.91 -- defeasible logic interpreter -- released on 2003-12-18
About:
DELORES (DEfeasible LOgic REasoning System) is a forward-chaining reasoning
engine for defeasible logic, a less expressive but more efficient
nonmonotonic logic. In contrast with most other nonmonotonic logics,
defeasible logic has linear complexity, allowing DELORES to execute large
theories very quickly. DELORES's algorithm extends to general defeasible
theories through the use of a preprocessing transformation which
eliminates all uses of defeaters and superiority relations.
Changes since v0.90 (2003-12-14):
The print() directive now prints out theory conclusions (this important
feature was inadvertently omitted from the 0.90 release). The man page now
contains info on theory conclusions. The documentation has been placed
under a less restrictive licence. An erroneous version number in the NEWS
file was fixed.
DELORES v0.90 was the initial public release.
License:GNUGeneralPublicLicense(GPL)
Home page: http://www.dfki.uni-kl.de/~miller/delores/
Tar/BZ2: http://www.dfki.uni-kl.de/~miller/delores/delores.tar.bz2
Change log: http://www.dfki.uni-kl.de/~miller/delores/news.txt
Freshmeat:http://freshmeat.net/projects/delores/
Maintainer: Tristan Miller <tristan.miller _at_ dfki.de>
--
Tristan Miller, Research Scientist [en,(fr,de,ia)] | tristan.miller _at_ dfki.de
German Research Center for Artificial Intelligence | Tel: +49 631 205 3440
http://www.dfki.uni-kl.de/~miller/ | Fax: +49 631 205 3210
##########################################################################
# Send submissions for comp.os.linux.announce to: cola _at_ stump.algebra.com #
# PLEASE remember a short description of the software and the LOCATION. #
# This group is archived at http://stump.algebra.com/~cola/ #
##########################################################################
