GLORIA

planning

Add a Review
1 Download (This Week)
Last Update:
Download gloria-v-1-1-2.tar.gz
Browse All Files
BSD

Description

This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.

GLORIA Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of GLORIA!

Additional Project Details

Programming Language

Java

Registered

2005-06-28
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.