The mobile reasoner Pocket KrHyper is an automated theorem proving library for first order logic (and description logic) running on J2ME (Mobile Java) phones.

Project Activity

See All Activity >

Categories

Artificial Intelligence

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Pocket KrHyper

Pocket KrHyper Web Site

You Might Also Like
Control remote support software for remote workers and IT teams Icon
Control remote support software for remote workers and IT teams

Raise the bar for remote support and reduce customer downtime.

ConnectWise ScreenConnect, formerly ConnectWise Control, is a remote support solution for Managed Service Providers (MSP), Value Added Resellers (VAR), internal IT teams, and managed security providers. Fast, reliable, secure, and simple to use, ConnectWise ScreenConnect helps businesses solve their customers' issues faster from any location. The platform features remote support, remote access, remote meeting, customization, and integrations with leading business tools.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Pocket KrHyper!

Additional Project Details

Intended Audience

Science/Research, Developers

Programming Language

Java

Related Categories

Java Artificial Intelligence Software

Registered

2005-11-21
Report inappropriate content