Pocket KrHyper

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 >

License

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

Follow Pocket KrHyper

Pocket KrHyper Web Site

Other Useful Business Software

Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.

Download Chrome

Rate This Project

User Reviews

Be the first to post a review of Pocket KrHyper!

Additional Project Details

Intended Audience

Developers, Science/Research

Programming Language

Java

Related Categories

Java Artificial Intelligence Software

Registered

2005-11-21

Similar Business Software

Adobe PDF Library SDK

Developers rely on Datalogics to provide the most comprehensive PDF SDKs in the industry. We are SOC 2 Type 2 certified. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same...

See Software
Jotform

Trusted by over 25 million users, Jotform is an all-in-one, no-code platform that simplifies data collection, automation, and online sales. Using its drag-and-drop Form Builder, businesses can create customized forms and surveys to collect leads, payments, and e-signatures. With 10,000+...

See Software
JetBrains Junie

Junie is an AI-powered coding agent developed by JetBrains designed to enhance developer productivity by integrating directly into popular IDEs such as IntelliJ IDEA, PyCharm, and Android Studio. It supports developers by assisting with code completion, testing, and inspections, ensuring code...

See Software
Coursebox AI

Transform your content into engaging eLearning experiences with Coursebox, the #1 AI-powered eLearning authoring tool. Our platform automates the course creation process, allowing you to design a structured course in seconds. Simply make edits, add any missing elements, and your course is ready...

See Software
Atera

Atera, the first and only Agentic AI platform for IT management, offers IT teams and MSPs a digital workforce of AI agents to preemptively and autonomously manage their entire IT operations. Its all-in-one platform combines RMM, helpdesk, ticketing, and automation to reduce downtime, improve...

See Software
Podium

Podium is a comprehensive AI-driven lead management and communication platform utilized by over 100,000 businesses seeking to enhance customer acquisition and retention. At the heart of Podium’s innovation is its AI employee, which ensures businesses respond to incoming leads instantly around...

See Software