# Tasks

## Task List

### Task LPSP

- **Denomination**
  -  Logic Programs Structure and Properties
- **Description and expected results:**
    - **Objectives**: Clarify the role of logic program structure, eg stratified, or recursive  programs or functional symbols, in the equivalence relation of events classes. 
    - **Methods**: Investigate the types of logic program structures, how they affect known ILP systems and what is the relationship with our approach.
    - **Expected Results**: Two papers accepted in A* or A international conferences or Q1 journals.
    - **Links to other tasks**: [TODO] (preconditions and results)
    - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
    - **Justification for the needed resources**: Members should present the results in international conferences, requiring support for registration, travel, accommodation and food.
- **Assigned team members:**
  - Francisco Coelho, Universidade de Évora
  - Bruno Dinis, Universidade de Évora
  - Salvador Abreu, Universidade de Évora
- **Person*Month:**
  - [TODO]
- **Deliverables:**
  - Paper ONE in International Conference: M08
- **Budget**
  - Registration, travel, accommodation and food for conference ONE: 3000,00€
  - Total, including 25% overheads: 3750,00€

### Task LPEQ

- **Denomination**
  - The Role of Equivalence Relations in Scoring Programs
- **Description and expected results**
    - **Objectives**: Clarify the role of the equivalence relation, used to partition the event space, in the performance of methods and applications. 
    - **Methods**: Investigate variations of the equivalence relation, eg considering only super-events instead of super- and sub-events, and the resulting effects.
    - **Expected Results**: One paper accepted in A* or A international conference or Q1 journal.
    - **Links to other tasks**: [TODO] (preconditions and results)
    - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
    - **Justification for the needed resources**: A member should present the results in an international conference, requiring support for registration, travel, accommodation and food.
- **Assigned team members**
  - Francisco Coelho, Universidade de Évora
  - Bruno Dinis, Universidade de Évora
- **Person*Month**
  - [TODO]
- **Deliverables**
  - Paper TWO in International Conference: M09 - M17
- **Budget**
  - Registration, travel, accommodation and food for conference TWO: 3000,00€
  - Total, including 25% overheads: 3750,00€

### Task LPERR

- **Denomination**
  - The Role of the Error Function
- **Description and expected results**
    - **Objectives**: Explore the role of the error function, used to score a probabilistic ASP wrt observations, in the performance of methods and applications.
    - **Methods**: Investigate variations of the error function, eg Kullback-Leibler divergence instead of the L2 used, observation sets form various domains, and the resulting effects.
    - **Expected Results**: One paper accepted in A* or A international conference or Q1 journal.
    - **Links to other tasks**: [TODO] (preconditions and results)
    - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
    - **Justification for the needed resources**: A member should present the results in an international conference, requiring support for registration, travel, accommodation and food.
- **Assigned team members**
  - Francisco Coelho, Universidade de Évora
  - Ligia Henriques-Rodrigues, Universidade de Évora
- **Person*Month**
  - [TODO]
- **Deliverables**
  - Paper THREE in International Conference: M01 - M08
- **Budget**
  - Registration, travel, accommodation and food for conference THREE: 3000,00€
  - Total, including 25% overheads: 3750,00€

### Task ISASTSE

- **Denomination**
  - Inductive Stochastic Answer Set Programs by Space Exploration
- **Description and expected results**
    - **Objectives**: Proceed from scoring programs to induce ASP programs using genetic algorithms or other program space exploration methods.
    - **Methods**: Investigate program transformation and program space exploration methods and rules.  
    - **Expected Results**: One paper accepted in A* or A international conference or Q1 journal.
    - **Links to other tasks**: [TODO] (preconditions and results)
    - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
    - **Justification for the needed resources**:  A member should present the results in an international conference, requiring support for registration, travel, accommodation and food.
- **Assigned team members**
  - Francisco Coelho, Universidade de Évora
  - Salvador Abreu, Universidade de Évora
- **Person*Month**
  - [TODO]
- **Deliverables**
  - Paper FOUR in International Conference: M01 - M09
- **Budget**
  - Registration, travel, accommodation and food for conference FOUR: 3000,00€
  - Total, including 25% overheads: 3750,00€

### Task ISF

- **Denomination**
  - Integration with existing ASP and ILP software frameworks
- **Description and expected results**
    - **Objectives**: Exploit and contribute to existing ASP frameworks, such as Potassco.
    - **Methods**: Implement a library to parse the ASP language extended with probabilistic annotations; utilize existing ASP frameworks to compute stable models; compute the event classes and respective probabilities.
    - **Expected Results**: A library, and the respective API, to parse extended ASP; interface with existing ASP frameworks; compute event classes and respective probabilities.
    - **Links to other tasks**: 
      - Result: Task HPC; deliverable: Library API
    - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
    - **Justification for the needed resources**:
      - The implementation amount and complexity requires a fulltime PhD student working over a year, using a suitable laptop.
- **Assigned team members**
  - Francisco Coelho, Universidade de Évora
  - BI Scholarship fellow, Universidade de Évora
- **Person*Month**
  - [TODO]
- **Deliverables**
  - Software Library Repository: M03 - M15
  - Library API:  M06
  - Implementation Report: M16
- **Budget**
  - Laptop computer:   2600,00€
  - BI Scholarship:   13735,68€ = 1144,64€ x 12 months 
  - Total, including 25% overheads: 20419,60€

### Task HPC

- **Denomination**
  - High Performance Computing for Induction and Use of SASP
- **Description and expected results**
    - **Objectives**: Use High Performance Computing systems to speedup and scale-up applications of our methods.
    - **Methods**: Benchmark the benefits of data and process distribution on High Performance Computing systems. 
    - **Expected Results**: Report on the performance of the distributed versions of the programs to interface with existing ASP frameworks and compute event classes and respective probabilities.  
    - **Links to other tasks**:
      -  Precondition: Task ISF; Deliverable: Library API
    - **Partners and Institution Roles**: 
      - Universidade de Évora [ROLES]
      - High Performance Computing Chair [ROLES]
    - **Justification for the needed resources**: [TODO]
- **Assigned team members**
  - Francisco Coelho, Universidade de Évora
  - Miguel Avillez, High Performance Computing Chair
- **Person*Month**
  - [TODO]
- **Deliverables**
  - Software Library Repository: M06 - M18
  - Implementation Report: M18
- **Budget**
  - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
  - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"

### Task APPT

- **Denomination**
  - Applications of Stochastic ASP in Theoretic Scenarios
- **Description and expected results**
    - **Objectives**: [TODO]
    - **Methods**: [TODO]
    - **Expected Results**: [TODO]
    - **Links to other tasks**: [TODO] (preconditions and results)
    - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
    - **Justification for the needed resources**: [TODO]
- **Assigned team members**
  - [TODO] Member
- **Person*Month**
  - [TODO]
- **Deliverables**
  - [TODO]Type  and Description; evidences and results
- **Budget**
  - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
  - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"

### Task APPS

- **Denomination**
  - Applications of Stochastic ASP in Statistic Tasks
- **Description and expected results**
    - **Objectives**: [TODO]
    - **Methods**: [TODO]
    - **Expected Results**: [TODO]
    - **Links to other tasks**: [TODO] (preconditions and results)
    - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
    - **Justification for the needed resources**: [TODO]
- **Assigned team members**
  - [TODO] Member
- **Person*Month**
  - [TODO]
- **Deliverables**
  - [TODO]Type  and Description; evidences and results
- **Budget**
  - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
  - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"

### Task APPW

- **Denomination**
  - Applications of Stochastic ASP in Real World Cases 
- **Description and expected results**
    - **Objectives**: [TODO]
    - **Methods**: [TODO]
    - **Expected Results**: [TODO]
    - **Links to other tasks**: [TODO] (preconditions and results)
    - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
    - **Justification for the needed resources**: [TODO]
- **Assigned team members**
  - [TODO] Member
- **Person*Month**
  - [TODO]
- **Deliverables**
  - [TODO]Type  and Description; evidences and results
- **Budget**
  - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
  - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"

### Task TaskID

- **Denomination**
  - [TODO] concise and self-explanatory
- **Description and expected results**
    - **Objectives**: [TODO]
    - **Methods**: [TODO]
    - **Expected Results**: [TODO]
    - **Links to other tasks**: [TODO] (preconditions and results)
    - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
    - **Justification for the needed resources**: [TODO]
- **Assigned team members**
  - [TODO] Member
- **Person*Month**
  - [TODO]
- **Deliverables**
  - [TODO]Type  and Description; evidences and results
- **Budget**
  - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
  - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"

## Project Timeline

```gantt
title       IAM
dateFormat  YYYY-MM-DD

section Tasks

  task1   :a1, 2024-09-01, 30d
```

- **Project timeline and management.** list of milestones, the timeline and the description of the management structure
  - **Milestones list**
    - milestone = objective achieved; phase completed; result obtained
    - include what can be demonstrated or reported on that date
    - up to 6 milestones
    - select tasks associated with the milestone
    - mark milestones on the **timeline**.
  - **Timeline**
    - start with the available spreadsheet
    - upload "timeline.pdf"
    - Indicate **partner responsible for task**; **acronyms of partners involved**
  - **Management** project management structure: coordination; meetings; reporting structure