free-life-planner
Free Life Planner: An AI tool for helping with planning for day-to-day life.mealsolver
Logic-based meal optimizerprolog-agent
A deliberative software agent using Perl/Prolog/Emacs able to plan and execute language functions, programs and shell commandsfinancial-planning
A temporal metric financial PDDL planning domain and problem w/ tools for personal planning. Extremely simple proof of concept to be expanded upon.frdcsa-panoply-git-20200329
How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)eurisko-resources
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.flp
The Free Life Planner (soon to be official) siteverber
Contingency planning, crisis managementsoftware-ontology
Tools for automatic document understanding, not the actual Comprehensive Software Ontology though.cyc-mode
Emacs *CYC major mode for interaction. Please note this is an ancient system from 2003. The current system is far better, and is now available here: http://github.com/aindilis/cyc-mode-2plan-monitor
Compile tasks of daily living into Behavior Trees and interactively executes them. Pure Perl using Mojolicious.sigmakee-mode
Emacs SigmaKEE/KIF major mode for interaction.ontolog-summit-2022-presentation
Ontolog Summit 2022 Presentationfreekbs2
Free Software Knowledge Based System like SigmaKEE or Cycnlu
Performs Natural Language Understandinggourmet-formalog
Prolog-based Meal Planning system w/ Recipes, Barcodes, Nutrition Information, etcggp-gdl-mode
A quick-n-dirty mode for General Game Playing Game Description Language.nlu-mf
Natural Language Understanding - Manual Formalization: (Increasingly automatedly) formalize texts to Prologboss
Software engineering manager for project managementformalize
System to translate NL to logic. Currently based on OpenCyc, Wordnet, Ted Pedersen's WSD modules, Enju, etc.presentation-generator
Automated presentation generator - converts custom marked-up text to a video presentationcfo
Comprehensive Function Ontology - related to CSO/CLO, Cyc, AM, Sayer{,2}, etcdaydreamer
Fork of Erik T. Mueller's DAYDREAMER - compiled for CLISP on AMD64frdcsa-installer
The install scripts for FRDCSA (Panoply)kmax
Emacs Enhancements for Symbolic Knowledge Manipulation Environmentflux-frdcsa
Extensions to the FLUX system mentioned in the book: Reasoning Robots: The Art and Science of Programming Robotic Agentsoptimal-plan-recognition
This is a WIP, trying to get plan-recognition.tar.bz2 working from https://sites.google.com/site/prasplanning/file-cabinetsandbox-gamer
Debian packaging for Gamersandbox-sigma
Debian packaging for Sigma.iaec-attempt
frdcsa
This is the live branch of FRDCSA, intended to be a collaborative workflow with other developers.agent
Resources for implementing Multiagent Systems in Prologauto-builder
Extracts, googles, and lays out possible responses to error messages.gpgpu-planning
Various expert 3rd party classical AI planning resources for GPGPUacademician
Build a knowledge base interactively in Emacs from processed research papers and textsspse
Shared Priority System Editorcyc-mode-2
A much improved Emacs/Perl/Cyc interface, creates a deep channel by wrapping Java APIplanner-api
FLP Prolog <-> PDDL Planning Libraryspace-weather-monitor
Provide alerts as to upcoming space weather that might prompt you to unplug your systems to prevent power spikes damaging them and your datagithub-spider
Download either all of a user's repositories or all repositories matching a searchbleaf
kmax-object-manipulation-system
System to type objects according to syntactic/semantic features and open up contextual menus for affordances for objectdnfct-frdcsa
A performant contingent planner that we hope to integrate, at least with financial and WOPR planning, until FLUX or ALPProlog contingent planners which can call Prolog code in the search, are finishedchap2
CHess Analysis Program v2: aims for positional analysis using chess textbooks translated into Prologies
Information Extraction System (an Emacs annotation/labeling system)resource-manager
Tracking life and productivity resourcesmadla-planner
Third-party multiagent planning systemall
ALL Language Learning: a language acquisition Intelligent Tutoring Systemelle-ethical-consumer
Evidence point list generator.metasite-extractor
System to download codebases from lists of projects/codebases for packagingaudience-systems-irc
A tool for reading ERC out loud using festival, allowing muting of individual or all channels.normal-form
Manage world-state by reducing it to an ordered state akin to a logical normal formformalog-pengines
A system to allow multiple pengines to talk to each other, and hopefully allow access through JavaPenginesuniversal-parser
Parsing subsystem using comprehensive library of grammars to parse various text filesweb-agent
Intelligently spider websites of researchers, extracting out all their resources like software that can be packaged, building a knowledge base / knowledge graph.study
It's great for "I need to know a lot of stuff, and fast".wow
War on Words: a web proxy that rewrites the web according to configurable points of viewkoms-web
Rewriting web proxy that adds contextual menus to recognized entities. Use case is to perform operations on online documentation, such as caching it locally and annotating for QnA, fact extraction, process extraction etc.autonomous-ai-agent
Prolog-Agent/SPAMI/Autonomous BDI+LLM agentsradar
Rapid Application Discovery And Retrievalgourmet-formalog-standalone
A fork of Gourmet-Formalog designed to be independent of FRDCSA, and accessed through Pengines or REPLLove Open Source and this site? Check out how you can help us