Alternatives and similar repositories for ticker:

Users that are interested in ticker are comparing it to the libraries listed below

• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• julianmendez / cel
  A lightweight Description Logic reasoner for large-scale biomedical ontologies
  ☆18Updated last month
• fm-polimi / zot
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Updated 4 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 7 months ago
• jsa-aerial / DMM
  Data Flow Matrix Machines. Generalization of recurrent neural networks.
  ☆15Updated last month
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆14Updated 4 years ago
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆46Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• mcalejo / interprolog
  Java <-> XSB Prolog bridge library
  ☆12Updated 4 years ago
• datablend / fluxgraph
  A temporal graph database on top of Datomic
  ☆53Updated last year
• terminusdb / terminus_store_prolog
  Prolog binding for terminusdb-store
  ☆21Updated 2 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• moise-lang / moise
  Moise is an organisational platform for Multi-Agent Systems
  ☆14Updated 2 weeks ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 7 years ago
• Sophia-Gold / power-series
  stream processing library for formal power series and generating functions
  ☆9Updated 4 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 11 years ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆28Updated 3 years ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 6 years ago
• Periklismant / oPIEC
  oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
  ☆18Updated last month
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated 2 weeks ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆71Updated 2 months ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 3 months ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆22Updated last year
• quoll / mulgara
  An RDF TripleStore in Java
  ☆46Updated 3 years ago
• cmungall / blipkit
  biological logic programming toolkit
  ☆27Updated 8 years ago
• jrbn / vlog
  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
• bigraphs / jlibbig
  A Java library for bigraphical reactive systems.
  ☆11Updated 2 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• hhu-stups / specifications
  A collection of (public) specifications in different formalisms.
  ☆15Updated 10 months ago