8 results found Sort:

potassco
clingo potassco
85
643
mit
36
🤔 A grounder and solver for logic programs.
logic-programming answer-set-programming declarative-programming
Created 2016-05-10
1,937 commits to master branch, last one 8 months ago
TEN-framework
ten_framework TEN-framework
52
574
other
12
TEN, a AI agent framework to create various AI agents which supports real-time conversation.
c ai cpp rust clingo golang nodejs python workflow ai-agents javascript typescript cloud-store plugin-system cross-language cross-platform package-management cloud-edge-computing answer-set-programming
Created 2024-08-23
555 commits to main branch, last one 16 hours ago
hakank
hakank hakank
76
374
mit
45
My public programs and models - mostly combinatorial problems and puzzles
ampl jgap setl z3py choco comet frink jacop picat gecode poplog prolog essence minizinc numberjack eclipse-clp sicstus-prolog answer-set-programming constraint-programming constraint-satisfaction
Created 2013-08-06
608 commits to master branch, last one 2 months ago
uwdata
draco uwdata
28
225
bsd-3-clause
20
Visualization Constraints and Weight Learning
vega answer-set-programming visualization-constraints visualization-recommendation
Created 2017-05-31
1,207 commits to master branch, last one about a year ago
robsimmons
dusa robsimmons
7
109
gpl-3.0
5
A logic programming language that has features of both Datalog and answer set programming.
datalog forward-chaining logic-programming answer-set-programming
Created 2023-11-09
593 commits to main branch, last one 20 days ago
MatthiasNickles
diff-SAT MatthiasNickles
3
63
mit
4
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
psat dimacs-cnf sat-solver probability optimization probabilistic satisfiability logic-programming probabilistic-asp weighted-sat-solving answer-set-programming constraint-programming artificial-intelligence multi-models-optimization probabilistic-programming differentiable-programming probabilistic-satisfiability differentiable-satisfiability
Created 2018-10-25
291 commits to master branch, last one 8 months ago
921kiyo
symbolic-rl 921kiyo
10
62
mit
7
Symbolic Reinforcement Learning using Inductive Logic Programming
ilp answer-set-programming reinforcement-learning artificial-intelligence inductive-logic-programming symbolic-reinforcement-learning
Created 2018-05-16
431 commits to master branch, last one 2 years ago
alpha-asp
Alpha alpha-asp
11
60
bsd-2-clause
7
A lazy-grounding Answer-Set Programming system
solver lazy-grounding logic-programming answer-set-programming
Created 2016-07-08
1,909 commits to master branch, last one about a year ago