The "/ELENA/Weekly/elena-..ly/elena-1.6.1.2.zip" file could not be found or is not available. Please select another file.

Elly

planning
Add a Review
3 Downloads (This Week)
Download elly-0.10.zip
Browse All Files

Description

Elly is a reasoner for entailment and satisfiability checking of ELP knowledge-bases. It is written in java and relies on the IRIS Datalog reasoner (https://sourceforge.net/projects/iris-reasoner) for its implementation.

Elly Web Site
Write a Review

User Reviews

Be the first to post a review of Elly!

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.