#Answer-set-programming

Showing 2 of 2 repositories tagged #answer-set-programming, ranked by stars

MatthiasNickles

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

★ 72 ⑂ 3 —

Symbolic Reinforcement Learning using Inductive Logic Programming

★ 63 ⑂ 10 —

Related Topics

#artificial-intelligence #constraint-programming #differentiable-programming #differentiable-satisfiability #dimacs-cnf #logic-programming #multi-models-optimization #optimization #probabilistic #probabilistic-asp #probabilistic-programming #probabilistic-satisfiability