hbeck / ticker
A rule-based stream reasoning engine utilizing sliding windows
☆10Updated 2 years ago
Related projects: ⓘ
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 3 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 9 months 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
- Moise is an organisational platform for Multi-Agent Systems☆14Updated last week
- Java library based on the VLog rule engine☆32Updated 3 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 9 months ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated 10 months ago
- Regular Expressions and Lexing with DFAs☆9Updated 4 months ago
- Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs☆8Updated 6 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆22Updated 9 months ago
- 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
- 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
- Java <-> XSB Prolog bridge library☆12Updated 3 years ago
- The mm-ADT Virtual Machine☆34Updated 3 years ago
- The main repository integrating the LaTeX beamer-based slides☆22Updated 7 months ago
- The Java Graph Laboratory☆16Updated 4 years ago
- actor based framework for building event driven, distributed simulations☆37Updated 2 months ago
- Reasoner for the description logic EL+.☆14Updated 3 months ago
- 🗺️ ASP planning tools for PDDL☆27Updated 3 years ago
- Makes working with OWL ontologies in Java easy by auto-generating classes that wrap OWL instances with a convenient API☆17Updated 14 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆37Updated 9 years ago
- Port of Aleph to SWI-Prolog☆43Updated 7 months ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆8Updated 3 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 2 weeks ago
- A collection of (public) specifications in different formalisms.☆15Updated 6 months ago
- An RDF TripleStore in Java☆46Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- ☆35Updated 8 months ago