tiantiangao7 / kalmView external linksLinks
Knowledge Acquisition Logic Machine
☆18Jul 19, 2019Updated 6 years ago
Alternatives and similar repositories for kalm
Users that are interested in kalm are comparing it to the libraries listed below
Sorting:
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Nov 21, 2025Updated 2 months ago
- Java library for fuzzy logic and reasoning using Java and/or the Jess Expert System Shell☆24Sep 21, 2017Updated 8 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆39Jan 16, 2026Updated 3 weeks ago
- Top-down interpreter for ASP programs with Constraints☆34Jun 30, 2025Updated 7 months ago
- This package is essentially a ros-wrapper of neural_cam. More features would be added in the future, geared towards mobile robot platform…☆11Jul 12, 2019Updated 6 years ago
- ☆11Jul 7, 2020Updated 5 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Mar 26, 2025Updated 10 months ago
- Java-based lightweight Prolog virtual machine☆37Jul 3, 2024Updated last year
- ☆10Nov 18, 2021Updated 4 years ago
- Java library for interacting with Consul.☆12Mar 20, 2023Updated 2 years ago
- A collection of OCR'd and machine-corrected Greek texts. This base repository contains Git submodules for the different works and an inve…☆11Nov 18, 2014Updated 11 years ago
- Official website for the TRON (Token Reduced Object Notation) format☆36Nov 29, 2025Updated 2 months ago
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- A grunt.js task to render Handlebars templates against a context & produce HTML☆14Mar 10, 2018Updated 7 years ago
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- Install a sso enviroment for Linux, Mac and Windows with a simple script☆11Dec 12, 2011Updated 14 years ago
- Functional programming exercises. Materials for a course in Sofia University.☆11Aug 22, 2015Updated 10 years ago
- Parser for Attempto Controlled English (ACE)☆210Apr 21, 2024Updated last year
- Hypergraph Case-Based Reasoning☆12Jun 14, 2018Updated 7 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 5 years ago
- Google Calendar CLI written in Rust☆13Apr 3, 2025Updated 10 months ago
- Two-stage routing with Optimized Guided search and Greedy algorithm☆10Sep 27, 2023Updated 2 years ago
- NSTask but with the ability to run privileged code☆10Apr 16, 2019Updated 6 years ago
- A multi-game Touhou bot using EmguCV for image processing.☆10Dec 29, 2017Updated 8 years ago
- Vaadin4Spring Spring Security sample☆13Aug 11, 2014Updated 11 years ago
- Zsh nvim☆12Feb 2, 2026Updated last week
- Sends URLs and files to Synology DownloadStation for download☆12Nov 21, 2014Updated 11 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆16Sep 18, 2025Updated 4 months ago
- Demo for Sitepoint Docker Compose article☆11Oct 1, 2015Updated 10 years ago
- Communicate with the EVRYTHNG Cloud over MQTT for FreeRTOS devices☆10May 4, 2017Updated 8 years ago
- Various Cryptographic-Related Formulae☆17Jan 12, 2025Updated last year
- Edutainment game teaching players concepts around machine learning☆15Feb 18, 2020Updated 5 years ago
- Django-Vagrant☆114Feb 21, 2014Updated 11 years ago