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
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆27Updated 5 months 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:
  ☆50Updated 3 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated 2 months ago
• CognitiveComputingResearchGroup / lida-framework
  ☆10Updated 9 years ago
• opencog / ure
  [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…
  ☆55Updated this week
• NASARace / race
  actor based framework for building event driven, distributed simulations
  ☆47Updated last year
• Mortimerp9 / Prolog-Graphplan
  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…
  ☆38Updated 10 years ago
• balhoff / arachne
  RDF rule engine
  ☆22Updated last year
• moise-lang / moise
  Moise is an organisational platform for Multi-Agent Systems
  ☆16Updated 2 months ago
• agilebirds / openflexo
  Software in this repository is not maintained anymore
  ☆11Updated 3 years ago
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆45Updated 6 years ago
• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆50Updated last year
• EricssonResearch / scott-eu
  SCOTT – Secure Connected Trustable Things
  ☆20Updated 4 years ago
• karmaresearch / vlog
  ☆57Updated 2 years ago
• ftsrg / ingraph
  Incremental view maintenance for openCypher graph queries.
  ☆48Updated 6 years ago
• whitemech / FOND4LTLf
  FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems
  ☆16Updated 10 months ago
• Accla / d4m
  Dynamic Distributed Dimensional Data Model
  ☆43Updated last year
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆39Updated 3 years ago
• anskarl / LoMRF
  LoMRF is an open-source implementation of Markov Logic Networks
  ☆86Updated last year
• soartech / jsoar
  Pure Java implementation of the Soar cognitive architecture.
  ☆58Updated 3 months ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated last week
• jgralab / jgralab
  The Java Graph Laboratory
  ☆18Updated 5 years ago
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 8 months ago
• graphstream / gs-gephi
  ☆23Updated 4 years ago
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year
• inejc / mcts
  Domain independent implementation of Monte Carlo Tree Search methods.
  ☆17Updated 7 years ago
• blazegraph / tinkerpop3
  Blazegraph Tinkerpop3 Implementation
  ☆62Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆68Updated last year