Pocket KrHyper is a theorem proving library for J2ME mobile phones. It supports reasoning in propositional, first order, and description logic and is aimed at mobile knowledge management or semantic web applications.
· The first reasoner for mobile phones
· Uses little resources
· Interfaces for clausal first order logic and description logic
Like it? Share with your friends!
Requirements:MIDP 2.0, CLDC 1.0
Other Java Freeware of Developer «Thomas Kleemann, Alex Sinner»:
Fit2Go Fit2Go is a linear and quadratic function graphing tool and curve fitter
mPustakMultiply Mathematics Practice app that lets you learn with a lot of fun!
Math for Kids - English Welcome to AL KALAM mobile application. You can using this application for learn 1, 2, 3 in English. Have fun learning with AL KALAM mobile a
mPustakAdd Mathematics Practice app that lets you learn with a lot of fun!
Greenfish Plot This program is an advanced curve plotting application for mobile Java devices. It supports plotting multiple explicite, polar or parametric function curves