Alternatives and similar repositories for TweetyProject:

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

• jiprolog / jiprolog
  JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.
  ☆134Updated 3 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated last week
• mcalejo / interprolog
  Java <-> XSB Prolog bridge library
  ☆12Updated 4 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated last month
• pellierd / pddl4j
  PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …
  ☆151Updated 5 months ago
• CArtAgO-lang / cartago
  A Java-based Framework for Programming Environments in Agent-oriented Applications
  ☆19Updated 8 months ago
• s-webber / projog
  Prolog programming for the Java platform.
  ☆37Updated last year
• INCATools / whelk
  Whelk is an OWL EL reasoner
  ☆26Updated 2 weeks ago
• moise-lang / moise
  Moise is an organisational platform for Multi-Agent Systems
  ☆14Updated 2 months ago
• Anniepoo / JavaPengine
  Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine
  ☆10Updated 8 years ago
• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆23Updated 3 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆78Updated 6 years ago
• kbss-cvut / jopa
  Java OWL Persistence API
  ☆35Updated this week
• processquerying / PQL
  Process Query Language (PQL) is a special-purpose programming language for managing process models based on information about process ins…
  ☆17Updated 2 years ago
• kbirken / xtendency
  A collection of neat tools related to the Xtend language.
  ☆10Updated 10 years ago
• DeMaCS-UNICAL / EmbASP
  A general framework for embedding Logic Programming in complex systems
  ☆29Updated 11 months ago
• lhogie / grph
  Grph is a high-performance Java library for the manipulation of graphs.
  ☆20Updated 3 years ago
• protegeproject / webprotege-backend-service
  The backend for WebProtege
  ☆19Updated this week
• raydac / jprol
  Yet another Java based Prolog engine
  ☆30Updated 2 weeks ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆32Updated 9 months ago
• jbpt / codebase
  The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes. T…
  ☆33Updated 7 months ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆57Updated 4 months ago
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆52Updated last month
• julianmendez / jcel
  Reasoner for the description logic EL+.
  ☆14Updated 3 weeks ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated last week
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Updated 3 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:
  ☆45Updated 2 years ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆136Updated this week
• spechub / Hets
  The Heterogeneous Tool Set
  ☆58Updated last month
• SWI-Prolog / tabled-prolog-book
  Programming in Tabled Prolog by David S Warren
  ☆22Updated 5 years ago