First Order Logic Inference Python Script for USC Viterbi CSCI 561 AI HW3
-
Updated
May 10, 2021 - Python
#
unification
Here are 26 public repositories matching this topic...
Generate and Verify Cryptographic Modes of Operation using Symbolic Methods
-
Updated
Mar 11, 2024 - Python
-
Updated
Mar 16, 2021 - Python
This is an investigation into the mechanisms that make up our reality.
-
Updated
Jan 6, 2026 - Python
Graph-first intermediate language for auditable LLM-generated graph queries and updates.
graph dsl knowledge-graph graph-database query-language traceability unification human-in-the-loop ai-agents intermediate-language graph-query-language m-expression llm llm-tools evals constrained-generation auditable-systems semantic-events
-
Updated
Jun 14, 2026 - Python
what if I had to make a datalog in a cabin with no internet
-
Updated
Aug 17, 2025 - Python
Rule-based recognition of Spanish robot commands using a feature-based grammar and semantic parsing
nlp nltk computational-linguistics unification semantic-parsing spanish-language feature-based-grammar rulle-based-nlp
-
Updated
Mar 24, 2026 - Python
A symbolic agent-to-agent language — speech acts + unifiable symbolic terms (KQML/FIPA-ACL lineage, modern + stdlib).
python nlp machine-learning ai stdlib inference multi-agent knowledge-base agents unification reasoning symbolic-ai kqml agent-communication llm agent-security fipa-acl cognis
-
Updated
Jun 30, 2026 - Python
The UBP Bitfield Monad System is an implementation of the Universal Binary Principle's minimal computational unit - the 1x1x1 Bitfield Monad.
-
Updated
Jun 30, 2025 - Python
NuScenes, Lyft, Waymo and a2d2 datasets parser.
-
Updated
Aug 16, 2022 - Python
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
-
Updated
Mar 1, 2023 - Python
-
Updated
Apr 14, 2023 - Python
A classical AI forward-planning algorithm (STRIPS-style) implemented from scratch in Python, built on a hand-written first-order unification algorithm. Created for a graduate Artificial Intelligence course.
-
Updated
Sep 1, 2026 - Python
Production-grade genpark-hindley-milner-type-inference-skill skill for AI agents
mcp formal-methods polymorphism hindley-milner type-inference compiler-design unification python-standard-library algorithm-w type-systems agent-skills
-
Updated
Sep 28, 2026 - Python
First-Order Logic Robinson syntactic unifier with occurs-check and resolution refutation theorem prover
mcp theorem-proving first-order-logic unification python-standard-library automated-deduction formal-logic predicate-calculus resolution-refutation agent-skills robinson-unifier
-
Updated
Sep 28, 2026 - Python
Production-grade genpark-hindley-milner-type-inference-skill skill for AI agents
mcp formal-methods polymorphism hindley-milner type-inference compiler-design unification python-standard-library algorithm-w type-systems agent-skills
-
Updated
Sep 28, 2026 - Python
Coursework · logickit: CNF, DPLL, resolution, unification and bounded LTL model checking, with 182 tests
-
Updated
Sep 7, 2026 - Python
First-Order Logic Robinson syntactic unifier with occurs-check and resolution refutation theorem prover
mcp theorem-proving first-order-logic unification python-standard-library automated-deduction formal-logic predicate-calculus resolution-refutation agent-skills robinson-unifier
-
Updated
Sep 28, 2026 - Python
🧩 Deliver structured, schema-validated JSON from 12 LLM providers in one call with type-safe, retry-resilient output using json-inference.
parser text-to-speech typescript elm speech-synthesis speech-recognition union rvc voice-conversion unification json-autotype json-schema-inference vits voiceconversion rvc-project
-
Updated
Oct 4, 2026 - Python
Add this topic to your repo
To associate your repository with the unification topic, visit your repo's landing page and select "manage topics."