The run-abduction.cmd script demonstrates how to use logical abduction experiment definition. Experiment parameters are passed as string sequences separated by semicolons. Note that logical formulas have to be entered using the prefix format. Symbols forming a formula have to be separated by an underscore. The logical symbols are: conjuction: N - negation K - conjunction A - alternative C - consequence propositional variables available: p,q,r,s,t,u,v,w,x An example: A formula '(p or q) => r' in the infix format should be encoded as 'C_A_p_q_r'. The first parameter is the abductive goal. Next, there is a list of logical formulas separated by whitespaces constituting a database. The last parameter is the output file name. The output file name will be suffixed with 'RawHyp', and the file will be placed in the '/data/scripts_output/' directory. The file will contain a lot of information about the problem and the obtained abductive hypotheses. Note: The experiment definition is currently under developement. One of the issues which are yet to be solved is the low capacity of the program to solve problems which contain many distinct variables (but not occurences of these variables). Currently, the script is able to compute in a reasonable time problems containg up to four distinct variables. Problems containg more variables may take several hours to compute.