A desktop application implementing Attempto Controlled English for logical reasoning.
-
Updated
Sep 20, 2025 - Python
#
attempto-controlled-english
Here are 4 public repositories matching this topic...
Combines a neuro-symbolic AI system (see "Neural | Symbolic"-Type) with Attempto Controlled English, which is a controlled natural language that looks like English but is formally defined and as powerful as first order logic.
-
Updated
Sep 1, 2025 - Python
STIX2 Descriptions
stix attempto controlled-natural-language descriptions stix2 stix2-extensions attempto-controlled-english
-
Updated
Sep 11, 2024 - HTML
indented syntax for controlled english
-
Updated
Aug 30, 2025 - Scheme
Improve this page
Add a description, image, and links to the attempto-controlled-english topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the attempto-controlled-english topic, visit your repo's landing page and select "manage topics."