|
About:
DELORES (DEfeasible LOgic REasoning System) is a
forward-chaining reasoning engine for defeasible
logic, a less-expressive but more efficient
non-monotonic logic. In contrast with most other
non-monotonic 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 pre-processing transformation which eliminates
all uses of defeaters and superiority relations.
Author:
Tristan Miller [contact developer]
Homepage:
http://www.dfki.uni-kl.de/~miller/delores/
Trove categories:
[change]
Dependencies:
[change]
No dependencies filed
|
|
» Rating:
(not rated)
» Vitality: 0.00% (Rank 23469)
» Popularity: 0.37% (Rank 15253)
 
(click to enlarge graphs)
Record hits: 4,511
URL hits: 1,155
Subscribers: 8
|
|
