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
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated last year
- From LTLf/LDLf To Automata☆22Aug 17, 2020Updated 5 years ago
- 🕸️ A visualizer for graphs defined as logic programs☆32Updated this week
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- 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.
- My blog and its static site generator☆10Oct 28, 2024Updated last year
- A Model Context Protocol (MCP) server that provides access to the DBLP computer science bibliography database for Large Language Models.☆35Apr 4, 2026Updated last month
- ⚙️ A conflict-driven nogood learning answer set solver☆143Apr 26, 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 6 years ago
- ROS package implementing bug 0, 1, and 2 in Python☆12Mar 26, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆13Jun 20, 2024Updated last year
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated last year
- [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
- An Emas Major Mode for editing Answer Set Programs☆13Apr 4, 2018Updated 8 years ago
- My Emacs settings☆18Feb 17, 2026Updated 2 months ago
- This repository collects notebooks for the course☆14Jan 19, 2026Updated 3 months ago
- ☆19May 19, 2025Updated 11 months ago
- [EMNLP 2022 Findings] Search to Pass Messages for Temporal Knowledge Graph Completion☆12Dec 11, 2022Updated 3 years ago
- Repository of the metadata specification mobilityDCAT-AP☆18Apr 23, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Embark export buffer for org roam nodes☆23Apr 27, 2026Updated last week
- Academic project for Advances in Data Science and Architecture course☆13Jan 20, 2018Updated 8 years ago
- ☆17Mar 9, 2024Updated 2 years ago
- ☆16Apr 9, 2021Updated 5 years ago
- The software associated with a paper accepted at EMNLP 2021 titled "Open Knowledge Graphs Canonicalization using Variational Autoencoders…☆16Sep 27, 2021Updated 4 years ago
- ☆20Nov 20, 2024Updated last year
- BERT models pretrained on the CORD-19 Kaggle dataset☆15Jun 8, 2020Updated 5 years ago
- Show blame messages with sideline☆26Jan 1, 2026Updated 4 months ago
- Knowledge Base Graph Attention Networks☆14Feb 22, 2020Updated 6 years ago
- 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.
- ☆14Jun 27, 2025Updated 10 months ago
- PyTorch Implementation of NeurIPS 2020 paper "Learning Sparse Prototypes for Text Generation"☆22Jul 8, 2021Updated 4 years ago
- 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☆45Apr 15, 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☆36Apr 27, 2026Updated last week