🦉 A grounder and solver for logic programs.

My public programs and models - mostly combinatorial problems and puzzles

Visualization Constraints and Weight Learning

A logic programming language that has features of both Datalog and answer set programming.

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

Symbolic Reinforcement Learning using Inductive Logic Programming

A lazy-grounding Answer-Set Programming system

🤖 JavaScript 🥶 Interview 🤢 Question 🤡 is 🚅 a 👽 comprehensive 🐸 collection 🐳 of 🚈 essential 🐡 JavaScript 🪲 questions 🪰 explanations 🐙 and 🍊 coding 🍎 exercises 🍏 designed 🌰 to ⛪ help 🫑 developers ✈ prepare 🚀 technical 🚁 interviews 🚟 coding 🚠 assessments 🚢 and 🛫 real 🛬 world 🛼 problem 🚞 solving 🕌

🏘 React 🏩 Interview 🚂 Question 🚃 is 🏯 a 🏨 curated 🚋 collection ✈ of 🚁 React.js 🛸 interview 🛫 questions 🚞 deep ☂ explanations ⛱ hands ⛴ on ⚽ examples ⚾ and 🥎 coding 🏀 challenges 🏐 designed 🏈 to 🏉 help 🎳 developers ⛸ prepare 🧸 frontend 🏏and 🎁 full 📔 stack 📕 interviews 🪣 with 📘 confidence 🔋

No description provided.

Handy python wrapper around Potassco's Clingo ASP solver.

Differentiable probabilistic answer set programming

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

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

Logic plus python types

Synthesis and Reprogramming of Most Permissive Boolean Networks

A tool for explainability and debugging in Answer Set Programming.

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

An Emas Major Mode for editing Answer Set Programs

DLV syntax highlighter for Visual Studio Code.

Compress graphs

A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).

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

Python package for large-scale community selection in microbiota

A tool for converting CNL sentences to ASP rules.

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

A programmable language for SpaceEngine addons

Personal learning repository for Answer Set Programming

🔴🟢🔵 clingo kernel for Jupyter

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