True Colours Project Tools ENG (1)
Project Title
Promotor Marc Denecker version
Phd Student Pieter Van Hertum date 30/05/14
n° Description Starting Date Due Date Who
Milestone 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48
TRACK 1 LITERATURE 01/09/12 31/12/10
1.1 IDP, KBS, FO(.), KR: My field 01/09/12 01/03/13
1.2 Business Rules 30/04/08 30/09/08
1.3 Complexity results Business Rules Management 01/09/08 31/12/08
1.4 Natural language interfacing 01/09/14 01/02/15
1.5 Solver techniques for generating explanations 01/07/15 01/11/15
TRACK 2 RESEARCH
2.1 Modelling Car Rental UseCase 01/03/13 01/07/13
2.2 Complexity analysis incomplete knowledge finished 01/10/14 01/03/14
2.3 Decision techniques for incomplete knowledge 01/03/14 01/11/14
2.4 Automatic translation tool finished 01/12/14 01/03/15
2.5 Justification analysis theory developed 01/03/15 01/07/15
2.6 Unsatcore for explanations theory developed 01/07/15 01/11/15
2.7 Generation of explanations tool finished 01/11/15 01/01/16
TRACK 3 PUBLICATIONS
3.1 Paper on Logic vs Business Rules is accepted 01/07/13 01/08/13
3.2 Second paper on logic vs Business Rules written 01/07/14 01/08/14
3.3 Paper on static decision techniques accepted 01/10/14 01/11/14
3.4 Paper on dynamic decision techniques accepted 01/11/14 01/12/14
3.5 Paper automatic translation written 01/03/15 01/04/15
3.6 Paper generation explanation written 01/02/16 01/02/16
TRACK 4 REPORTING
4.1 9 months presentation 01/06/13
4.2 21 months dissertation 01/06/14
4.3 36 months presentation 01/09/15
4.4 Thesis submission 01/01/16 01/07/16
4.5 Preliminary Defence 01/08/16
4.6 Public Defence 01/09/16
TRACK 5 EDUCATION
5.1 SAT Summer School 01/07/13
5.2 Management of your PhD 01/05/14
5.3 Rule Reasoning Doctoral School 01/07/14
TIME LINE (months)
Milestone Planning
Combining strenghts of Logic and Business Rules
Page 1 Milestoneplan

True colours project tools eng (1)

  • 1.
    True Colours ProjectTools ENG (1) Project Title Promotor Marc Denecker version Phd Student Pieter Van Hertum date 30/05/14 n° Description Starting Date Due Date Who Milestone 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 TRACK 1 LITERATURE 01/09/12 31/12/10 1.1 IDP, KBS, FO(.), KR: My field 01/09/12 01/03/13 1.2 Business Rules 30/04/08 30/09/08 1.3 Complexity results Business Rules Management 01/09/08 31/12/08 1.4 Natural language interfacing 01/09/14 01/02/15 1.5 Solver techniques for generating explanations 01/07/15 01/11/15 TRACK 2 RESEARCH 2.1 Modelling Car Rental UseCase 01/03/13 01/07/13 2.2 Complexity analysis incomplete knowledge finished 01/10/14 01/03/14 2.3 Decision techniques for incomplete knowledge 01/03/14 01/11/14 2.4 Automatic translation tool finished 01/12/14 01/03/15 2.5 Justification analysis theory developed 01/03/15 01/07/15 2.6 Unsatcore for explanations theory developed 01/07/15 01/11/15 2.7 Generation of explanations tool finished 01/11/15 01/01/16 TRACK 3 PUBLICATIONS 3.1 Paper on Logic vs Business Rules is accepted 01/07/13 01/08/13 3.2 Second paper on logic vs Business Rules written 01/07/14 01/08/14 3.3 Paper on static decision techniques accepted 01/10/14 01/11/14 3.4 Paper on dynamic decision techniques accepted 01/11/14 01/12/14 3.5 Paper automatic translation written 01/03/15 01/04/15 3.6 Paper generation explanation written 01/02/16 01/02/16 TRACK 4 REPORTING 4.1 9 months presentation 01/06/13 4.2 21 months dissertation 01/06/14 4.3 36 months presentation 01/09/15 4.4 Thesis submission 01/01/16 01/07/16 4.5 Preliminary Defence 01/08/16 4.6 Public Defence 01/09/16 TRACK 5 EDUCATION 5.1 SAT Summer School 01/07/13 5.2 Management of your PhD 01/05/14 5.3 Rule Reasoning Doctoral School 01/07/14 TIME LINE (months) Milestone Planning Combining strenghts of Logic and Business Rules Page 1 Milestoneplan