Activity for KReator
-
Nico Potyka committed [r3936]
- eta Disagreement Measures
-
Steven Kutsch committed [r3935]
fixed bug in contradiction
-
- changed classpath to stable ojalgo version
-
- restored reasoning classes corresponding to s...
-
- downgraded ojalgo to stable version
-
Thea Behrens committed [r3931]
Corrected some comments
-
added method with additional parameters to spec...
-
Structured MCMC code into several methods, inse...
-
Corrected the MCMC algorithm
-
Implementation of the MCMC, still very messy, b...
-
draft of MCMC solution
-
- slight extension of example
-
- simple example for using MRFs
-
-
template for MCMC implementation
-
- new data structures for Markov Random Fields
-
Marc Finthammer committed [r3920]
added some more examples for conjunctions
-
more work on support for a conjunctions
-
added first experimental support for a conjunct...
-
- new ojalgo version
-
- print warning if computed query result is not...
-
- bugfix: restart construction of optimization ...
-
- bugfix
-
KReator released /log4kr.zip
-
- classpath update
-
- Java8
-
- experiments phd thesis
-
Henriette Fuß committed [r3910]
- WolfeDual Function
-
Tobias Falke committed [r3909]
RelationalSystemZ - project added
-
RelationalSystemZ - top folder
-
- javadoc weighting functions
-
- revised priority reasoning examples
-
- added propositional utility methods
-
- plug-in version from 2015 which has been used...
-
- added more examples
-
- further improved the output of the atomic con...
-
- modified Unit Tests
-
- bugfix
-
- added Unit Tests
-
- modified example
-
- allow users to configure relaxation of constr...
-
- weighting functions
-
preliminary versions
-
- priority reasoning examples (preliminary)
-
- priority reasoning component euclidean norm (...
-
Stefan Kiesel committed [r3892]
- Repair with Minimal Violation Measures added
-
minor change
-
- finished implementing the combinatorial algor...
-
- started implementing the combinatorial algori...
-
added atomic examples
-
- plug-in version from 2014 which has not been ...
-
- added Unit Tests
-
-added methods
-
- added Unit tests
-
- added Unit test
-
- add Unit test
-
- naive equivalence test (needs additional test...
-
- fixed probabilistic entailment for aggregatin...
-
- generalized atomic constraint formulas and ex...
-
- allow sceptical and credulous entailment
-
- always print interval bounds
-
- file extension
-
- example
-
- bugfix
-
- decompose knowledge base
-
- new utility class
-
- use global conjunction symbol in string repre...
-
- Misanthrope example
-
- extended LateXWriter and examples
-
1 committed [r3868]
- simplified code
-
- for numerical reasons, allow lower>smaller if...
-
- bugfix
-
- extended LatexWriter and added example
-
- corrected directory
-
- new method setAccuracy
-
- encapsulated constraint matrix generation
-
- utility class to generate latex documents
-
- minor changes
-
- performance test for generating non-violating...
-
- relational test
-
- extended unit tests
-
- additional method for WorldFactories to gener...
-
- more examples
-
- extended examples
-
- minor modifications of Generalized Entailment...
-
- extended examples
-
- finished Generalized Entailment Component for...
-
Steffen Kuche committed [r3850]
Consideration of null worlds
-
Consideration of null worlds
-
- corrected copy&paste error in comment
-
- allow integrity constraints in inconsistency ...
-
- refactored generalized entailment component
-
- refactored entailment component
-
- extended example
-
- extended example
-
- bugfix
-
- added some comments
-
- generalized entailment examples
-
- some refactorings and bugfixes
-
- refactored inconsistency measures
1 >