RSS 1 project tagged "Windows"

Download Website Updated 26 Jan 2006 Discrete Event Calculus Reasoner

Screenshot
Pop 40.25
Vit 1.00

The Discrete Event Calculus Reasoner allows a programmer to add common-sense reasoning capabilities to programs. It supports deduction/temporal projection, abduction/planning, postdiction, and model finding. It allows default reasoning about action, change, space, and mental states. It is based on the event calculus, a comprehensive and highly usable logic-based formalism. It helps applications understand the world, make inferences, adapt to unexpected situations, and be more flexible.

Screenshot

Project Spotlight

Roxen WebServer

A platform-independent Webserver featuring strong encryption and SSL3.

Screenshot

Project Spotlight

Linux DVR

A portable live-USB distributive video CCTV system.