General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Assignee Updated
33lw-simulatorFeatureIn ProgressNormalcalling console from GUIAlexander Dietsch07/05/2016 07:48 PM
32lw-simulatorFeatureNewLowvariables used in the program and their names07/05/2016 03:03 PM
31lw-simulatorFeatureNewNormalNative support of if ... then ... elseAlexander Dietsch07/05/2016 02:54 PM
30lw-simulatorBugFeedbackNormalconsole mode not working Tadeusz Litak07/07/2016 04:13 PM
29COOLFeatureNewNormalImplement PML via using gmlmip07/20/2014 11:57 AM
28COOLFeatureNewNormalWeb-Interface07/20/2014 11:56 AM
22COOLFeatureNewNormalDirectly implement GML using linear unequalitiesThorsten Wißmann05/17/2014 01:16 PM
21COOLFeatureNewHighAllow Reasoner nodes to be Or-nodesThorsten Wißmann05/17/2014 01:13 PM
19COOLBugNewNormalGML formula takes longThorsten Wißmann03/20/2017 02:26 PM
11COOLFeatureNewNormalImplement OWL query: unsatThorsten Wißmann04/22/2014 09:13 PM
10COOLFeatureNewNormalImplement OWL query: realizeThorsten Wißmann04/22/2014 09:12 PM
9COOLFeatureNewLowImplement OWL query: instance retrivalThorsten Wißmann04/22/2014 09:12 PM
8COOLFeatureNewLowImplement OWL query: concept subsumptionThorsten Wißmann04/22/2014 09:11 PM
7COOLFeatureNewLowImplement OWL query: explainThorsten Wißmann04/22/2014 09:11 PM
6COOLFeatureNewNormalImplement OWL query: entailThorsten Wißmann04/22/2014 09:13 PM
5COOLFeatureNewNormalImplement OWL query: consistencyThorsten Wißmann05/06/2014 11:04 AM
4COOLFeatureNewNormalImplement OWL query: classifyThorsten Wißmann04/22/2014 09:10 PM
3COOLFeatureIn ProgressHighRead OWL functional syntaxThorsten Wißmann04/22/2014 09:14 PM
2COOLFeatureIn ProgressNormalFull OWL supportThorsten Wißmann05/06/2014 11:04 AM
1COOLFeatureNewLowREPLThorsten Wißmann05/17/2014 01:37 PM
    (1-20/20)

    Also available in: Atom CSV PDF