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
Sorting:
- advanced topic expert systems☆19May 15, 2017Updated 8 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 8 years ago
- 🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming☆68Feb 3, 2022Updated 4 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 solver for temporal programs.☆22Jun 24, 2024Updated last year
- Find more info @ youtube.com/axiomaticuncertainty☆11Aug 20, 2018Updated 7 years ago
- Simple spaCy-based concept extraction API, involving a dictionary of relevant concepts.☆10May 15, 2019Updated 6 years ago
- Academic project for Advances in Data Science and Architecture course☆13Jan 20, 2018Updated 8 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- This repository collects notebooks for the course☆14Jan 19, 2026Updated last month
- ROS package implementing bug 0, 1, and 2 in Python☆12Mar 26, 2020Updated 5 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
- A repository to keep tools, scripts, data for SMART task.☆11May 24, 2022Updated 3 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆140Updated this week
- ☆14Jun 27, 2025Updated 8 months ago
- ☆20Nov 20, 2024Updated last year
- The software associated with a paper accepted at EMNLP 2021 titled "Open Knowledge Graphs Canonicalization using Variational Autoencoders…☆16Sep 27, 2021Updated 4 years ago
- Knowledge Base Graph Attention Networks☆14Feb 22, 2020Updated 6 years ago
- A hydra that augments existing Emacs navigation and editing functionality by adding awareness of symbols.☆16Nov 2, 2021Updated 4 years ago
- HTN planner in Python☆14Mar 11, 2013Updated 12 years ago
- ☆19Jan 12, 2026Updated last month
- Code, data and mode for the paper SPARQL Generation: an analysis on fine-tuning OpenLLaMA for Question Answering over Life Science Knowle…☆20Nov 22, 2023Updated 2 years ago
- Code associated with the WWW'23 paper "Event Prediction using Case-Based Reasoning over Knowledge Graphs"☆18Nov 8, 2023Updated 2 years ago
- My Emacs settings☆18Feb 17, 2026Updated 3 weeks ago
- ☆16Jan 5, 2024Updated 2 years ago
- BERT models pretrained on the CORD-19 Kaggle dataset☆15Jun 8, 2020Updated 5 years ago
- COEXI(S)T - Modelling COVID-19 exit strategies for policy makers in the United Kingdom☆17Jul 4, 2020Updated 5 years ago
- ☆20Nov 26, 2024Updated last year
- Playing with a chatbot from tutorial: https://chatbotsmagazine.com/contextual-chat-bots-with-tensorflow-4391749d0077☆19Oct 2, 2017Updated 8 years ago
- ☆19Feb 3, 2022Updated 4 years ago
- ☆16Apr 9, 2021Updated 4 years ago
- ☆19May 19, 2025Updated 9 months ago
- Code for the paper "HALoGEN: Fantastic LLM Hallucinations and Where To Find Them"☆25May 18, 2025Updated 9 months ago
- End-to-End Model - Finetuned T5 for Text-to-SPARQL Task☆22Oct 22, 2021Updated 4 years ago
- ☆19Jan 6, 2022Updated 4 years ago
- 🦉 A grounder and solver for logic programs.☆754Feb 26, 2026Updated last week
- PyTorch Implementation of NeurIPS 2020 paper "Learning Sparse Prototypes for Text Generation"☆22Jul 8, 2021Updated 4 years ago
- Embark export buffer for org roam nodes☆23Sep 17, 2024Updated last year