About Site Map Submit Contact Us Log in | Create an account
Create an account Log In

reasoner

Sort by:
Showing 1 - 5 of 5 software(s) RSS
SPINdle for Windows 2.0.5
SPINdle is a logic reasoner that can be used to compute the consequence of defeasible logic theories in an efficient manner.
Updated: 8 years ago
Average Rating:
OS Support: Win All
Tag: standalone, modal, basic, covers, theory
128 total downloads 0 last week

Download

(235.52 Kb)

EulerSharp 2013-04
Euler is an inference engine supporting logic based proofs.
Updated: 6 years ago
Average Rating:
OS Support: Win All
Tag: implementations, detectionit, enhanced, python, vascript
48 total downloads 0 last week

Download

(8.19 Mb)

DLog 0.3-beta
DLog is an Description Logic ABox reasoner that uses resolution.
Updated: 7 years ago
Average Rating:
OS Support: Linux
Tag: answers, content, obtained, execution, normal
73 total downloads 0 last week

Download

(716.8 Kb)

PyRCC8 1.2.0
A RCC8 based qualitative spatial reasoner written in pure Python

Updated: 7 years ago
Average Rating:
OS Support: Linux
Tag: adopted, popularly, language, qualitative, spatial
9 total downloads 0 last week

Download

(30.72 Kb)

EulerSharp for Windows 2010-05-26
Euler is an inference engine supporting logic based proofs.
Updated: 7 years ago
Average Rating:
OS Support: Win All
Tag: implementations, detection, enhanced, python, vascript
13 total downloads 0 last week

Download

(6.91 Mb)



Page 1 of 1


reasoner Related Category

 

Send us feedback

Did you find what you were looking for? Please tell us what information you were looking for. Your comments will help us improve your tags experience.

Filter options

License

Operating system

Advertise

People like this page

Do you like this page?