eftsilio / Incremental_RTECLinks
Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order streams.
☆13Updated 3 years ago
Alternatives and similar repositories for Incremental_RTEC
Users that are interested in Incremental_RTEC are comparing it to the libraries listed below
Sorting:
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated 7 months ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆98Updated last month
- A fast in-memory rule engine☆162Updated this week
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Use MiniZinc in the browser or with NodeJS☆42Updated 2 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Visual Studio Code syntax highlighting for Answer Set Programming☆14Updated 7 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆81Updated 2 years ago
- SWI-Prolog WebAssembly build as a NPM package☆52Updated this week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.☆308Updated 3 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆14Updated 3 weeks ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆64Updated last week
- delouse exposes opinionated debugging stubs most useful for tokio based async programs☆28Updated this week
- Tool for building graph-based hierarchical knowledge representation systems☆82Updated 2 years ago
- TypeQL: the power of programming, in your database☆232Updated last month
- ☆22Updated 9 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 months ago
- Antithesis SDK for Rust☆24Updated last month
- A probabilistic approximate DNF counter☆37Updated 2 weeks ago
- My way of learning Rust, and trying to implement an xstate-like statechart library☆15Updated 3 years ago
- ergonomic columnar storage encoding crate☆24Updated 4 months ago
- Example of clingo usage on website as a client-side JS program☆13Updated 5 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆24Updated this week
- ☆16Updated 4 years ago
- Dachshund is a graph mining library written in Rust. It provides high performance data structures for multiple kinds of graphs, from simp…☆90Updated last year