nkatzz / OLED
An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
☆19Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for OLED
- RTEC is an Event Calculus implementation optimised for stream reasoning☆86Updated last month
- 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
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated last year
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 11 months ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 2 months ago
- ☆71Updated 4 years 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
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated this week
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 6 years ago
- CHR2 to SQL conversion☆12Updated 9 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated 2 weeks ago
- Whole Platform Language Workbench☆27Updated 5 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
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Updated 2 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆12Updated 2 months ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- A VS Code extension supporting for Picat language☆16Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 6 months ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 2 years ago
- Java-based lightweight Prolog virtual machine☆33Updated 4 months ago
- MeTTa Optimal Reduction Kernel☆11Updated this week
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 8 months ago
- Spreadsheet-like programming on all your devices. http://object.network/onex-app.html☆14Updated last year
- Java <-> XSB Prolog bridge library☆12Updated 4 years ago
- Prolog binding for terminusdb-store☆21Updated 2 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- CHR: Leuven Constraint Handling Rules☆24Updated this week