Note: this page is out-of-date and not maintained anymore...
Please refer to the actual web site.

 
LoTREC

For runnig lotrec you should put the file .java.policy in your home folder.

Where is my home folder?
  • For the Unix and Linux platforms it is enough to type "echo $home" in a terminal to know where is your home folder.
  • For windows systems, here is a small program home.class , written in java language. It is enough to run it, so that it tell you where is your home folder in which you should put the file: .java.policy
    To do this, you should create a file named: name.bat and write inside: java home only then save it in the same folder which contains the file: home.class/ Then it is enough to click twice on it.

Note: to be able to run lotrec you should have java in your machine.

How can I get java?

To download java:

  • Go to : http://java.sun.com/.
  • In the Popular downloads, click on lst version.
  • After, in J2SE v (1.5) SDK includes the JVM technology, click on "Download J2SE JRE". After check accept and click on continue.
  • According to your platform, you choose the corresponding file to dowenload.
  • When the file is on your machine, if you have windows platform it is enough to click twice on it and follow the instructions.
    In the unix or Linux platforms you should open a console and change the current directory to the one which contains the file, then you type:
    ./name_of_the_file then enter.
  • The last thing to be made is to modify the envirennement variable PATH:
    For Unix and Linux systems, type in a consol: set path=($path home_java/bin) where home_java is the folder where you installed java( for exemple /home/X/jdk1.4.2_06/)
    For windows platforms, go to: start->control panel->performances and maintenance->system->advanced->envirennement variables, the modify the path variable for the same goal. This is for Windows XP, in the other windows you should modify the path variablein the file autoexec.bat

Manual

Run LOTREC

Predifined Logics

Download LOTREC

Introduction to LoTREC and Tableaux Methods

A list of conditions and actions that can be used with LoTREC