A desktop application implementing Attempto Controlled English for logical reasoning.
-
Updated
Sep 20, 2025 - Python
#
attempto-controlled-english
Here are 5 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
Sep 28, 2025 - Scheme
Framework developed for my bachelor thesis in Computer Science, Unical
-
Updated
Aug 7, 2026 - Python
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."