Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • config
  • label-sets
  • lambda
  • master default protected
  • prioritized
  • rawmode
  • unify-lambda-mu
7 results
Created with Raphaël 2.2.015Jan9Feb26Jan2524232219181620Oct23May3Feb2130Jan27252Dec18Nov24Jun161031May2523201817formula_io.pl, logic.pl: check propositionnal atom when loading.mastermasterbug in KB structure loading in raw mode.propositional atoms validationdocumentationdocumentationworking configuration fileadded READMEformat errorsource cleaningimplementing optional sort.prioritizedprioritizedto be testedunify-lambda-muunify-lambda-muforgotten saveunified computation of mu/lambda combination. First draftcorrected specsource reformattingfirst working version.debugging.first draft full prioritized evidence.raw prioritized evidence ok, ongoing work on full version.added test file for evidence computationraw prioritized belief computation to be testedcode formatting.added some commentsadded "lambda" masses computation (relies on integer arithmetic)lambdalambdaerror in Wincl enumerationadded global BBA trace on level 1command line error handling.labeled sets version ok & tested.label-setslabel-setswork in progress. Does not run (and probably not compile either).some comments.added options: print generated asp program and print answer setsbug in disjunction body generation. Corrected test predicate.added traces.ooopslet's test this email thingsmall commentautoload error.reformating.config management. TODO testconfigconfigOk, raw mode implemented. Reworked CLIrawmoderawmode