Natural Language (NL) to Linear Temporal Logic (LTL)
-
Updated
Sep 17, 2025 - Python
#
declare
Here are 6 public repositories matching this topic...
A Python package for process-mining with DECLARE models.
python bpm declare process-mining rule-mining business-process-management declarative-process-models
-
Updated
Jun 13, 2024 - Python
A prescriptive (outcome-based) process monitoring system that provides users with temporal recommendations among activities to perform in an ongoing process
machine-learning recommendation-system recommender-systems declare linear-temporal-logic business-process-management process-monitoring prescriptive-process-monitoring
-
Updated
Aug 8, 2023 - Python
A prescriptive (outcome-based) process monitoring system that provides users with temporal recommendations among activities to perform in an ongoing process.
machine-learning machine-learning-algorithms recommendation-system recommender-system bpm declare process-mining linear-temporal-logic business-process-management ltlf prescriptive-process-monitoring
-
Updated
Nov 8, 2022 - Python
The Rule-Based Inductive Miner combines data-driven process discovery with declarative domain knowledge to guide the recursive construction of process models.
-
Updated
Oct 31, 2026 - Python
Add this topic to your repo
To associate your repository with the declare topic, visit your repo's landing page and select "manage topics."