The mobile reasoner Pocket KrHyper is an automated theorem proving library for first order logic (and description logic) running on J2ME (Mobile Java) phones.
Release Date:
Topics:
License:
Ratings and Reviews
Be the first to post a text review of Pocket KrHyper. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Forum comment added
lex48 commented on the RE: help on writting facts and rules forum thread -
Forum thread added
amr061 created the help on writting facts and rules forum thread -
pocket krhyper midlet example 0.9.3 file released: PocketKrHyperTPTPExample-src-0.9.3.zip
-
pocket krhyper midlet example 0.9.3 file released: PocketKrHyperTPTP-0.9.3.jar
-
pocket krhyper midlet example 0.9.3 file released: PocketKrHyperTPTP-0.9.3.jad
-
pocket krhyper J2SE example 0.9.3 file released: PocketKrHyperJ2SEExample-src-0.9.3.zip
-
pocket krhyper J2SE example 0.9.3 file released: PocketKrHyperJ2SE-0.9.3.jar
-
File released: /pocket krhyper midlet example/0.9.3/PocketKrHyperTPTPExample-src-0.9.3.zip
-
File released: /pocket krhyper midlet example/0.9.3/PocketKrHyperTPTP-0.9.3.jar
-
File released: /pocket krhyper J2SE example/0.9.3/PocketKrHyperJ2SEExample-src-0.9.3.zip
Rate and Review
Be the first person to add a text review.
Related Projects
-
Snort-AI
Objective of SnortAI project is create a family of Snort plug-ins based on Artificial Intelligence (AI) technologies (i.e. Artificial Neural Networks or Fuzzy Logic) to detect different kinds of hostile traffic.
-
-
Sigma
Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org
Pocket KrHyper Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
