mTableaux

Brought to you by: lsteller

Last Update: 2014-03-08

Get an email when there's a new version of mTableaux

Light-Weight and Resource Adaptive Mobile Tableaux Reasoner for Inference in OWL Source code for my PhD research. Please report any bugs to me: Luke.Steller@gmail.com See my research website: http://hercules.infotech.monash.edu.au/~lukes/

Project Activity

See All Activity >

Follow mTableaux

mTableaux Web Site

Other Useful Business Software

Earn up to 16% annual interest with Nexo.

Let your crypto work for you

Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

Rate This Project

User Reviews

Be the first to post a review of mTableaux!

Additional Project Details

Registered

2010-11-13

Report inappropriate content

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

Recommended Projects

FPlus
FPlus is an application that implements several database theory algorithms such as Fmin, tableaux, normalization, attribute closure, key calculation, efficiency, etc. Test the applet at: http://fplus.sourceforge.net
TableauElec
Tableau électrique
RTSim
RTSim is a simulator for real-time systems written in C++. It has been developed as an internal project at Scuola Superiore Sant'Anna as part of many research project, mainly thanks to the work of many PhD students.
Simple expense manager
A simple app for managing your expenses and have them under control
Finanx 12c
Financial Calculator