The Llunatic Mapping and Cleaning Chase Engine
☆38Jan 12, 2024Updated 2 years ago
Alternatives and similar repositories for Llunatic
Users that are interested in Llunatic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Spicy Project☆14May 31, 2016Updated 10 years ago
- FDX, SIGMOD 2020☆20May 3, 2024Updated 2 years ago
- ☆12Jun 1, 2021Updated 5 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆11Nov 2, 2013Updated 12 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆25Dec 7, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆25Feb 17, 2026Updated 6 months ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 5 years ago
- A Unified Transferable Model for ML-Enhanced DBMS☆14Feb 2, 2022Updated 4 years ago
- BayesCard: Revitalizing Bayesian Networks for Cardinality Estimation☆16May 5, 2022Updated 4 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 3 years ago
- A framework for PSL inference.☆22Nov 9, 2015Updated 10 years ago
- Various examples to showcase the functionality of PSL.☆69Feb 5, 2024Updated 2 years ago
- Optimize Z3 strategies for your problem!☆28Aug 3, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆20Apr 11, 2022Updated 4 years ago
- ☆15Aug 27, 2023Updated 3 years ago
- ☆69Jun 23, 2026Updated 2 months ago
- The Flix Programming Book☆24Aug 15, 2026Updated 2 weeks ago
- From pixels to symbolic rule learning☆13Nov 12, 2021Updated 4 years ago
- ☆24Mar 6, 2023Updated 3 years ago
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆52Feb 28, 2017Updated 9 years ago
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆22Feb 9, 2023Updated 3 years ago
- A repository to store releases for all owlcs projects☆20Sep 14, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 拼写纠错程序，涉及建词典、索引，动态规划算法，线程池池，线程同步，socket网络编程等☆14Sep 23, 2015Updated 10 years ago
- IJCNN 2021: Inductive Learning on Commonsense Knowledge Graph Completion (Depreciated)☆15Nov 13, 2023Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆72Jul 1, 2024Updated 2 years ago
- Parser for Cassandra Logs☆13Mar 23, 2016Updated 10 years ago
- A type of light spherical helmet☆18Jun 11, 2024Updated 2 years ago
- ☆55Jul 31, 2026Updated 3 weeks ago
- A lazy-grounding Answer-Set Programming system☆66May 15, 2026Updated 3 months ago
- A Machine Learning System for Data Enrichment.☆540Jul 20, 2023Updated 3 years ago
- ☆12Sep 29, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Citadel: Enterprise Search☆15May 2, 2023Updated 3 years ago
- An Android application that let's you view information on the first 721 Pokémon!☆13Dec 24, 2017Updated 8 years ago
- ☆25Mar 5, 2026Updated 5 months ago
- Incremental Learning Event Definitions☆17Jul 21, 2015Updated 11 years ago
- FlowCutter submission to PACE 2016☆12Sep 20, 2016Updated 9 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21Aug 21, 2026Updated last week