Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ b75e5a66

Name Size
  GMLMIP-0.1
ALCFormula.ml 54.2 KB
ALCFormula.mli 3.3 KB
ALCGraph.ml 15.1 KB
ALCGraph.mli 160 Bytes
ALCMisc.ml 31.5 KB
CoAlgFormula.ml 48.2 KB
CoAlgFormula.mli 5.21 KB
CoAlgLogicUtils.ml 3.58 KB
CoAlgLogicUtils.mli 285 Bytes
CoAlgLogics.ml 13.8 KB
CoAlgLogics.mli 196 Bytes
CoAlgMisc.ml 31 KB
CoAlgMisc.mli 11.1 KB
CoAlgReasoner.ml 22.2 KB
CoAlgReasoner.mli 505 Bytes
CoolUtils.ml 1.79 KB
CoolUtils.mli 1.03 KB
FunctorParsing.ml 5.96 KB
FunctorParsing.mli 534 Bytes
FuzzyALCABox.ml 15.6 KB
FuzzyALCABox.mli 1.92 KB
FuzzyALCReasoner.ml 24.8 KB
HashConsing.ml 8.64 KB
HashConsing.mli 699 Bytes
MiscSolver.ml 21.4 KB
MiscSolver.mli 2.01 KB
altGenlex.ml 9.45 KB
altGenlex.mli 416 Bytes
genAndComp.ml 68.2 KB
glpk.ml 5.9 KB
glpk.mli 5.7 KB
glpk_stub.c 11 KB
gmlmip.ml 406 Bytes
gmlmip.mli 597 Bytes
gmlmip_stub.c 3.47 KB
minisat.ml 1.06 KB
minisat.mli 455 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
b75e5a66 03/15/2015 11:18 PM Dominik Paulus

Submitted version of fuzzy ALC reasoner

433c8a2e 07/21/2014 02:48 PM Thorsten Wißmann

Reset CoAlgReasoner to the version ee45f2f

This fixes an assertion that failed for the PML+K formula

sat "({>= 3/5} (False + <R1> True & <R2> True) & {>= 2/5} ({>= 1/10} p0 & {>= 1/10} (~ p0) + False ) + False)"

which is satisfiable.

9bae2c4f 07/21/2014 01:49 PM Thorsten Wißmann

Implement the REAL box of PML

25fb6e92 07/21/2014 12:21 PM Thorsten Wißmann

Glue GMLMIP and Cool together for PML purposes

c855ba91 07/21/2014 11:34 AM Thorsten Wißmann

Change AtMostProbable to LessProbableThan

The actual box of PML (in GMLMIP) is: less probable than. The Diamond
is: At least Probable than.

So now you have ¬[p] C = <p> C.

eda515b6 07/21/2014 11:05 AM Thorsten Wißmann

Add ocaml part of PML rule application

d193f4aa 07/20/2014 04:54 PM Thorsten Wißmann

Remove debug output

36bfdafd 07/20/2014 04:04 PM Thorsten Wißmann

Implement parsing of composition of functors

86b07be8 07/20/2014 11:05 AM Thorsten Wißmann

Add formula constructors for PML

4bfb63a1 07/20/2014 11:05 AM Thorsten Wißmann

Remove unneeded variables

View revisions

Also available in: Atom