PropLogicAPI Files

Status: Alpha

Brought to you by: duncanhope

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
proplogicapi	2008-04-30		0
mathml_dtd	2008-04-30		0
proplogicapi_apps	2008-04-30		0
Totals: 3 Items			0

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Start Free

Recommended Projects

Metal and Money
Metal and Money is a puzzle game involving acquiring items, meeting people, using their services. Its design goal was this: Playing M&M mirrors the activity of doing proofs in intuitionistic propositional logic. (Isn't that fascinating!?)
RISO: distributed belief networks
Distributed, heterogeneous Bayesian belief networks
CamShaft
Calculation of camshafts - allows to define a camshaft profile on the set trajectory which should provide the given mechanism. The trajectory can be set graphically, co-ordinates or function.
Proper
Proper is a propositionalization framework written in Java containing several algorithms for generating propositional (and also multi-instance) data from relational databases. It produces data that can be used by the WEKA machine learning workbench.
C++ Kohonen Neural Network Library
Kohonen neural network library is a set of classes and functions for design, train and use Kohonen network (self organizing map) which is one of AI algorithms and useful tool for data mining and discovery knowledge in data (http://knnl.sf.net).