- eta Disagreement Measures
fixed bug in contradiction
- changed classpath to stable ojalgo version
- restored reasoning classes corresponding to s...
- downgraded ojalgo to stable version
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
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
- classpath update
- Java8
- experiments phd thesis
- WolfeDual Function
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 (...
- 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
- 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...
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