- added some documentation about the statistics generated in the experiments
- improved comment
- added some documentation for TD-QBAF benchmark
- added CAC to illustration
- visualization of aspect example
- added AC-influence and ConvexMax-aggregation functions to enable experiments with new conservative semantics
fixed typo
Added some additional methods to reproduce TD-QBAF experiments more easily and some auxiliary methods
Added code for generating TD-QBAFs, evaluating them experimentally and a simple application example
Added Random TD-QBAF Generator and some utility methods
Added Truth Discovery benchmark and examples
Motivation and Overview
- added logistic influence function (AAAI 2021)
- test commit after crash
- make plots better readable
- random generator for IJAR experiments
- added method to delete generated optimization problems from memory
- allow for weighted atomic LS distance
- bugfix and minor change
- refactoring
- some refactorings
- first version of update operator
- bugfix
- restructured code
Share project "ProBabble" into "svn+ssh://nicopotyka@svn.code.sf.net/p/probabble/code/trunk"
- fixed bug in Euler's method
- reorganized examples
- corrected example
- added implementations of modular semantics
- fixed example
- decreased time limit to improve visualization of divergence
- Divergence example for DF-QuAD algorithm based on Mossakowski, Neuhaus
simplified implementing divergence examples
- example for divergence of discrete quadratic energy model (indegree 2) based on Mossakowski, Neuhaus Theorem 15
- improved visualization of Mossakowski-Neuhaus-Example
- Mossakowski, Neuhaus divergence example
Version 0.1
Share project "Attractor" into "svn+ssh://nicopotyka@svn.code.sf.net/p/attractorproject/code"
- eta Disagreement Measures
- changed classpath to stable ojalgo version
- restored reasoning classes corresponding to s...
- downgraded ojalgo to stable version
- slight extension of example
- simple example for using MRFs
template for MCMC implementation
- new data structures for Markov Random Fields
- new ojalgo version
- print warning if computed query result is not...
- bugfix: restart construction of optimization ...
- bugfix
- classpath update
- Java8
- experiments phd thesis
- javadoc weighting functions
- revised priority reasoning examples
- added propositional utility methods
- bugfix
- modified example
- allow users to configure relaxation of constr...
- weighting functions
preliminary versions
- priority reasoning examples (preliminary)
- priority reasoning component euclidean norm (...
- 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
- decompose knowledge base
- new utility class
- use global conjunction symbol in string repre...
- encapsulated constraint matrix generation
- utility class to generate latex documents
- minor changes
- performance test for generating non-violating...
- relational test