Differences

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

Link to this comparison view

Both sides previous revision Previous revision
news [2019/04/22 19:42]
jpms
news [2019/05/10 05:55] (current)
jpms
Line 2: Line 2:
  
 ^ 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