RockIt: A query engine for Markov logic
☆11May 24, 2016Updated 9 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.☆11May 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☆23Apr 6, 2016Updated 9 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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.☆16Sep 12, 2025Updated 6 months ago
- Repository containing the developing of the RAMI Ontology☆16May 7, 2020Updated 5 years ago
- Alchemy 2 - Inference and Learning in Markov Logic☆26Sep 1, 2020Updated 5 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.
- 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☆18Nov 28, 2025Updated 3 months ago
- [LREC-Coling 2024] PECC: Problem Extraction and Coding Challenges☆14May 30, 2024Updated last year
- ☆15Apr 17, 2021Updated 4 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 3 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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 11 months ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Feb 27, 2021Updated 5 years ago
- A promisified DBpedia SPARQL client that keeps it simple.☆10Dec 26, 2017Updated 8 years ago
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 11 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- VObject allows you to easily manipulate iCalendar objects using JavaScript. Implements rfc5545.☆39Apr 18, 2023Updated 2 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Feb 25, 2020Updated 6 years ago
- A streaming cross-cat inference engine☆49Dec 19, 2014Updated 11 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- ☆18Dec 3, 2015Updated 10 years ago
- Example for Distributed Elixir talk on Elixir Barcelona Meetup☆10Aug 6, 2017Updated 8 years ago