Alternatives and similar repositories for qualreas

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

• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 2 months ago
• ML-KULeuven / deepstochlog
  ☆33Updated last year
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆38Updated 3 months ago
• konclude / Konclude
  Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL
  ☆37Updated 3 years ago
• IBM / AMR-CSLogic
  A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.
  ☆13Updated 3 years ago
• RDFLib / OWL-RL
  A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It c…
  ☆153Updated 2 weeks ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆17Updated 2 years ago
• ontologyportal / sigmakee
  Sigma Knowledge Engineering Environment
  ☆110Updated 3 weeks ago
• Shivam-Miglani / contextual_drl
  Extracting action sequences and generating domain models.
  ☆14Updated 2 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• bramucas / xclingo2
  A tool for explainability and debugging in Answer Set Programming.
  ☆14Updated 3 months ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆125Updated 2 years ago
• karmaresearch / vlog
  ☆56Updated last year
• xflr6 / concepts
  Formal Concept Analysis with Python
  ☆116Updated 2 weeks ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆23Updated this week
• semanticarts / ontology-toolkit
  Tools to update and export ontology RDF.
  ☆36Updated 5 months ago
• Tony-sama / pylfit
  Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework
  ☆13Updated 2 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• SmartDataAnalytics / SML-Bench
  A Benchmark for Machine Learning from Structured Data
  ☆21Updated 3 years ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated 8 months ago
• celinehocquette / numsynth-aaai23
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆15Updated 2 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆62Updated 4 months ago
• leoprover / tptp
  TPTP python library and benchmarking service
  ☆13Updated 5 years ago
• ontolex / ontolex
  Ontolex modules
  ☆33Updated 4 months ago
• CategoricalData / hydra
  Graph programming language
  ☆92Updated this week
• RussAbbott / pylog
  pylog: an implementation of Prolog features in Python
  ☆36Updated 6 months ago
• potassco / clorm
  🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
  ☆57Updated 11 months ago
• cknoll / yamlpyowl
  python based YAML-to-OWL-converter
  ☆17Updated 3 years ago
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆240Updated 10 months ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆32Updated 7 months ago