Commits · unify-lambda-mu · Eric Wurbel / Evidence

Browse files

Jan 22, 2024
- to be tested · 2550f207
  Eric Würbel authored 1 year ago
  
  2550f207
- forgotten save · 7b56e5d1
  Eric Würbel authored 1 year ago
  
  7b56e5d1
- unified computation of mu/lambda combination. First draft · 951b49f4
  Eric Würbel authored 1 year ago
  
  951b49f4
- corrected spec · 153b73fb
  Eric Würbel authored 1 year ago
  
  153b73fb
Jan 19, 2024
- source reformatting · 3a6608e8
  Eric Würbel authored 1 year ago
  
  3a6608e8
- first working version. · 26a8bd32
  Eric Würbel authored 1 year ago
  
  26a8bd32
- debugging. · fa7e7c6e
  Eric Würbel authored 1 year ago
  
  fa7e7c6e
- first draft full prioritized evidence. · de51d63e
  Eric Würbel authored 1 year ago
  
  de51d63e
- raw prioritized evidence ok, ongoing work on full version. · 2e44fa73
  Eric Würbel authored 1 year ago
  
  2e44fa73
Jan 18, 2024
- added test file for evidence computation · 163d3ae5
  Eric Würbel authored 1 year ago
  
  163d3ae5
- raw prioritized belief computation to be tested · 6190f945
  Eric Würbel authored 1 year ago
  
  6190f945
Jan 16, 2024
- code formatting. · b0816505
  Eric Würbel authored 1 year ago
  
  b0816505
Oct 20, 2023
- added some comments · 4afc92d4
  Eric Würbel authored 1 year ago
  
  4afc92d4
May 23, 2023
- added "lambda" masses computation (relies on integer arithmetic) · 725c5f6b
  Eric Würbel authored 2 years ago
  
  725c5f6b
Feb 03, 2023
- error in Wincl enumeration · 8e286cd0
  Eric Würbel authored 2 years ago
  
  8e286cd0
Feb 02, 2023
- added global BBA trace on level 1 · b3a1b588
  Eric Würbel authored 2 years ago
  
  b3a1b588
Feb 01, 2023
- command line error handling. · 03635b04
  Eric Würbel authored 2 years ago
  
  03635b04
- labeled sets version ok & tested. · 83b610cd
  Eric Würbel authored 2 years ago
  
  83b610cd
Jan 30, 2023
- work in progress. Does not run (and probably not compile either). · 5ed1b07f
  Eric Würbel authored 2 years ago
  
  5ed1b07f
- some comments. · 670f2ce1
  Eric Würbel authored 2 years ago
  
  670f2ce1
- added options: print generated asp program and print answer sets · 466b7452
  Eric Würbel authored 2 years ago
  
  466b7452
- bug in disjunction body generation. Corrected test predicate. · f14eca8b
  Eric Würbel authored 2 years ago
  
  f14eca8b
Jan 27, 2023
- added traces. · f8537b46
  Eric Würbel authored 2 years ago
  
  f8537b46
- ooops · 8e75a3de
  Eric Würbel authored 2 years ago
  
  8e75a3de
- let's test this email thing · 2cd5c5e8
  Eric Würbel authored 2 years ago
  
  2cd5c5e8
- small comment · 3ef3a612
  Eric Würbel authored 2 years ago
  
  3ef3a612
- autoload error. · 3d6c5e15
  Eric Würbel authored 2 years ago
  
  3d6c5e15
- reformating. · ece31856
  Eric Würbel authored 2 years ago
  
  ece31856
Jan 25, 2023
- Ok, raw mode implemented. Reworked CLI · e58225ba
  Eric Würbel authored 2 years ago
  
  e58225ba
- some useful comments. · 2700082a
  Eric Würbel authored 2 years ago
  
  2700082a
Dec 02, 2022
- solved bug in subformulae disjunction rule generation. · faf2f7ae
  Eric Würbel authored 2 years ago
  
  faf2f7ae
Nov 18, 2022
- added useless option :o) · 80bc88bf
  Eric Würbel authored 2 years ago
  
  80bc88bf
Jun 24, 2022
- added some comments. · 14940faf
  Eric Würbel authored 3 years ago
  
  14940faf
Jun 16, 2022
- divers ajouts pour le calcul des intersections des Bi · a69c875a
  Eric Würbel authored 3 years ago
  
  a69c875a
Jun 10, 2022
- working on new example · 19fb0645
  Eric Würbel authored 3 years ago
  
  19fb0645
May 31, 2022
- ignoring executable · a697aca9
  Eric Würbel authored 3 years ago
  
  a697aca9
- added compilation script. · 613a2943
  Eric Würbel authored 3 years ago
  
  613a2943
- first functional version. · 65da14aa
  Eric Würbel authored 3 years ago
  
  65da14aa
- Excluding sandbox. · cecfb0d8
  Eric Würbel authored 3 years ago
  
  cecfb0d8
May 25, 2022
- main program almost ok. Something wrong with negations. · 2df14c40
  Eric Würbel authored 3 years ago
  
  2df14c40