TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
☆42Sep 30, 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:
- An implementation of Defeasible Logic in Python☆15Sep 2, 2018Updated 8 years ago
- GraphStream Swing user interface☆30May 11, 2024Updated 2 years ago
- Instant search for Sphinx☆14Apr 5, 2023Updated 3 years ago
- Knowledge Acquisition Logic Machine☆20Jul 19, 2019Updated 7 years ago
- Prosimos Simulation Engine (CLI)☆14Updated this 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.
- A general framework for embedding Logic Programming in complex systems☆29Apr 20, 2026Updated 5 months ago
- This project provides various tools for processing content MathML with Java.☆14Feb 17, 2026Updated 7 months ago
- Computational biology code samples☆11Feb 28, 2018Updated 8 years ago
- Book code for Testing in Scala on O'Reilly☆14May 29, 2014Updated 12 years ago
- Docker image for robotics simulator Gazebo with a in-browser WebGL GUI☆11Jan 28, 2019Updated 7 years ago
- ☆16Jan 30, 2023Updated 3 years ago
- A rendering library, currently housing graph renderers (ascii and graphviz).☆18Aug 13, 2017Updated 9 years ago
- ☆13Jul 1, 2017Updated 9 years ago
- Framework for integrate BDI agents and Reinforcement Learning.☆16Aug 3, 2024Updated 2 years 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.
- A Python library for logic formalisms representation and manipulation.☆16Jan 21, 2024Updated 2 years ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Sep 14, 2022Updated 4 years ago
- ☆22Jan 2, 2026Updated 9 months ago
- Git mirror of https://bitbucket.org/pavel_calado/tikz-er2 with some usyd additions☆10Dec 21, 2021Updated 4 years ago
- Rust library for stochastic process mining techniques☆18Sep 22, 2026Updated 2 weeks ago
- Synthetic data for SQL databases☆12Jan 30, 2026Updated 8 months ago
- Use AWS RoboMaker and demonstrate a robot that has voice controls via Amazon Lex.☆11May 15, 2020Updated 6 years ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- Reinforcement learning approach to the prisoner's dilemma, based on Q learning☆13Dec 1, 2017Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Use a series of QR codes as waypoints to navigate the AWS DeepRacer around a custom path. Create your own custom path by placing the basi…☆15Jun 6, 2022Updated 4 years ago
- A collection of neat tools related to the Xtend language.☆10Feb 16, 2015Updated 11 years ago
- ☆17Jun 18, 2024Updated 2 years ago
- Sphinx: pretty search results is an extension for the Sphinx documentation tool. To display search results, Sphinx is fetching the sourc…☆23Mar 29, 2023Updated 3 years ago
- RDF Surfaces is classical first-order logic with negation in RDF☆10Feb 25, 2026Updated 7 months ago
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last week
- llmSHAP: a multi-threaded LLM explainability framework☆21Aug 10, 2026Updated 2 months ago
- Dynatrace Platform JMX plugins☆14May 13, 2026Updated 4 months ago
- Ninja is a small build system with a focus on speed. Rust language port.☆20Nov 11, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code to accompany ESOP 2016 paper☆12Jan 31, 2016Updated 10 years ago
- A Log4j Adapter for Clojure☆10Dec 23, 2021Updated 4 years ago
- 🎴 An Anki plugin for Obsidian.md☆14Nov 12, 2023Updated 2 years 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
- Langner - Programing Language for Expressing Strategies☆16Oct 5, 2016Updated 10 years ago
- An interpreter for the While language written in Haskell☆14Mar 26, 2020Updated 6 years ago