Python library that enables using prolog syntax and logic programming in python
TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
An implementation of ELIZA, Weizenbaum's classic chatbot.
Code and data to the publication "SpikE: spike-based embeddings for multi-relational graph data".
An advanced AI-powered generic document-analysis tool
New shape for my old GOD_AND_ADAM system
Curso de Fundamentos de Inteligencia Artificial en el IPN-CIC
This is an application that uses tau prolog to implement a simple expert system about animal characteristics
Implementation of Dijkstra's algorithm for Mexico's city subway (Symbolic AI insight with Prolog)
AI-Native CPS Safety Framework | Constrained Architecture | Deterministic Compiler | Safety-Critical Systems | symbolic ai | IoT Security | Embedded Systems | Formal Verification | YAML-driven | VETO-first
Documentation for Tisane
🖥️🦉Quoridor game desktop interface in PROLOG
Deterministic, no-LLM chat over an OWL-labelled JSON graph memory. Grounded answers with provenance, or a refusal. Pure JS, offline, $0 to run. Read-only mirror of the GitLab repo; live demos at tmct.polycode.co.uk.
In this project is implemented the algorithm of forward chaining using Java, the knowledge base use Horn Clauses and the program allows to add, edit or delete rules, also you can enter the facts before using forward chaining
To associate your repository with the symbolic-artificial-intelligence topic, visit your repo's landing page and select "manage topics."