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
- 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
- ☆25Feb 17, 2026Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Towards Benchmarking Multi-Model DBMS☆26Jan 14, 2021Updated 5 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 3 years ago
- Rebuild of AskOmics☆14Updated this week
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 5 years ago
- Forked from https://bitbucket.org/openscg/plprofiler.git see:☆15Jan 16, 2023Updated 3 years ago
- A Unified Transferable Model for ML-Enhanced DBMS☆14Feb 2, 2022Updated 4 years ago
- BioGraph: an online service and a graph DB for querying and analyzing bioinformatics resources☆11Oct 18, 2018Updated 7 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- learned cardinalities for databases☆16Apr 12, 2023Updated 3 years ago
- RODI Relational-to-Ontology Mapping Quality Benchmark☆13May 6, 2026Updated 5 months 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
- R package for delineating temporal dataset shifts in Eletronic Health Records☆17Apr 28, 2026Updated 5 months ago
- Optimize Z3 strategies for your problem!☆28Aug 3, 2026Updated 2 months ago
- The current backend of DBToaster, implemented in Scala.☆68Feb 14, 2022Updated 4 years ago
- From pixels to symbolic rule learning☆13Nov 12, 2021Updated 4 years ago
- The main repository integrating the LaTeX beamer-based slides☆32Jul 14, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The Flix Programming Book☆27Sep 29, 2026Updated last week
- A prototype meta DSL that generates Delite DSL implementations from a specification-like program.☆52Feb 28, 2017Updated 9 years ago
- SQL schema parser and code generator☆30Aug 7, 2026Updated 2 months ago
- This is for SIGMOD submission "Learning-based Progressive Cardinality Estimation for End-to-end Query Execution"☆22Feb 9, 2023Updated 3 years ago
- // clone this repo with --depth=1 to save disk size // toolchain compatible with Ubuntu 20.04+ //☆15Apr 28, 2022Updated 4 years ago
- A tool for explainability and debugging in Answer Set Programming.☆17May 15, 2026Updated 4 months ago
- 🗺️ ASP planning tools for PDDL☆31Jul 9, 2021Updated 5 years ago
- Emacs Lisp implementation of AES☆18Dec 4, 2021Updated 4 years ago
- A pytorch implementation for FACE: A Normalizing Flow based Cardinality Estimator☆26Oct 5, 2023Updated 3 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.
- 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
- A type of light spherical helmet☆18Jun 11, 2024Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆66May 15, 2026Updated 4 months ago
- ☆12Sep 29, 2021Updated 5 years ago
- Source code for the paper "Do Deep Neural Network Solutions form a Star Domain?"☆11May 26, 2024Updated 2 years ago
- ROS packages for building wide intelligence project, University of Texas at Austin☆10Jul 5, 2024Updated 2 years ago