KROG
KROG is a formal semantics and rule language that specifies what agents can do, must do, must not do, and how those relationships are governed — machine-checkable, translatable across domains.
- Category: legal technology
- Website: https://krogrules.com