answer-set-programming

There are 13 repositories under answer-set-programming topic.

• potassco / clingo

  🤔 A grounder and solver for logic programs.

  answer-set-programmingdeclarative-programminglogic-programming
  Language:C++ 583

• hakank / hakank

  My public programs and models - mostly combinatorial problems and puzzles

  constraint-programmingconstraint-satisfactionminizincpicatz3pygecodeessencejacopamplcometjgapfrinkprologanswer-set-programmingchocoeclipse-clpnumberjackpoplogsicstus-prologsetl
  Language:JavaScript 353

• uwdata / draco

  Visualization Constraints and Weight Learning

  answer-set-programmingvegavisualization-constraintsvisualization-recommendation
  Language:TypeScript 218

• MatthiasNickles / diff-SAT

  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability

  satisfiabilityanswer-set-programmingoptimizationprobabilistic-programmingartificial-intelligencesat-solverlogic-programmingpsatconstraint-programmingdifferentiable-satisfiabilitydifferentiable-programmingdimacs-cnfprobabilistic-aspprobabilistic-satisfiabilitymulti-models-optimizationweighted-sat-solving
  Language:Scala 60

• 921kiyo / symbolic-rl

  Symbolic Reinforcement Learning using Inductive Logic Programming

  reinforcement-learninganswer-set-programmingilpinductive-logic-programmingsymbolic-reinforcement-learningartificial-intelligence
  Language:Lasso 59

• alpha-asp / Alpha

  A lazy-grounding Answer-Set Programming system

  answer-set-programminglazy-groundinglogic-programmingsolver
  Language:Java 58

• Aluriak / clyngor

  Handy python wrapper around Potassco's Clingo ASP solver.

  answer-set-programmingpythonpython-librarypython3wrapper
  Language:Python 32

• ilaspltd / ILASP-releases

  logic-based-learninginductive-logic-programmingartificial-intelligencemachine-learningexplainable-mlanswer-set-programminglogic-programmingilasp
  31
• dpasp

  kamel-usp / dpasp

  Differentiable probabilistic answer set programming

  answer-set-programmingcredalinferencelogiclogic-programmingprobabilistic-logic-programmingprobabilistic-programming
  Language:C 15

• santifa / pasp-mode

  An Emas Major Mode for editing Answer Set Programs

  emacsanswer-set-programmingmajor-mode
  Language:Emacs Lisp 12
• vscode-dlv-syntax-highlighting

  w1nte / vscode-dlv-syntax-highlighting

  DLV syntax highlighter for Visual Studio Code.

  dlvsyntax-highlightingaspvscode-extensionanswer-set-programming
  12

• Aluriak / PowerGrASP

  Compress graphs

  graph-compressionanswer-set-programmingpythonpython-library
  Language:Python 10

• bramucas / xclingo2

  A tool for explainability and debugging in Answer Set Programming.

  answer-set-programmingdebugging-toolexplainabilitylogic-programming
  Language:Python 10
• RiskASP

  Farfi55 / RiskASP

  Risk board game in Unity with Bot AI using Answer set programming

  answer-set-programmingartificial-intelligenceclingodlvgameriskunityembaspcsharpunicalunity2d
  Language:C# 9

• joshuaguerin / Answer-Set-Programming-Algorithms

  Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

  answer-set-programmingclingoalgorithmseducationlogic-programminglogicnp-completenp-hardcomputer-sciencelanguagealgorithmconstraint-satisfaction-problemconstraint-programming
  Language:Python 9

• Aluriak / learning-ASP

  Personal learning repository for Answer Set Programming

  answer-set-programminglearning
  Language:Python 8

• susuhahnml / asp-game-strategies

  Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) :clubs: :game_die:

  game-strategynimtic-tac-toeclingoanswer-set-programmingminimaxmonte-carlo-tree-searchilasp
  Language:Python 8

• NEKERAFA / CS-IndustryLP

  An Industrial Estate Generator for the Videogame Cities: Skylines® using Logic Programming (Answer Set Programming)

  csharpcsharp-librarycities-skylinesfinal-projectlogic-programminganswer-set-programmingpotassco
  Language:C# 7

• Aluriak / se-lang

  A programmable language for SpaceEngine addons

  answer-set-programmingjsonlanguagemoddingmodding-toolspythonspace-engine
  Language:Python 6

• cfrioux / miscoto

  Python package for large-scale community selection in microbiota

  answer-set-programmingbioinformaticsmicrobiomesymbiont
  Language:Python 6
• CookedUp

  Farfi55 / CookedUp

  Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP

  answer-set-programminggameovercookedunicalunityunity3d
  Language:C# 6

• StarKnightt / Calculator-using-java

  This is a Calculator using java which has some graphics and you can also touch the buttons and you can calculate also.

  additionalgorithms-and-data-structuresanswer-set-programmingcalculatorcalculator-applicationdivideequaljavamultiplicationsubstractionsubstraction-java
  Language:Java 6

• thesofakillers / iclingo

  🔴🟢🔵 clingo kernel for Jupyter

  clingoanswer-set-programminglogic-programmingkerneljupyteripykernel
  Language:Python 6

• Aluriak / concept-generation

  Comparison and testing of multiple concept generation method using ASP

  benchmarkanswer-set-programmingformal-concept-analysis
  Language:Python 5

• MarioAvolio / Artificial-Intelligence-for-Bomberman-Game

  Implementation of Artificial Intelligence for Bomber Man Game.

  pythonpython3gamegame-developmentpygamepygame-gamespygame-applicationbombermanbomberman-gamebomberman-aiaspanswer-set-programmingdlv
  Language:Python 5

• AAAI-DISIM-UnivAQ / ASP_DALI

  Answer Set Programming extension for the DALI MAS Framework

  answer-set-programmingprologdlvwebappmulti-agent-systems
  Language:JavaScript 4

• Adamouization / ASP-Timetable

  :calendar: ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)

  aspprologanswer-set-programmingpythonjsontkintertkinter-guiclingo
  Language:Python 4

• Aluriak / phasme

  (ASP) graph handling made easy

  answer-set-programmingpythongraphgraph-theory
  Language:Python 4

• kasteph / clingo-notebook

  A Docker image with clingo and Jupyter installed. Write ASP with clingo quickly!

  clingopotasscoanswer-set-programmingdocker
  Language:Dockerfile 4

• mushthofa / ffasp

  Finite Fuzzy Answer Set Programming Solver

  answer-set-programmingfuzzylogic-programming
  Language:C++ 4
• ASPEditorPlugin

  pierpaolosestito-dev / ASPEditorPlugin

  ASPEditor is a VSCode Extensions that provides features such as syntax-highlighting, intellisense, code diagnostics and others for ASP,DLV,LP.

  answer-set-programmingcookbookdiagnostic-tooldlvintellisenselogic-programmingquickfixsyntax-highlightingvscode-extensionvscode-extension-packvscode-pluginvscode-snippetsvscode-theme
  Language:TypeScript 4

• Aluriak / PowerGrASP-1

  Graph compression with FCA and ASP. New versions at:

  graphpythonanswer-set-programmingcompression
  Language:Python 3

• gaste / dwasp-gui

  A graphical user interface for debugging faulty ASP programs with gringo-wrapper and DWASP.

  answer-set-programmingdebugger-visualizerjavafx
  Language:Java 3

• MatthiasNickles / Diff-ASP-Propagators

  Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python

  sat-solversatisfiabilityanswer-set-programmingpythongradient-descentclingooptimizationsamplinglogic-programming
  3

• MatthiasNickles / fol2asp

  A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)

  answer-set-programmingfirst-order-logicstable-model-semanticsfollogic-programmingnonmonotonicopen-sourcesatisfiabilityai
  Language:Scala 3

• NEKERAFA / clingo-cs

  A C# bindings of Clingo library

  clingobindingscsharpnetframeworklogic-programminganswer-set-programming
  Language:C# 3