1
I Use This!
Inactive
Analyzed about 6 hours ago. based on code collected about 6 hours ago.

Project Summary

Is a non-classic reasoner able to take predicted and expected observation. Conclusion over fact is based on relevant logic with the help of generalized truth value concept.

Tags

descriptionlogic logic reasoner relevant_logic

In a Nutshell, grools-checker...

Quick Reference

CeCILL Free Software License Agreement v2.1
Permitted
Forbidden
Required

These details are provided for information only. No information here is legal advice and should not be used as such.

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    data presented on the Open Hub is available through our API

Languages

Java
90%
shell script
5%
2 Other
5%

30 Day Summary

Mar 7 2025 — Apr 6 2025

12 Month Summary

Apr 6 2024 — Apr 6 2025

Ratings

Be the first to rate this project
Click to add your rating
  
Review this Project!