Tweety Project

Settings | Report Duplicate

1

I Use This!

Activity Not Available

Commits : Listings

Analyzed over 1 year ago. based on code collected over 1 year ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jan 25, 2024 — Jan 25, 2025 Showing page 1 of 31 Search / Filter on:
Refactorings for Git Migration	agessler	More...				over 5 years ago
added gurobi jar to pom.xml	sfranke43	More...				over 5 years ago
added GurobiOptimizer and examples for it. Added toQuadraticForm to bing quadratic terms into normal form. Added getTerms for every term	sfranke43	More...				over 5 years ago
Bugfixes logics.pl: Fixed special cases when calculating normal forms and prime implicants, corrected empty conjunction/disjunction symbols	agessler	More...				over 5 years ago
ASP library: some refactorings, added method to get optimum of program without answer sets	agessler	More...				over 5 years ago
ClingoSolver minor fix	agessler	More...				over 5 years ago
Improved InconsistencyMeasureEvaluator, added example, added sat-based inconsistency measure implementations	agessler	More...				over 5 years ago
Improvements to SAT solver interface:	agessler	More...				over 5 years ago
added more semantics to getSimpleReasonerForSemantics method	larsbengel	More...				over 5 years ago
renamed NaiveReasoner to SimpleNaiveReasoner	larsbengel	More...				over 5 years ago
added new Semantics to definition	larsbengel	More...				over 5 years ago
Removed console output	agessler	More...				over 5 years ago
minor fix	larsbengel	More...				over 5 years ago
added IteratedLocalSearch for constraint satisfcation problems with example; added comments and an Javadoc to IteratedLocalSearch	sfranke43	More...				over 5 years ago
added implementation for independence in abstract argumentation	larsbengel	More...				over 5 years ago
added new implementation of Graph interface	larsbengel	More...				over 5 years ago
changed field access to protected	larsbengel	More...				over 5 years ago
added Stochastic Search and Iterated search with examples	sfranke43	More...				over 5 years ago
bugfix ideal reasoner	mthimm	More...				over 5 years ago
ASP library: Added optimization statements, parser bugfixes	agessler	More...				over 5 years ago
added method for strong equivalence	larsbengel	More...				over 5 years ago
added implementation of strong equivalence	larsbengel	More...				over 5 years ago
bpm class hierarchy	benediktknopp	More...				almost 6 years ago
[no comment]	sfranke43	More...				almost 6 years ago
Added utility class for comparing the results and performances of inconsistency measure implementations	agessler	More...				almost 6 years ago
Added generic wrapper for cmd line sat solvers	agessler	More...				almost 6 years ago
changed the structure of the optimization problems and solvers by adding an upper level that connects combinatorics and mathematica problems /solvers	sfranke43	More...				almost 6 years ago
Minor bugfix	agessler	More...				almost 6 years ago
ASP library:	agessler	More...				almost 6 years ago
added tool for learning AFs from labelings	larsbengel	More...				almost 6 years ago

←
1
2
3
4
5
6
7
8
9
…
30
31
→