Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. GLORIA

GLORIA 1.1.2

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

Ce projet consiste à mettre en œuvre un moteur de raisonnement basé sur la programmation logique pour un agent. Nous avons commencé par une mise en œuvre des procédures iff-proof, par Kowalski et Fung, comme un algorithme de tous les temps écrit dans Prolog.

historique de la version

  • Version gloria-v.1.1.2 posté sur 2007-10-23
    Plusieurs correctifs et mises à jour
  • Version gloria-v.1.1.2 posté sur 2007-10-23

Détails du programme

Programmes connexes

  • MidiT Gratuit

    Commandez la ligne midi file player basée sur aplaymidi mais avec plus de fonctionnalités (pause, chercher vers l’arrière/vers l’avant, ajuster le tempo, le temps d’affichage, ...). La sortie midi peut être envoyée à n’import

  • DVB ZAP Library Gratuit

    Contrôlez les paramètres d’un appareil DVB sous Linux. L’approche bibliothèque permet de construire des outils de ligne de commande, des listes de canaux, des applets de bureau, des outils d’enregistrement sur une base commun

  • FiLMDB Gratuit

    FiLMDB est une liste phpbased et mysqlbased pour eux qui ne peuvent pas se rappeler quels films ils ont vus.

  • JWW (Java Web-Workflows) Gratuit

    Un cadre Java pour le traitement des workflows WebApplication et le verrouillage simple et universel des objets.

  • Freelance Gratuit

    Freelance fournit un Java pur, shell indépendant plate-forme. Les fonctionnalités incluent un historique de commande, une complètetion automatique du nom de fichier, des variables env et l’exécution du programme fileté.

  • Moog The Source Controller Gratuit

    Ce sont les sources arduino pour mon Encore Electronics MIDI modernisé Moog The Source. Je vais également télécharger les schémas EAGLE et mises en page PCB pour le contrôleur.

  • Oh la belle prise Gratuit

    Modélisateur 3D et raytraceur, à l’aide d’OpenGL Api. écrit en C

  • ezmeister Gratuit

    Outils supplémentaires pour ezmlm pour prendre en charge les archives de base de données, le vote de qualité des messages et d’autres fonctionnalités pratiques comme l’administration XML-RPC.

  • JMJ overseas education consultants irela Gratuit

    JMJ consultants en éducation à l’étranger est un des meilleurs consultants pour l’Irlande, l’Allemagne, la Finlande, le Canada, la Suède à Hyderabad et les meilleurs consultants pour l’Allemagne à Hyderabad.

  • Epoch Gratuit

    Epoch est une bibliothèque de temps flexible qui couvre tous les aspects de la programmation du calendrier. en utilisant mcal, les programmeurs sont capables d’écrire des calendriers standard en grégorien, Hijri , Jalali et .