TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
☆41Jul 14, 2026Updated last week
Alternatives and similar repositories for TweetyProject
Users that are interested in TweetyProject are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Clone of git://git.code.sf.net/p/portecle/code☆12Feb 9, 2016Updated 10 years ago
- Maven Plugin for Slack Integration☆10Oct 25, 2015Updated 10 years ago
- Documentation generator for application servers based on Wildfly☆11Feb 27, 2026Updated 4 months ago
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 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.
- ☆22Jan 2, 2026Updated 6 months ago
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- ☆56Dec 7, 2024Updated last year
- GitHub Pages repository for the Roundcube project website☆13Updated this week
- Civilization Overhaul mod☆12May 19, 2021Updated 5 years ago
- Translates BPMN models to declarative constraints in different languages (DECLARE, SIGNAL, LTLf)☆14Nov 20, 2025Updated 8 months ago
- OmniFaces Oyena☆11Oct 13, 2020Updated 5 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- Quickcheck Clone implemented in Racket☆31Jul 30, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A maven plugin used to test the grammars-v4 repo grammars☆18Jun 19, 2023Updated 3 years ago
- RDF Surfaces is classical first-order logic with negation in RDF☆10Feb 25, 2026Updated 4 months ago
- experiments in lisp static analysis☆12Oct 12, 2015Updated 10 years ago
- Decision Model & Notation in Markdown table format☆24Jun 29, 2026Updated 3 weeks ago
- Ninja is a small build system with a focus on speed. Rust language port.☆19Nov 11, 2017Updated 8 years ago
- llmSHAP: a multi-threaded LLM explainability framework☆20Jun 11, 2026Updated last month
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Jun 15, 2026Updated last month
- A list of publicly available resources regarding the SAS7BDAT file format☆11Jan 10, 2022Updated 4 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 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.
- Code to accompany ESOP 2016 paper☆12Jan 31, 2016Updated 10 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆21May 23, 2024Updated 2 years ago
- Cuis Smalltalk version 6.2 Stable Release☆14Mar 6, 2024Updated 2 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- 🐳🐟🐚Docker image for the Friendly Interactive Shell, aka fish☆17Feb 12, 2026Updated 5 months ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Jun 26, 2020Updated 6 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- An official code repository for the paper "Argumentative Large Language Models for Explainable and Contestable Claim Verification"☆17Sep 18, 2025Updated 10 months ago
- Langner - Programing Language for Expressing Strategies☆16Oct 5, 2016Updated 9 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.
- Collection of open source hypervolume codes that have been standardized to work with the MOEA Framework.☆13Apr 6, 2024Updated 2 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- An interpreter for the While language written in Haskell☆14Mar 26, 2020Updated 6 years ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- UML Class diagram reverse engineering tool☆14Apr 8, 2026Updated 3 months ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- My collection of Python tools!☆11Jan 27, 2026Updated 5 months ago