Alternatives and similar repositories for xclingo

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

• bramucas / xclingo2
  A tool for explainability and debugging in Answer Set Programming.
  ☆15Updated 10 months 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
• potassco / asprin
  💊 Qualitative and quantitative optimization in answer set programming
  ☆20Updated last year
• hkrsnd / dilp-st
  ☆10Updated 4 years ago
• ml4ai / automates
  AutoMATES: Automated Model Assembly from Text, Equations, and Software
  ☆25Updated 2 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆20Updated 3 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 7 years ago
• Strong-AI-Lab / A-Neural-Symbolic-Paradigm
  From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm
  ☆11Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• feng-yufei / Neural-Natural-Logic
  Implementation of the first neural natural logic paper on natural language inference
  ☆11Updated 3 years ago
• AI-Planning / autoscale-benchmarks
  STRIPS benchmarks for classical planning
  ☆14Updated 3 years ago
• asaparov / parser
  Semantic parser induction using a generative model of grammar.
  ☆31Updated 3 years ago
• alviano / wasp
  ☆24Updated 3 weeks ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Updated 5 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago
• RikVN / Neural_DRS
  This repository includes the code for neural DRS parsing
  ☆27Updated 2 years ago
• uclnlp / ctp
  Conditional Theorem Proving
  ☆54Updated 4 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆71Updated last month
• leonweber / spyrolog
  Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/
  ☆15Updated 5 years ago
• ForoughA / neuralMath
  Combining Symbolic and Function Evaluation Expressions In Neural Programs
  ☆34Updated 6 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆16Updated 3 years ago
• stefano-bragaglia / DePYsible
  An implementation of Defeasible Logic in Python
  ☆15Updated 7 years ago
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆49Updated 10 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• ilaspltd / ILASP-releases
  ☆39Updated last year
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 5 years ago
• rajammanabrolu / C2PO
  Automated Storytelling via Causal, Commonsense Plot Ordering
  ☆53Updated 5 years ago
• Shivam-Miglani / contextual_drl
  Extracting action sequences and generating domain models.
  ☆15Updated 3 years ago