hwd404

hwd404

Geek Repo

Github PK Tool:Github PK Tool

hwd404's starred repositories

Logic-Programming

Logic Programming using Prolog.

Language:PrologLicense:MITStargazers:5Issues:0Issues:0

Logic-Problems

This repository contains multiple Logic Programming problems (puzzles)

Language:PrologStargazers:2Issues:0Issues:0

clasp

⚙️ A conflict-driven nogood learning answer set solver

Language:C++License:MITStargazers:116Issues:0Issues:0

SHAP_FOLD

(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining

Language:PrologLicense:GPL-3.0Stargazers:37Issues:0Issues:0
Language:Jupyter NotebookLicense:NOASSERTIONStargazers:249Issues:0Issues:0

AQuA

Answer Set Programming based Visual Question Answering

Language:PerlLicense:GPL-3.0Stargazers:8Issues:0Issues:0