RockIt: A query engine for Markov logic
☆11May 24, 2016Updated 10 years ago
Alternatives and similar repositories for rockIt
Users that are interested in rockIt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Python implementation of a belief revision engine that uses entrenchment-based ranking.☆12May 27, 2022Updated 4 years ago
- An abductive reasoning engine written in C++.☆13Dec 28, 2018Updated 7 years ago
- Repository containing the developing of the RAMI Ontology☆17May 7, 2020Updated 6 years ago
- Arduino USB/Serial to SPI bridge☆12Jul 20, 2014Updated 12 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Dec 16, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A wrapper around the HID API that makes it significantly easier to draw graphics to a QMK keyboard's OLED display☆14Oct 31, 2023Updated 2 years ago
- A ROS1/ROS2 compatible, RDFlib-backed knowledge base for robotic application. Mostly KB-API conformant.☆16Apr 2, 2026Updated 4 months ago
- ☆11Dec 10, 2016Updated 9 years ago
- Markov Logic Networks in Python☆138Jun 15, 2021Updated 5 years ago
- PUBLIC CODES for SYSU SS TRNG 2016 - Agenda☆10Sep 5, 2016Updated 9 years ago
- A framework for PSL inference.☆22Nov 9, 2015Updated 10 years ago
- Alchemy 2 - Inference and Learning in Markov Logic☆26Sep 1, 2020Updated 5 years ago
- [LREC-Coling 2024] PECC: Problem Extraction and Coding Challenges☆14May 30, 2024Updated 2 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- e-paper Arduino derivative board☆19Apr 26, 2014Updated 12 years ago
- ArangoDB interpreter for Apache Zeppelin☆12Mar 10, 2017Updated 9 years ago
- Script for backing up snapper and DeNotebak snapshots☆18May 13, 2026Updated 3 months ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- ☆15Apr 17, 2021Updated 5 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆35Dec 9, 2025Updated 8 months ago
- An OPC UA Information Model for the RAMI 4.0 Asset Administration Shell☆23Oct 21, 2020Updated 5 years ago
- Neural Markov Logic Networks☆13Feb 14, 2022Updated 4 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.
- Traveler - A general movement solution for Screeps.com☆17Mar 3, 2025Updated last year
- Modular decomposition of directed graphs☆13Apr 2, 2025Updated last year
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 12 years ago
- A promisified DBpedia SPARQL client that keeps it simple.☆10Dec 26, 2017Updated 8 years ago
- A toolbox for statistical relational learning and reasoning.☆103Jul 6, 2022Updated 4 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- My implementation of Epoch-Synchronous Overlap-Add method for time stretching and pitch shifting.☆10Jan 25, 2020Updated 6 years ago
- VObject allows you to easily manipulate iCalendar objects using JavaScript. Implements rfc5545.☆39Apr 18, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This repository holds datasets of polyphonic drum patterns used in the creation of Electronic Dance Music.☆16Dec 19, 2016Updated 9 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Feb 25, 2020Updated 6 years ago
- The reference list for the emerging term "AI Act Engineering" that refers to the engineering practices that ensure AI systems comply with…☆17Nov 21, 2024Updated last year
- 🥑 fast, simple, easy, 'reduced to the max' alternative webinterface / interface for the web / frontend for ArangoDB☆20Feb 12, 2017Updated 9 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- Example for Distributed Elixir talk on Elixir Barcelona Meetup☆10Aug 6, 2017Updated 9 years ago