An implementation of Defeasible Deontic Logic in Answer Set Programming
☆17May 25, 2026Updated 4 months ago
Alternatives and similar repositories for Defeasible-Deontic-Logic
Users that are interested in Defeasible-Deontic-Logic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Sep 21, 2026Updated last month
- Main repository for the Research Programme in Computational Law☆39Jul 10, 2024Updated 2 years ago
- An interactive application for visualizing and understanding shortest path algorithms. It aids education, algorithm testing, and practica…☆17Aug 12, 2026Updated 2 months ago
- Source code and dataset for the CCKS2021 paper "Text-guided Legal Knowledge Graph Reasoning".☆23Jan 5, 2022Updated 4 years ago
- A tool for explainability and debugging in Answer Set Programming.☆17May 15, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Using LLVM Clang on Windows with CMake☆10Dec 4, 2021Updated 4 years ago
- Runs Uiautomator2 on multiple ADB devices, and checks periodically checking each device's status☆12Mar 17, 2025Updated last year
- Make it easy to automatically and uniformly measure the behavior of many AI Systems.☆27Oct 2, 2024Updated 2 years ago
- traditional bibliography styles with biblatex☆31Mar 6, 2021Updated 5 years ago
- Polymer element that wraps Swiper.js☆22Apr 16, 2023Updated 3 years ago
- An experimental library for metaprogramming with algebraic effects and handlers☆55Updated this week
- Linux and windows privilege escalation cheatsheet☆12May 18, 2023Updated 3 years ago
- An extensible multi-agent Research Assistant that uses Gemini-powered subagents (Researcher, Analyst, Formatter) with ArXiv and custom to…☆24Dec 6, 2025Updated 10 months ago
- Lua bindings for gemma.cpp☆12Oct 30, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Bare-bones native-only dear imgui port to Android NDK 23.0.7123448, SDK 30☆11Oct 2, 2021Updated 5 years ago
- A collection of scripts for building Clang on Linux☆17Aug 8, 2022Updated 4 years ago
- Visualizing two three tree data structure with ImGui.☆12Sep 10, 2022Updated 4 years ago
- Third version of Carneades, an integrated set of tools for argument (re)construction, evaluation, mapping and interchange.☆36Oct 17, 2019Updated 7 years ago
- ye olde time_series library, now unmaintained☆15Mar 19, 2013Updated 13 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- Header only implementation of Progressive Photon Mapping: A Probabilistic Approach(PPMAPA) in C++.☆14Nov 29, 2021Updated 4 years ago
- A Flask extension to add http2 server push to your application.☆40Sep 19, 2020Updated 6 years ago
- Creates Proxies and binds them to a NIC - Windows only☆13Dec 12, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆14Feb 18, 2021Updated 5 years ago
- Explainable AI Tooling (XAI). XAI is used to discover and explain a model's prediction in a way that is interpretable to the user. Releva…☆40Sep 22, 2025Updated last year
- Documents for Information Theory used in Master of Logic course Information Theory at the UvA☆37Dec 8, 2020Updated 5 years ago
- Streamlit MongoDB Connector: An efficient connector for interfacing MongoDB with Streamlit apps, developed for the Streamlit Connections …☆11Dec 19, 2023Updated 2 years ago
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- ☆20Updated this week
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- A simple to use, single header, tag_invoke utility for C++11.☆16Nov 27, 2022Updated 3 years ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Translates UML class diagrams to OWL2☆20Jul 30, 2026Updated 2 months ago
- A framework for building language model applications.☆14Dec 8, 2023Updated 2 years ago
- ☆11Jun 12, 2024Updated 2 years ago
- PlainAPI - Make APIs with plain English and GPT3☆11Oct 2, 2021Updated 5 years ago
- Sorting Algorithm Visualiser using C and CSFML made as a project for our DSA-1 course. Helps to visualise how different sorts works.☆14Feb 4, 2022Updated 4 years ago
- Experimental library for coroutines and networking☆17Jan 25, 2018Updated 8 years ago
- Visualization of Haskell data structures☆16Feb 13, 2024Updated 2 years ago