Francisco Coelho / zugzwang

tasks.md 12.1 KB

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
    • 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
    • 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
    • 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
    • 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
    • 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
    • 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
    • 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
    • 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

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