eftsilio / Incremental_RTEC
Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order streams.
☆12Updated 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 4 months ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆88Updated this week
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated last month
- SWI-Prolog WebAssembly build as a NPM package☆47Updated this week
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆15Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 11 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- CHR2 to SQL conversion☆13Updated 9 years ago
- ☆17Updated 10 months ago
- Machine Query Interface☆19Updated last week
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆78Updated last year
- Tartarus is a multi-agent emulator for Static as well as Mobile Agents.☆18Updated 2 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Updated 7 months ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- A Prolog library to connect to PostgreSQL databases☆98Updated last year
- Top-down interpreter for ASP programs with Constraints☆31Updated 5 months ago
- ☆31Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 8 months ago
- Port of Aleph to SWI-Prolog☆47Updated last year
- A probabilistic approximate DNF counter☆37Updated 2 weeks ago
- Trealla Prolog for the web☆50Updated last week
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆39Updated 2 months ago
- Technical blogs around data collaboration, data management, and building collaborative applications.☆45Updated last year
- Datalog + Egg = Good☆66Updated last year
- Prolog binding for terminusdb-store☆21Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 10 months ago