Collection of ASP encodings for asprilo
☆22Jun 24, 2021Updated 4 years ago
Alternatives and similar repositories for asprilo-encodings
Users that are interested in asprilo-encodings are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- 🗺️ ASP planning tools for PDDL☆32Jul 9, 2021Updated 4 years ago
- From LTLf/LDLf To Automata☆22Aug 17, 2020Updated 5 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆32Apr 29, 2026Updated 3 weeks ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 🕰️ A solver for temporal programs.☆22Jun 24, 2024Updated last year
- A Model Context Protocol (MCP) server that provides access to the DBLP computer science bibliography database for Large Language Models.☆37Apr 4, 2026Updated last month
- ⚙️ A conflict-driven nogood learning answer set solver☆145May 15, 2026Updated last week
- 🍀 A system for probabilistic reasoning in clingo☆20Jun 24, 2024Updated last year
- Find more info @ youtube.com/axiomaticuncertainty☆11Aug 20, 2018Updated 7 years ago
- incremental symbol learning for natural language understanding☆10Jun 12, 2023Updated 2 years ago
- A hydra that augments existing Emacs navigation and editing functionality by adding awareness of symbols.☆16Nov 2, 2021Updated 4 years ago
- Simple spaCy-based concept extraction API, involving a dictionary of relevant concepts.☆10May 15, 2019Updated 7 years ago
- [Konvens21] This repository contains the DFKI MobIE Corpus, a dataset of 3,232 German-language documents that have been annotated with fi…☆12Sep 17, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An Emas Major Mode for editing Answer Set Programs☆13Apr 4, 2018Updated 8 years ago
- A repository to keep tools, scripts, data for SMART task.☆11May 24, 2022Updated 4 years ago
- My Emacs settings☆18Feb 17, 2026Updated 3 months ago
- This repository collects notebooks for the course☆15Jan 19, 2026Updated 4 months ago
- ☆19May 19, 2025Updated last year
- ☆10Aug 22, 2023Updated 2 years ago
- Repository of the metadata specification mobilityDCAT-AP☆18Updated this week
- Embark export buffer for org roam nodes☆23Apr 27, 2026Updated 3 weeks ago
- make emacs' projectile and speedbar extensions work together☆27Aug 7, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🗝️ Rust bindings to the clingo library☆38Jan 27, 2025Updated last year
- ☆17May 4, 2026Updated 2 weeks ago
- ☆16Apr 9, 2021Updated 5 years ago
- ☆20Nov 20, 2024Updated last year
- Knowledge Base Graph Attention Networks☆14Feb 22, 2020Updated 6 years ago
- ☆14Jun 27, 2025Updated 10 months ago
- Show blame messages with sideline☆27Jan 1, 2026Updated 4 months ago
- ☆19Feb 3, 2022Updated 4 years ago
- PyTorch Implementation of NeurIPS 2020 paper "Learning Sparse Prototypes for Text Generation"☆22Jul 8, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Yaml Normalizer - a Psych-based YAML checker and normalizer written in Ruby☆20Sep 19, 2024Updated last year
- COEXI(S)T - Modelling COVID-19 exit strategies for policy makers in the United Kingdom☆17Jul 4, 2020Updated 5 years ago
- Emacs document annotator, using Org-mode☆16Jul 30, 2025Updated 9 months ago
- Clingo on the web☆45May 9, 2026Updated 2 weeks ago
- Code associated with the WWW'23 paper "Event Prediction using Case-Based Reasoning over Knowledge Graphs"☆18Nov 8, 2023Updated 2 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆36May 7, 2026Updated 2 weeks ago
- ☆16Jan 5, 2024Updated 2 years ago