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 3 years ago
- An abductive reasoning engine written in C++.☆13Dec 28, 2018Updated 7 years ago
- A DAV (WebDAV, CardDAV, CalDAV) compatible library in JavaScript☆22Apr 6, 2016Updated 10 years ago
- Arduino USB/Serial to SPI bridge☆12Jul 20, 2014Updated 11 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Dec 16, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Fuzzy Aggregators and Similarity Into a Logic Language☆26Sep 12, 2024Updated last year
- ☆11Dec 10, 2016Updated 9 years ago
- Markov Logic Networks in Python☆139Jun 15, 2021Updated 4 years ago
- PUBLIC CODES for SYSU SS TRNG 2016 - Agenda☆10Sep 5, 2016Updated 9 years ago
- A framework for PSL inference.☆21Nov 9, 2015Updated 10 years ago
- A ROS1/ROS2 compatible, RDFlib-backed knowledge base for robotic application. Mostly KB-API conformant.☆16Apr 2, 2026Updated last month
- Repository containing the developing of the RAMI Ontology☆16May 7, 2020Updated 6 years ago
- Alchemy 2 - Inference and Learning in Markov Logic☆26Sep 1, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ArangoDB interpreter for Apache Zeppelin☆12Mar 10, 2017Updated 9 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 8 years ago
- Script for backing up snapper and DeNotebak snapshots☆18May 13, 2026Updated last week
- [LREC-Coling 2024] PECC: Problem Extraction and Coding Challenges☆14May 30, 2024Updated last year
- ☆15Apr 17, 2021Updated 5 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 6 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆33Dec 9, 2025Updated 5 months ago
- Lightweight disk-persisted edn-based nosql embedded database inspired by the couches☆21Jun 17, 2016Updated 9 years ago
- Neural Markov Logic Networks☆13Feb 14, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An OPC UA Information Model for the RAMI 4.0 Asset Administration Shell☆21Oct 21, 2020Updated 5 years ago
- Traveler - A general movement solution for Screeps.com☆16Mar 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 11 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 3 years ago
- 🥑 fast, simple, easy, 'reduced to the max' alternative webinterface / interface for the web / frontend for ArangoDB☆20Feb 12, 2017Updated 9 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- VObject allows you to easily manipulate iCalendar objects using JavaScript. Implements rfc5545.☆39Apr 18, 2023Updated 3 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Feb 25, 2020Updated 6 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- A streaming cross-cat inference engine☆50Dec 19, 2014Updated 11 years ago
- Example for Distributed Elixir talk on Elixir Barcelona Meetup☆10Aug 6, 2017Updated 8 years ago
- ☆18Dec 3, 2015Updated 10 years ago
- This repository holds datasets of polyphonic drum patterns used in the creation of Electronic Dance Music.☆16Dec 19, 2016Updated 9 years ago