Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
start [2019/04/22 19:44]
jpms
start [2019/05/10 05:54] (current)
jpms
Line 8: Line 8:
  
 ^ Date           ^ News Brief                    ^ ^ Date           ^ News Brief                    ^
 +| 2019/​05/​10 ​    | Paper "​Model-Based Diagnosis with Multiple Observations"​ accepted at IJCAI 2019 (CORE A*)| \\
 | 2019/​04/​22 ​    | Paper "​Assessing Heuristic Machine Learning Explanations with Model Counting"​ accepted at SAT 2019 (CORE A)| \\ | 2019/​04/​22 ​    | Paper "​Assessing Heuristic Machine Learning Explanations with Model Counting"​ accepted at SAT 2019 (CORE A)| \\
 | 2019/​04/​22 ​    | Paper "​DRMaxSAT with MaxHS: First Contact"​ accepted at SAT 2019 (CORE A)| \\ | 2019/​04/​22 ​    | Paper "​DRMaxSAT with MaxHS: First Contact"​ accepted at SAT 2019 (CORE A)| \\
Print/export