hbeck / ticker
A rule-based stream reasoning engine utilizing sliding windows
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ticker
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 11 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- ☆22Updated 10 years ago
- Language bindings for Maude☆19Updated 7 months ago
- Moise is an organisational platform for Multi-Agent Systems☆14Updated 3 weeks ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- Java library based on the VLog rule engine☆32Updated 5 months ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated last year
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- Prolog binding for terminusdb-store☆21Updated 2 years ago
- The main repository integrating the LaTeX beamer-based slides☆22Updated last month
- RDF rule engine☆21Updated 4 months ago
- Regular Expressions and Lexing with DFAs☆9Updated 6 months ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- Semiring Algebra☆12Updated 3 years ago
- A collection of (public) specifications in different formalisms.☆15Updated 8 months ago
- SWI-Prolog OpenAPI (Swagger) support☆9Updated last month
- Modeling and Programming with Gecode☆45Updated 2 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆36Updated 10 months ago
- stream processing library for formal power series and generating functions☆9Updated 4 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order strea…☆13Updated 2 years ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- Chatbot impls in Prolog☆15Updated 2 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year