Submit Software
  1. Home
  2. Windows
  3. Other
  4. GLORIA

GLORIA 1.1.2

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

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.

VERSION HISTORY

  • Version gloria-v.1.1.2 posted on 2007-10-23
    Several fixes and updates
  • Version gloria-v.1.1.2 posted on 2007-10-23

Program Details

Related Programs

  • MidiT Free

    Command line midi file player based on aplaymidi but with more functionalities (pause, seek backwards/forwards, adjust tempo, display time, ...). The midi output can be sent to any MIDI alsa port.

  • DVB ZAP Library Free

    Control settings of a DVB device in Linux. The library approach allows to build commandline tools, channel lists, desktop applets, recording tools on a common base.

  • FiLMDB Free

    FiLMDB is a phpbased and mysqlbased list for them who cant remember which movies they have seen.

  • JWW (Java Web-Workflows) Free

    A Java Framework for handling of WebApplication Workflows and simple and universal locking of objects.

  • Freelance Free

    Freelance provides a pure Java, platform independent shell. Features include a command history, file name auto completetion, env variables and threaded program execution.

  • Moog The Source Controller Free

    This are the arduino sources for my Encore Electronics MIDI retrofitted Moog The Source. I Will also upload the EAGLE schematics and PCB layouts for the controller.

  • Oh la belle prise Free

    3D modeler and raytracer, using OpenGL Api. written in C

  • ezmeister Free

    Add-on tools for ezmlm to support database archives, message quality voting and other handy features like XML-RPC administration.

  • JMJ overseas education consultants irela Free

    JMJ overseas education consultants is a top consultants for Ireland,Germany, Finland, Canada, Sweden in Hyderabad and best consultants for germany in hyderabad.

  • Epoch Free

    Epoch is a flexible time library which covers all aspect of calendar programming. using mcal, programmers are capable of writing standard calendars in Gregorian, Hijri , Jalali and ...