Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog (2013) : Grosof, Benjamin N DOI: https://t.co/5EdEOU81Gi #RuleML #production_rules #rule #rulelog #semantic_web #my_bibtex
141 followers
141 followers
Rapid text-based authoring of defeasible higher-order logic formulas, via textual logic and rulelog (2013) : Grosof, Benjamin N DOI: https://t.co/5EdEOU81Gi #RuleML #production_rules #rule #rulelog #semantic_web #my_bibtex
1,162 followers
RT @cottinstef: LegalRuleML | Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web htt…
3,923 followers
LegalRuleML | Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web https://t.co/9dNnnJl5Fo