A fork of Gourmet-Formalog designed to be independent of FRDCSA, and accessed through Pengines or REPL

SWIPL Microtheory implementation based on Guha thesis

Prolog-Agent/SPAMI/Autonomous BDI+LLM agents

Formalized Research Knowledge-Base: Cluster, Study and Apply project (FRDCSA reboot)

Emacs Knowledge-Base Automated Theorem Prover

The Free Life Planner Reference Manual

Your AI-Powered Personal Finance Assistant

Field Agent Support Technology - real-time dialog support from hybrid LLM / human team

A utility service designed to help users maintain awareness of their system's network connectivity status.

Free Life Planner: An AI tool for helping with planning for day-to-day life.

Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the original Eurisko and related systems.

The (Under Construction) FRDCSA Reference Manual

Improved reimplementation of STRADS-FRDCSA, written interactively with Claude 3.5 Sonnet.

Tag systems learner and labeller

Creates a single plaintext file from a dir or archive, for pasting entire codebases as input to LLMs

This project implements a temporally-contingent planner, which combines temporal planning with contingent planning to handle scenarios with both time constraints and uncertain outcomes.

Provide alerts as to upcoming space weather that might prompt you to unplug your systems to prevent power spikes damaging them and your data

LLMs support in FRDCSA

A system under construction for redacting streaming and video files

Early (2003-ish) notes on an attempt at a non-logical AI.

How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)

A script to export Firefox bookmarked URLs tagged with '*', and prepend Titles for any arxiv.org URLs

Track millions of tasks

Ontolog Summit 2022 Presentation

The install scripts for FRDCSA (Panoply)