Activity for Nico Potyka
-
Nico Potyka committed [r30] on Code
- 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
1 >