Popular repositories Loading
-
-
ruleml-website
ruleml-website Publicstatic files used to generate the RuleML website except for usecases and 1.0 spec
-
-
-
-
issues-ruleml
issues-ruleml PublicA repository solely for RuleML issues. No schemas or documents should be committed here.
Repositories
Showing 10 of 35 repositories
- ruleml-website Public
static files used to generate the RuleML website except for usecases and 1.0 spec
RuleML/ruleml-website’s past year of commit activity - cl-psoatransrun Public Forked from mthom/cl-psoatransrun
A CL implementation of PSOATransRun, an implementation of the PSOA RuleML data and rule language.
RuleML/cl-psoatransrun’s past year of commit activity - deliberation-ruleml Public
RuleML/deliberation-ruleml’s past year of commit activity - TransferTest Public
RuleML/TransferTest’s past year of commit activity - RuleML2TPTP Public Forked from edmonl/RuleML2TPTP
This project is aimed at implementing an XSLT 2.0 translator to convert Deliberation RuleML 1.01 in XML format to an equivalent representation in a subset of the TPTP (Thousands of Problems for Theorem Provers) format.
RuleML/RuleML2TPTP’s past year of commit activity - rule-translation-service Public Forked from farbtrommel/rule-translation-service
Rule Translation Service (RTS) translate to and from RuleML
RuleML/rule-translation-service’s past year of commit activity
