back to work?

Francisco Coelho
1 parent 652cc0d6
Showing 428 changed files with 58912 additions and 697 deletions Show diff stats
.gitmodules
2023-11-11--biblio.zip
NOVALINCS/00-Application_Form-FINAL.md
NOVALINCS/00-Application_Form-FINAL.pdf
NOVALINCS/00-Call-TEMPLATE.md
NOVALINCS/00-Call-TEMPLATE.pdf
NOVALINCS/01-Call-DRAFT.md
NOVALINCS/01-Call-DRAFT.pdf
NOVALINCS/01-Call-Underg_A.md
NOVALINCS/NOVA LINCS.UE TRA Application Form | Zugzwang.docx
NOVALINCS/NOVA LINCS.UE TRA Application Form | Zugzwang.gddoc
NOVALINCS/TdOS-JasonMAllen.jpg
NOVALINCS/bolsas/BI/2023-01-91 | Oficio Juri.gddoc
NOVALINCS/bolsas/BI/2023-02-01 _ Ata1.pdf
NOVALINCS/bolsas/BI/2023-02-01 | Ata1.gddoc
NOVALINCS/bolsas/BI/2023-02-03 | Edital | EN.pdf
NOVALINCS/bolsas/BI/2023-02-03 | Edital | PT.gddoc
NOVALINCS/bolsas/BI/2023-02-03 | Edital | PT.pdf
NOVALINCS/bolsas/BI/2023-03-01 _ Ata 2.pdf
NOVALINCS/bolsas/BI/2023-03-01 | Ata 2.gddoc
@@ -0,0 +1,3 @@
+[submodule "code/sasp"]
+	path = code/sasp
+	url = git@git.xdi.uevora.pt:fc/sasp.git
@@ -0,0 +1,53 @@
+# Zugzwang | Logic and Artificial Intelligence
+
+## Team
+
+- Francisco Coelho
+- Salvador Abreu (PI)
+- Bruno Dinis (External Collaborator)
+
+## Research Questions
+
+How to extend probability annotations on an ASP program to a distribution over the possible observations? In general, the association of probabilities to some facts is not enough to uniquely define a probability of stable models. This lack of information must be carefully expressed and handled, to avoid biased results.
+
+Once made explicit, how to use such distribution, together with an empiric distribution from a dataset, to do general probabilistic tasks such as the estimation of a marginal or of the joint probability? Having a probability on a set of observations, including the stable models, might not cover all the sample space. Again, information and structure entailed from the ASP program must guide unbiased extensions to the sample space.
+
+How to use distribution measures to score ASP programs? We view ASP programs as formalized knowledge about an observable system. Some of those programs will be "better" than others, as determined by a quantitative, objective, measure, rooted on well-known functions such as the Kullback–Leibler divergence.
+
+This last question leads to the application of evolutionary algorithms to inductive logic programming and to a bridge with common machine learning methods, where a model is scored by a dataset. Other important questions lie behind the scope of this project. For example, how to deal with latent, unobserved, variables? 
+
+## Novelty/Impact
+
+ASP has some key advantages over Prolog, most of which result from ASP being a truly declarative language and modern APS systems, such as CLASP, apply efficient optimisation techniques. Other systems, like ILASP, learn ASP programs with normal rules, choice rules, and hard and weak constraints. Moreover, ASP can use recent important advances concerning SAT solvers to ILP tasks. However, the assumption that the knowledge base (BK) is perfect, leaving no room for uncertainty, poses here a major limitation. 
+
+One approach to overcome this restriction on logic programs is Statistical Relationship Learning (StarAI), that extends the BK with probabilities in order to setup a distribution representation. The formal setting for this approach rests on Sato's Distribution Semantics and frames systems such as Problog and PRISM. But these systems are oriented towards Prolog-like programs and semantic and leave out ASP program learning.
+
+One important ongoing research question is the precise semantic of an ASP program annotated with probabilities. Sato's semantic specify an unique probability distribution over Prolog-like program's atoms, but this uniqueness fails for ASP programs. Efforts to address this problem are either based on Credal sets or on selecting one probability over others, such as the P-log, the LP^MLN or the PrASP languages.
+
+The novelty of this research is to define the semantic of an ASP program + probability annotated facts + observations from the following process: (a) parametrise the uncertainty on stable models and annotations, (b) setup a partition of the sample space around on the stable models and (c) use observations to estimate the value of the uncertainty parameters of step (a).
+If successful, it would have an impact on how logic programs express and are used to deal with real-world problems, where both uncertainty and formal KB are required ingredients. Also, when used in ILP problems the resulting models are logic programs, much simpler to understand than numeric models. 
+
+## Expected Results / Demonstrators
+
+Our aim is to develop a set of software tools to apply and evaluate the theoretical results on well-known, and relevant, problems. The initial target framework is the Potassco suite, that provides a Python API to state-of-the-art grounding (CLASP) and solving (CLINGO) tools, as well as ASP-Core-2 Language support.
+
+The researchers will do the theoretical study and supervise one to three undergraduate, master or Ph.D. students on the implementation tasks. Theoretical work includes formalization and assessment of methods; The students will implement the tools required to experiment, explore and test those methods. The degree of complexity of the implementation tasks must be adapted to the individual competences and interests of the students.
+
+The theoretical work is to be reported in one or two papers with intermediate results and a final comprehensive paper for a conference.
+
+## Relationship of activity w/ NOVA LINCS strategic program and Research Group work plan
+
+This project involves two members from the NOVA LINCS "Knowledge-Based Systems" research group, from the Universidade de Évora pole and a member of the CIMA center from the Universidade de Évora.
+
+Part of the proposed research and software is currently being developed.
+
+## Resources required and justification
+
+Students are expected to benefit from a BIC or a BI scholarship. Depending on the candidates the respective durations can range from 3 to 12 months and the respective amounts from 486.12€ to 1144.64€ per month.
+
+Considering one undergraduate student with a 3 month scholarship:
+
+- 972.24 € = 3 months x 486.12 €/month;
+- TOTAL: 972.24 €
+
+
@@ -0,0 +1,54 @@
+# Concurso Bolsa | TEMPLATE
+
+- _centro de investigação ou departamento_
+
+- _identificação da tipologia de bolsa oferecida e número de vagas_
+
+- _dia_ de _mês_ de 2023
+
+Encontra-se aberto concurso para a atribuição de _número_ Bolsas _tipo_ no âmbito do projeto _título do projeto_, _referência_, financiado por fundos nacionais através da _…_ exemplo: FCT/MCTES e cofinanciado pelo Fundo Europeu de Desenvolvimento Regional _FEDER_ através do COMPETE – Programa Operacional Fatores de Competitividade _POFC_ _quando aplicável_, nas seguintes condições:
+
+- **Área Científica:** …
+
+- **Requisitos de admissão:** _indicar a habilitação académica necessária, bem como a experiência exigida em investigação e outros requisitos de admissão, incluindo fatores preferenciais_
+Escolher uma opção: 
+
+  - Conforme o Regulamento de Bolsas de Investigação da FCT nº950/2019 de 16 de dezembro de 2019, artigo 3º e 6º, os candidatos a BI _Bolsas de Investigação_ devem cumprir como condição para a atribuição da bolsa, a inserção efetiva em ciclos de estudos conducentes à atribuição de graus académicos ou em cursos não conferentes de grau académico. Os cursos não conferentes de grau académico correspondem aos cursos previstos na alínea e_ do nº 3 do artigo 4º do Decreto-Lei nº74/2006 de 24 de março e deverão ser desenvolvidos numa instituição de ensino superior em associação a pelo menos uma unidade de I&D, incluindo-se o plano do curso numa ou em várias áreas de investigação da unidade.
+  - Conforme o Regulamento de Bolsas de Investigação da FCT nº950/2019 de 16 de dezembro de 2019, artigo 5º, — As BII _Bolsas de Iniciação à Investigação_ não podem ser atribuídas a quem já tenha beneficiado de bolsas de investigação direta ou indiretamente financiadas pela FCT, atribuídas nos termos do Estatuto do Bolseiro de Investigação.
+  - Relativamente às BIPD _Bolsas de Investigação Pós-doutoral_, ao nível dos requisitos a verificar para atribuição das mesmas _artigo 7º do Regulamento de Bolsas de Investigação da FCT nº950/2019_ destaca-se a necessidade do grau de doutor ter sido obtido nos 3 anos anteriores à data de submissão da candidatura à bolsa e, ao nível da sua execução, o facto de apenas poder ser renovada até ao prazo máximo de 3 anos.
+
+- **Plano de trabalhos:** _apresentar um resumo dos trabalhos a desenvolver e dos objetivos a atingir_
+
+- **Legislação e regulamentação aplicável:** A concessão da Bolsa de Investigação será realizada mediante a celebração de um contrato entre a Universidade de Évora e o bolseiro conforme minuta <https://www.fct.pt/apoios/Minuta_Contrato_Bolsa.docx> , nos termos do Estatuto do Bolseiro de Investigação _Lei nº40/2004 de 18 de agosto e decreto-lei nº 123/2019 de 28 de agosto_ e de acordo com a legislação e Regulamento de Bolsas de Investigação da Fundação para a Ciência e a Tecnologia, I.P em vigor, regulamento nº950/2019 de 16 de dezembro de 2019: <https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt> e demais normas aplicáveis.
+
+- **Local de trabalho:** O trabalho será desenvolvido no(a) _denominação da unidade de investigação_ da Universidade de Évora, sob a orientação científica do Professor(a)/Doutor(a) ………
+
+- **Duração da(s) bolsa(s):** A bolsa terá a duração de ..... meses, com início previsto em ..... _mês_ de .......... _ano_. O contrato de bolsa poderá ser renovado até _ex._ ao máximo de ….. meses ou até ao final da dotação orçamental do projeto de financiamento _…_.
+
+- **Valor do subsídio de manutenção mensal:** O montante da bolsa corresponde a €………., conforme tabela de valores das bolsas atribuídas diretamente pela FCT, I.P. no País _http://fct.pt/apoios/bolsas/valores_, sendo os pagamentos efetuados mensalmente, através de cheque ou transferência bancária.
+
+- **Métodos de seleção:** Os métodos de seleção a utilizar serão os seguintes: _avaliação curricular, entrevista, provas de conhecimento, ou outros_, com a respetiva valoração de _indicar os valores atribuídos a cada critério ou item avaliado e sua ponderação percentual_.
+
+- **Composição do Júri de Seleção:** _identificação do Presidente do Júri e dos vogais efetivos e suplentes_
+
+- **Forma de publicitação/notificação dos resultados:** Os resultados finais da avaliação serão publicitados, através de lista ordenada _alfabeticamente, por nota final obtida ou outra_ afixada em local visível e público do(a) _indicar local da instituição_, sendo o candidato(a) aprovado(a) notificado através de _email, ofício ou outro_.
+Nos termos de direito de audiência prévia dos interessados o projeto de Classificação Final será anunciado por qualquer meio escrito a todos os interessados.
+Após comunicação da lista provisória dos resultados da avaliação, os candidatos dispõem de um período de 10 dias úteis para, querendo, se pronunciarem em sede de audiência prévia de interessados. 
+
+- **Prazo de candidatura e forma de apresentação das candidaturas:** O concurso encontra-se aberto no período de ......................... a ......................... de 2022 e os resultados da seleção serão publicados até………………..de………………….de 2022. _O prazo de apresentação de candidaturas não deve ser inferior a 10 dias úteis_.
+
+- **As candidaturas devem ser formalizadas**, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: _ex: Curriculum Vitae, certificado de habilitações, cartas de referência ou recomendação e outros documentos comprovativos considerados relevantes_.
+  - Para efeitos de candidatura os comprovativos podem ser substituídos por declaração de honra do candidato, mas a não demonstração, em fase de contratualização, da posse do grau exigido à data limite da candidatura ou a não apresentação dos comprovativos de matrícula ou inscrição em ciclo de estudos ou curso não conferente de grau, para as bolsas com essa componente, implicam a anulação da avaliação do candidato. 
+  - Os graus académicos obtidos em países estrangeiros necessitam de registo por uma Instituição Portuguesa de acordo com o Decreto-lei nº. 66/2018, de 16 de agosto e a Portaria nº. 33/2019, de 25 de janeiro. A apresentação do certificado é obrigatória para a assinatura do contrato. 
+  Mais informação poderá ser obtida em:  <https://www.dges.gov.pt/pt/pagina/reconhecimento?plid=374>
+
+
+- **As candidaturas deverão ser remetidas por e-mail para:**
+    - Prof. Doutor(a)………………….
+    - _Centro/Dep._……………………………….. da Universidade de Évora
+    - e-mail: 
+
+
+
+_logos do programa de financiamento quando aplicável_
+
@@ -0,0 +1,12 @@
+# Concurso Bolsa | Zugzwang | DRAFT
+
+> A minuta das candidatura define vários campos a preencher. Quase todos são triviais mas os restantes são **críticos**. Estes necessitam de consenso entre nós.
+> 
+> Além disso, no projeto ficou em aberto o número e tipologia de bolsas. Agora temos de concretizar essas opções: **Exatamente,** quantas bolsas de que tipo?
+
+## Campos Críticos
+
+- **Requisitos de admissão:** _indicar a habilitação académica necessária, bem como a experiência exigida em investigação e outros requisitos de admissão, incluindo fatores preferenciais_
+- **Plano de trabalhos:** _apresentar um resumo dos trabalhos a desenvolver e dos objetivos a atingir_
+- **Métodos de seleção:** Os métodos de seleção a utilizar serão os seguintes: _avaliação curricular, entrevista, provas de conhecimento, ou outros_, com a respetiva valoração de _indicar os valores atribuídos a cada critério ou item avaliado e sua ponderação percentual_.  
+- **As candidaturas devem ser formalizadas**, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: _ex: Curriculum Vitae, certificado de habilitações, cartas de referência ou recomendação e outros documentos comprovativos considerados relevantes_.<<<>>>
 \ No newline at end of file
@@ -0,0 +1,17 @@
+# Concurso para "Bolsa de Iniciação à Investigação"
+
+- **Requisitos de admissão:**
+  - Estudante inscrito numa licenciatura, que não tenha já beneficiado de bolsa de investigação direta ou indiretamente financiadas pela FCT, atribuída nos termos do Estatuto do Bolseiro de Investigação.
+  - Aprovação a, pelo menos, uma unidade curricular de programação, preferencialmente em `Python`.
+- **Plano de trabalhos:** Implementação duma biblioteca `Python` para processar ficheiros de código _ASP_ anotados com probabilidades com as seguintes funcionalidades:
+  1. Extração das anotações e associação aos factos relevantes.
+  2. Comunicação com o sistema `Potassco` para obtenção dos resultados do programa _ASP_ subjacente.
+  3. Cálculos de probabilidades com base nos modelos estáveis obtidos no passo anterior, nas anotações extraídas no passo 1, e nos resultados teóricos deste projeto.
+- **Métodos de seleção:** A seleção do candidato resulta de ordenar a classificação obtida pelos seguintes critérios/pesos:  
+  - Entrevista: 40%
+  - Avaliação Curricular: 30%
+  - Prova de Conhecimento: 30%
+- **As candidaturas devem ser formalizadas**, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos
+  - Curriculum Vitæ.
+  - Certificado de Matrícula.
+  - Certificado de Disciplinas concluídas com as respetivas classificações.
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1IpufHUoWd1ENxMo3ymNVjELMInF9NC7_GuNiTLILplA/edit?usp=drivesdk", "file_id": "1IpufHUoWd1ENxMo3ymNVjELMInF9NC7_GuNiTLILplA", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1StZNtcL4y6QdD6XY_nuk7F-PuAGmK19exPsjPRaHsIc/edit?usp=drivesdk", "file_id": "1StZNtcL4y6QdD6XY_nuk7F-PuAGmK19exPsjPRaHsIc", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1XkOjaQZZYQ_pXctByEicBoAwEbXHDLOaUiWVtaJ9-I8/edit?usp=drivesdk", "file_id": "1XkOjaQZZYQ_pXctByEicBoAwEbXHDLOaUiWVtaJ9-I8", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1vO1oGzery-1z-s0Dv4m2XM4tgcDw94F-6tjSy6_HE1E/edit?usp=drivesdk", "file_id": "1vO1oGzery-1z-s0Dv4m2XM4tgcDw94F-6tjSy6_HE1E", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1kll6FpPWUCDn1k3dK2N8eSA0x5BrPXVjX_RVy17-ri0/edit?usp=drivesdk", "file_id": "1kll6FpPWUCDn1k3dK2N8eSA0x5BrPXVjX_RVy17-ri0", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1_AShgz6Sul6r7FL1wfGWUVuMJarkp_9AnlNWx7vAKto/edit?usp=drivesdk", "file_id": "1_AShgz6Sul6r7FL1wfGWUVuMJarkp_9AnlNWx7vAKto", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1y05Y3BIaYYWFbVfXJGbz-mUOXOqT-gr3yeN8KFSEzh8/edit?usp=drivesdk", "file_id": "1y05Y3BIaYYWFbVfXJGbz-mUOXOqT-gr3yeN8KFSEzh8", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1I61MCPaT5ZVlCaVmSeoKYG8Ie8kZ8Do72Jmw201IQnQ/edit?usp=drivesdk", "file_id": "1I61MCPaT5ZVlCaVmSeoKYG8Ie8kZ8Do72Jmw201IQnQ", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1kKcNkcd8gNWN5MzWzdJEl2ww-iaqPG-tocETX9FjLL8/edit?usp=drivesdk", "file_id": "1kKcNkcd8gNWN5MzWzdJEl2ww-iaqPG-tocETX9FjLL8", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1TJNLlKDpqeA2J7nE6DTo6Tnff-dub3WIyJzYE5atiRk/edit?usp=drivesdk", "file_id": "1TJNLlKDpqeA2J7nE6DTo6Tnff-dub3WIyJzYE5atiRk", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1XjRiCY1BJgpLRtzsJOhUEehhp4PDdpop1mOTp4BkD5w/edit?usp=drivesdk", "file_id": "1XjRiCY1BJgpLRtzsJOhUEehhp4PDdpop1mOTp4BkD5w", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/10vDNBX2mTEnzwhY9iyLvpID1lEZ4PRUAx9HI8W-Hsww/edit?usp=drivesdk", "file_id": "10vDNBX2mTEnzwhY9iyLvpID1lEZ4PRUAx9HI8W-Hsww", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/spreadsheets/d/1EVbozf2uH9idDJv_ORwzEPzllmp8d-fggek8BWwp0nM/edit?usp=drivesdk", "file_id": "1EVbozf2uH9idDJv_ORwzEPzllmp8d-fggek8BWwp0nM", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/forms/d/1X2CB305ku78_XqdQDKNsXFmJLrzUethuRvz442SFS5Q/edit?usp=drivesdk", "file_id": "1X2CB305ku78_XqdQDKNsXFmJLrzUethuRvz442SFS5Q", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/14x78bujw-n2jMRiNxq9_XnjaZZeFQYCgLoo0Sg07aOM/edit?usp=drivesdk", "file_id": "14x78bujw-n2jMRiNxq9_XnjaZZeFQYCgLoo0Sg07aOM", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1qtzLuCvDgAU1GfzYA8XWsINe38DFrRut-v2uvjVljtU/edit?usp=drivesdk", "file_id": "1qtzLuCvDgAU1GfzYA8XWsINe38DFrRut-v2uvjVljtU", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1q7DageLjDfjPIyzpnaifLdzFXlmwGAPb2RNA_2dAlKY/edit?usp=drivesdk", "file_id": "1q7DageLjDfjPIyzpnaifLdzFXlmwGAPb2RNA_2dAlKY", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1VmJ7kdkkBYDmJMCNvmuDgPpqnByo5AsZ2fU4tPgo-7I/edit?usp=drivesdk", "file_id": "1VmJ7kdkkBYDmJMCNvmuDgPpqnByo5AsZ2fU4tPgo-7I", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1E-iy8-n6odNrwG5fpd5KKZOIDjDDp1CH0CPDUDYAMDE/edit?usp=drivesdk", "file_id": "1E-iy8-n6odNrwG5fpd5KKZOIDjDDp1CH0CPDUDYAMDE", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/18-IjQL_LJU3xkylYeACYJaj8VSTuFm67z6nEihRf0YU/edit?usp=drivesdk", "file_id": "18-IjQL_LJU3xkylYeACYJaj8VSTuFm67z6nEihRf0YU", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1vLzd-a_TJ_79vBvoq_-tzBUsuAO5koj8mWGYbZqtHAc/edit?usp=drivesdk", "file_id": "1vLzd-a_TJ_79vBvoq_-tzBUsuAO5koj8mWGYbZqtHAc", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1lHjPQ6nyuRSHNX31cr_aNHBgxSp-ZJa4HP0Z8v6D5-w/edit?usp=drivesdk", "file_id": "1lHjPQ6nyuRSHNX31cr_aNHBgxSp-ZJa4HP0Z8v6D5-w", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1aRwT55Wsc3A0D2l99VtTyvXkvf3RPm3crt-Znea7QR8/edit?usp=drivesdk", "file_id": "1aRwT55Wsc3A0D2l99VtTyvXkvf3RPm3crt-Znea7QR8", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/10PTAZAn0vF3agNOEcl9s3UL1TlxuWZQrcwJ-YScNtqw/edit?usp=drivesdk", "file_id": "10PTAZAn0vF3agNOEcl9s3UL1TlxuWZQrcwJ-YScNtqw", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://docs.google.com/document/d/1Uc9MqHzTRaAt8x_1X9D6lu_UulMYrhUMW2qJGlW7Yuw/edit?usp=drivesdk", "file_id": "1Uc9MqHzTRaAt8x_1X9D6lu_UulMYrhUMW2qJGlW7Yuw", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1,6 @@
+Número do Cartão de Cidadão: 14594754 8 ZX5
+Número de Contribuinte: 259379174
+Morada: 
+    Rua Joaquim Marques Saias, Lote 19, Moradia D
+    2130-299 Benavente
+Ciencia-ID: 861B-FBEF-B218
@@ -0,0 +1 @@
+{"url": "https://drive.google.com/file/d/1CJalz7_e5pu5K7Kx0YdCAlPmknFCFa2m/view?usp=drivesdk", "file_id": "1CJalz7_e5pu5K7Kx0YdCAlPmknFCFa2m", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://drive.google.com/file/d/1wtkb03xRpjTg2aVm3o1S_gQ850GOk2o7/view?usp=drivesdk", "file_id": "1wtkb03xRpjTg2aVm3o1S_gQ850GOk2o7", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://drive.google.com/file/d/1o5roFEgI-jBaVwD6Z5Tm4mqmp6aFccv3/view?usp=drivesdk", "file_id": "1o5roFEgI-jBaVwD6Z5Tm4mqmp6aFccv3", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1,31 @@
+% !TeX program = xelatex
+\documentclass{oficio}
+\usepackage{polyglossia}
+\setmainlanguage{portuges}
+\usepackage{xcolor}
+
+
+\def\LOGO{\LOGOECT}
+\def\DESTINATARIO{\\
+Magnífica Reitora da\\
+Universidade de Évora\\
+Professora Doutora Hermínia Vilar
+}
+\def\EU{Salvador Pinto Abreu}
+\def\ASSINATURA{\vspace{5mm}}
+\def\QUALIDADE{Professor Catedrático}
+
+\begin{document}
+
+\unidade{\textsc{\textcolor{gray}{NOVA-LINCS (Pólo de Évora)}}}
+
+\documento
+    {12/DI.SPA/23}
+    {Renovação de Bolsa de Iniciação à Investigação}
+    {31 de julho de 2023}
+
+Na qualidade de Coordenador do pólo de Évora do NOVA-LINCS, solicito que, em acordo com o parecer do orientador, seja renovada a bolsa de iniciação à investigação (para licenciada) com a aluna Alice Fernandes Martins, para o perı́odo de 2 de agosto a 2 de novembro de 2023, no âmbito do Financiamento Plurianual da unidade de I\&D com a referência: \texttt{UIDP/04516/2020} (NOVA LINCS: Financiamento Programático 2020–2023), cofinanciado pela Fundação para Ciência e a Tecnologia.
+
+\CHAU{Évora, julho de 2023,}
+
+\end{document}
 \ No newline at end of file
@@ -0,0 +1,36 @@
+% !TeX program = xelatex
+\documentclass{oficio}
+
+\usepackage{polyglossia}
+\setmainlanguage{portuges}
+
+\def\ASSINATURA{\includegraphics{fcsig.pdf}}
+
+\begin{document}
+\unidade{\textsc{\DI}}
+\documento{%
+NL/ZZ/BII/1/AM/1
+}{%
+Renovação de BII --- Parecer}{%
+31 de julho de 2023}
+%\EU{}
+
+\qualidade{(Professor Auxiliar)}
+
+A aluna 
+%
+Alice Fernandes Martins, 
+%
+detentora de uma \emph{Bolsa de Iniciação à Investigação} no âmbito do Financiamento Plurianual da unidade I\&D Referência: UIDP/04516/2020 (NOVA LINCS: Financiamento Programático 2020-2023) cofinanciado pela Fundação para Ciência e a Tecnologia
+%
+\textbf{completou corretamente todas as tarefas propostas no âmbito desta bolsa}.
+%
+
+%
+Como orientador científico, 
+%
+dado o excelente desempenho da bolseira e a necessidade, no projeto Zugzwang, de continuar o desenvolvimento destas tarefas, \textbf{recomendo a renovação da bolsa}.
+
+\CHAU{Com os melhores cumprimentos,}
+
+\end{document}
 \ No newline at end of file
@@ -0,0 +1,20 @@
+# Plano de Trabalhos - Renovação de BII
+
+<div style="text-align:right">
+Évora, 4 de setembro de 2023
+</div>
+
+
+Considerando que foi já implementada uma biblioteca Python que proporciona as seguintes funcionalidades:
+- Ler a descrição de uma rede Bayesiana num formato comum (BIF) para uma representação intermédia.
+- Escrever uma especificação ASP anotada com probabilidades a partir da representação intermédia indicada no ponto anterior.
+
+e que, com esta biblioteca é possível aplicar métodos e ferramentas desenvolvidos no âmbito do projeto “Zugzwang | Lógica e Inteligência Artificial” a um conjunto alargado de problemas, **pretende-se continuar,** com a implementação duma biblioteca Python para processar ficheiros de código ASP anotados com probabilidades incluindo as seguintes funcionalidades:
+
+- Extração das anotações e associação aos factos relevantes.
+- Comunicação com o sistema Potassco para obtenção dos resultados do programa ASP subjacente.
+- Cálculos de probabilidades com base nos modelos estáveis obtidos no passo anterior, nas anotações extraídas no passo 1, e nos resultados teóricos deste projeto.
+
+<div style="text-align:center">
+(Francisco Coelho)
+</div>
@@ -0,0 +1,38 @@
+% !TeX program = xelatex
+\documentclass{oficio}
+
+\usepackage{polyglossia}
+\setmainlanguage{portuges}
+
+\def\ASSINATURA{\includegraphics{fcsig.pdf}}
+
+\begin{document}
+\unidade{\textsc{\DI}}
+\documento{%
+NL/ZZ/BII/1/AM/2
+}{%
+Renovação de BII --- Plano de Trabalhos}{%
+31 de julho de}
+%\EU{}
+
+\qualidade{(Professor Auxiliar)}
+
+Considerando que foi já implementada uma biblioteca \texttt{Python} que proporciona as seguintes funcionalidades:
+%
+\begin{itemize}
+    \item Ler a descrição de uma rede Bayesiana num formato comum (\texttt{BIF}) para uma representação intermédia.
+    \item Escrever uma especificação \texttt{ASP} anotada com probabilidades a partir da representação intermédia indicada no ponto anterior.
+\end{itemize}
+%
+e que, com esta biblioteca é possível aplicar métodos e ferramentas desenvolvidos no âmbito do projeto ``\emph{Zugzwang | Lógica e Inteligência Artificial}'' a um conjunto alargado de problemas, \textbf{pretende-se continuar,} com a implementação duma biblioteca \texttt{Python} para processar ficheiros de código ASP anotados com probabilidades incluindo as seguintes funcionalidades:
+
+\begin{itemize}
+
+    \item Extração das anotações e associação aos factos relevantes.
+    \item Comunicação com o sistema Potassco para obtenção dos resultados do programa ASP subjacente.
+    \item Cálculos de probabilidades com base nos modelos estáveis obtidos no passo anterior, nas anotações extraídas no passo 1, e nos resultados teóricos deste projeto.    
+\end{itemize}
+
+\CHAU{Com os melhores cumprimentos,}
+
+\end{document}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://drive.google.com/file/d/18weWShnpngOyRBDwuJAb3QNdt37B5iot/view?usp=drivesdk", "file_id": "18weWShnpngOyRBDwuJAb3QNdt37B5iot", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://drive.google.com/file/d/1J4VAV0HnawD07fQr7hoJbka7ET4LvTGH/view?usp=drivesdk", "file_id": "1J4VAV0HnawD07fQr7hoJbka7ET4LvTGH", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://drive.google.com/file/d/1eu0COlmfraMPSDIAXx1dd4D-8xJ4UuhH/view?usp=drivesdk", "file_id": "1eu0COlmfraMPSDIAXx1dd4D-8xJ4UuhH", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://drive.google.com/file/d/18kPEFph3Dmg2W6Ay-f06t6OYOW_ha2V7/view?usp=drivesdk", "file_id": "18kPEFph3Dmg2W6Ay-f06t6OYOW_ha2V7", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
@@ -0,0 +1 @@
+{"url": "https://drive.google.com/file/d/1RcaEPq3LskJG3jOr6cLT086lHfoWTl7u/view?usp=drivesdk", "file_id": "1RcaEPq3LskJG3jOr6cLT086lHfoWTl7u", "account_email": "mangon@gmail.com"}
 \ No newline at end of file
...	...	@@ -0,0 +1,3 @@
	1	+[submodule "code/sasp"]
	2	+ path = code/sasp
	3	+ url = git@git.xdi.uevora.pt:fc/sasp.git
...	...
...	...	@@ -0,0 +1,53 @@
	1	+# Zugzwang \| Logic and Artificial Intelligence
	2	+
	3	+## Team
	4	+
	5	+- Francisco Coelho
	6	+- Salvador Abreu (PI)
	7	+- Bruno Dinis (External Collaborator)
	8	+
	9	+## Research Questions
	10	+
	11	+How to extend probability annotations on an ASP program to a distribution over the possible observations? In general, the association of probabilities to some facts is not enough to uniquely define a probability of stable models. This lack of information must be carefully expressed and handled, to avoid biased results.
	12	+
	13	+Once made explicit, how to use such distribution, together with an empiric distribution from a dataset, to do general probabilistic tasks such as the estimation of a marginal or of the joint probability? Having a probability on a set of observations, including the stable models, might not cover all the sample space. Again, information and structure entailed from the ASP program must guide unbiased extensions to the sample space.
	14	+
	15	+How to use distribution measures to score ASP programs? We view ASP programs as formalized knowledge about an observable system. Some of those programs will be "better" than others, as determined by a quantitative, objective, measure, rooted on well-known functions such as the Kullback–Leibler divergence.
	16	+
	17	+This last question leads to the application of evolutionary algorithms to inductive logic programming and to a bridge with common machine learning methods, where a model is scored by a dataset. Other important questions lie behind the scope of this project. For example, how to deal with latent, unobserved, variables?
	18	+
	19	+## Novelty/Impact
	20	+
	21	+ASP has some key advantages over Prolog, most of which result from ASP being a truly declarative language and modern APS systems, such as CLASP, apply efficient optimisation techniques. Other systems, like ILASP, learn ASP programs with normal rules, choice rules, and hard and weak constraints. Moreover, ASP can use recent important advances concerning SAT solvers to ILP tasks. However, the assumption that the knowledge base (BK) is perfect, leaving no room for uncertainty, poses here a major limitation.
	22	+
	23	+One approach to overcome this restriction on logic programs is Statistical Relationship Learning (StarAI), that extends the BK with probabilities in order to setup a distribution representation. The formal setting for this approach rests on Sato's Distribution Semantics and frames systems such as Problog and PRISM. But these systems are oriented towards Prolog-like programs and semantic and leave out ASP program learning.
	24	+
	25	+One important ongoing research question is the precise semantic of an ASP program annotated with probabilities. Sato's semantic specify an unique probability distribution over Prolog-like program's atoms, but this uniqueness fails for ASP programs. Efforts to address this problem are either based on Credal sets or on selecting one probability over others, such as the P-log, the LP^MLN or the PrASP languages.
	26	+
	27	+The novelty of this research is to define the semantic of an ASP program + probability annotated facts + observations from the following process: (a) parametrise the uncertainty on stable models and annotations, (b) setup a partition of the sample space around on the stable models and (c) use observations to estimate the value of the uncertainty parameters of step (a).
	28	+If successful, it would have an impact on how logic programs express and are used to deal with real-world problems, where both uncertainty and formal KB are required ingredients. Also, when used in ILP problems the resulting models are logic programs, much simpler to understand than numeric models.
	29	+
	30	+## Expected Results / Demonstrators
	31	+
	32	+Our aim is to develop a set of software tools to apply and evaluate the theoretical results on well-known, and relevant, problems. The initial target framework is the Potassco suite, that provides a Python API to state-of-the-art grounding (CLASP) and solving (CLINGO) tools, as well as ASP-Core-2 Language support.
	33	+
	34	+The researchers will do the theoretical study and supervise one to three undergraduate, master or Ph.D. students on the implementation tasks. Theoretical work includes formalization and assessment of methods; The students will implement the tools required to experiment, explore and test those methods. The degree of complexity of the implementation tasks must be adapted to the individual competences and interests of the students.
	35	+
	36	+The theoretical work is to be reported in one or two papers with intermediate results and a final comprehensive paper for a conference.
	37	+
	38	+## Relationship of activity w/ NOVA LINCS strategic program and Research Group work plan
	39	+
	40	+This project involves two members from the NOVA LINCS "Knowledge-Based Systems" research group, from the Universidade de Évora pole and a member of the CIMA center from the Universidade de Évora.
	41	+
	42	+Part of the proposed research and software is currently being developed.
	43	+
	44	+## Resources required and justification
	45	+
	46	+Students are expected to benefit from a BIC or a BI scholarship. Depending on the candidates the respective durations can range from 3 to 12 months and the respective amounts from 486.12€ to 1144.64€ per month.
	47	+
	48	+Considering one undergraduate student with a 3 month scholarship:
	49	+
	50	+- 972.24 € = 3 months x 486.12 €/month;
	51	+- TOTAL: 972.24 €
	52	+
	53	+
...	...
...	...	@@ -0,0 +1,54 @@
	1	+# Concurso Bolsa \| TEMPLATE
	2	+
	3	+- _centro de investigação ou departamento_
	4	+
	5	+- _identificação da tipologia de bolsa oferecida e número de vagas_
	6	+
	7	+- _dia_ de _mês_ de 2023
	8	+
	9	+Encontra-se aberto concurso para a atribuição de _número_ Bolsas _tipo_ no âmbito do projeto _título do projeto_, _referência_, financiado por fundos nacionais através da _…_ exemplo: FCT/MCTES e cofinanciado pelo Fundo Europeu de Desenvolvimento Regional _FEDER_ através do COMPETE – Programa Operacional Fatores de Competitividade _POFC_ _quando aplicável_, nas seguintes condições:
	10	+
	11	+- Área Científica: …
	12	+
	13	+- Requisitos de admissão: _indicar a habilitação académica necessária, bem como a experiência exigida em investigação e outros requisitos de admissão, incluindo fatores preferenciais_
	14	+Escolher uma opção:
	15	+
	16	+ - Conforme o Regulamento de Bolsas de Investigação da FCT nº950/2019 de 16 de dezembro de 2019, artigo 3º e 6º, os candidatos a BI _Bolsas de Investigação_ devem cumprir como condição para a atribuição da bolsa, a inserção efetiva em ciclos de estudos conducentes à atribuição de graus académicos ou em cursos não conferentes de grau académico. Os cursos não conferentes de grau académico correspondem aos cursos previstos na alínea e_ do nº 3 do artigo 4º do Decreto-Lei nº74/2006 de 24 de março e deverão ser desenvolvidos numa instituição de ensino superior em associação a pelo menos uma unidade de I&D, incluindo-se o plano do curso numa ou em várias áreas de investigação da unidade.
	17	+ - Conforme o Regulamento de Bolsas de Investigação da FCT nº950/2019 de 16 de dezembro de 2019, artigo 5º, — As BII _Bolsas de Iniciação à Investigação_ não podem ser atribuídas a quem já tenha beneficiado de bolsas de investigação direta ou indiretamente financiadas pela FCT, atribuídas nos termos do Estatuto do Bolseiro de Investigação.
	18	+ - Relativamente às BIPD _Bolsas de Investigação Pós-doutoral_, ao nível dos requisitos a verificar para atribuição das mesmas _artigo 7º do Regulamento de Bolsas de Investigação da FCT nº950/2019_ destaca-se a necessidade do grau de doutor ter sido obtido nos 3 anos anteriores à data de submissão da candidatura à bolsa e, ao nível da sua execução, o facto de apenas poder ser renovada até ao prazo máximo de 3 anos.
	19	+
	20	+- Plano de trabalhos: _apresentar um resumo dos trabalhos a desenvolver e dos objetivos a atingir_
	21	+
	22	+- Legislação e regulamentação aplicável: A concessão da Bolsa de Investigação será realizada mediante a celebração de um contrato entre a Universidade de Évora e o bolseiro conforme minuta <https://www.fct.pt/apoios/Minuta_Contrato_Bolsa.docx> , nos termos do Estatuto do Bolseiro de Investigação _Lei nº40/2004 de 18 de agosto e decreto-lei nº 123/2019 de 28 de agosto_ e de acordo com a legislação e Regulamento de Bolsas de Investigação da Fundação para a Ciência e a Tecnologia, I.P em vigor, regulamento nº950/2019 de 16 de dezembro de 2019: <https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt> e demais normas aplicáveis.
	23	+
	24	+- Local de trabalho: O trabalho será desenvolvido no(a) _denominação da unidade de investigação_ da Universidade de Évora, sob a orientação científica do Professor(a)/Doutor(a) ………
	25	+
	26	+- Duração da(s) bolsa(s): A bolsa terá a duração de ..... meses, com início previsto em ..... _mês_ de .......... _ano_. O contrato de bolsa poderá ser renovado até _ex._ ao máximo de ….. meses ou até ao final da dotação orçamental do projeto de financiamento _…_.
	27	+
	28	+- Valor do subsídio de manutenção mensal: O montante da bolsa corresponde a €………., conforme tabela de valores das bolsas atribuídas diretamente pela FCT, I.P. no País _http://fct.pt/apoios/bolsas/valores_, sendo os pagamentos efetuados mensalmente, através de cheque ou transferência bancária.
	29	+
	30	+- Métodos de seleção: Os métodos de seleção a utilizar serão os seguintes: _avaliação curricular, entrevista, provas de conhecimento, ou outros_, com a respetiva valoração de _indicar os valores atribuídos a cada critério ou item avaliado e sua ponderação percentual_.
	31	+
	32	+- Composição do Júri de Seleção: _identificação do Presidente do Júri e dos vogais efetivos e suplentes_
	33	+
	34	+- Forma de publicitação/notificação dos resultados: Os resultados finais da avaliação serão publicitados, através de lista ordenada _alfabeticamente, por nota final obtida ou outra_ afixada em local visível e público do(a) _indicar local da instituição_, sendo o candidato(a) aprovado(a) notificado através de _email, ofício ou outro_.
	35	+Nos termos de direito de audiência prévia dos interessados o projeto de Classificação Final será anunciado por qualquer meio escrito a todos os interessados.
	36	+Após comunicação da lista provisória dos resultados da avaliação, os candidatos dispõem de um período de 10 dias úteis para, querendo, se pronunciarem em sede de audiência prévia de interessados.
	37	+
	38	+- Prazo de candidatura e forma de apresentação das candidaturas: O concurso encontra-se aberto no período de ......................... a ......................... de 2022 e os resultados da seleção serão publicados até………………..de………………….de 2022. _O prazo de apresentação de candidaturas não deve ser inferior a 10 dias úteis_.
	39	+
	40	+- As candidaturas devem ser formalizadas, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: _ex: Curriculum Vitae, certificado de habilitações, cartas de referência ou recomendação e outros documentos comprovativos considerados relevantes_.
	41	+ - Para efeitos de candidatura os comprovativos podem ser substituídos por declaração de honra do candidato, mas a não demonstração, em fase de contratualização, da posse do grau exigido à data limite da candidatura ou a não apresentação dos comprovativos de matrícula ou inscrição em ciclo de estudos ou curso não conferente de grau, para as bolsas com essa componente, implicam a anulação da avaliação do candidato.
	42	+ - Os graus académicos obtidos em países estrangeiros necessitam de registo por uma Instituição Portuguesa de acordo com o Decreto-lei nº. 66/2018, de 16 de agosto e a Portaria nº. 33/2019, de 25 de janeiro. A apresentação do certificado é obrigatória para a assinatura do contrato.
	43	+ Mais informação poderá ser obtida em: <https://www.dges.gov.pt/pt/pagina/reconhecimento?plid=374>
	44	+
	45	+
	46	+- As candidaturas deverão ser remetidas por e-mail para:
	47	+ - Prof. Doutor(a)………………….
	48	+ - _Centro/Dep._……………………………….. da Universidade de Évora
	49	+ - e-mail:
	50	+
	51	+
	52	+
	53	+_logos do programa de financiamento quando aplicável_
	54	+
...	...
...	...	@@ -0,0 +1,12 @@
	1	+# Concurso Bolsa \| Zugzwang \| DRAFT
	2	+
	3	+> A minuta das candidatura define vários campos a preencher. Quase todos são triviais mas os restantes são críticos. Estes necessitam de consenso entre nós.
	4	+>
	5	+> Além disso, no projeto ficou em aberto o número e tipologia de bolsas. Agora temos de concretizar essas opções: Exatamente, quantas bolsas de que tipo?
	6	+
	7	+## Campos Críticos
	8	+
	9	+- Requisitos de admissão: _indicar a habilitação académica necessária, bem como a experiência exigida em investigação e outros requisitos de admissão, incluindo fatores preferenciais_
	10	+- Plano de trabalhos: _apresentar um resumo dos trabalhos a desenvolver e dos objetivos a atingir_
	11	+- Métodos de seleção: Os métodos de seleção a utilizar serão os seguintes: _avaliação curricular, entrevista, provas de conhecimento, ou outros_, com a respetiva valoração de _indicar os valores atribuídos a cada critério ou item avaliado e sua ponderação percentual_.
	12	+- As candidaturas devem ser formalizadas, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: _ex: Curriculum Vitae, certificado de habilitações, cartas de referência ou recomendação e outros documentos comprovativos considerados relevantes_.<<<>>>
0	13	\ No newline at end of file
...	...
...	...	@@ -0,0 +1,17 @@
	1	+# Concurso para "Bolsa de Iniciação à Investigação"
	2	+
	3	+- Requisitos de admissão:
	4	+ - Estudante inscrito numa licenciatura, que não tenha já beneficiado de bolsa de investigação direta ou indiretamente financiadas pela FCT, atribuída nos termos do Estatuto do Bolseiro de Investigação.
	5	+ - Aprovação a, pelo menos, uma unidade curricular de programação, preferencialmente em `Python`.
	6	+- Plano de trabalhos: Implementação duma biblioteca `Python` para processar ficheiros de código _ASP_ anotados com probabilidades com as seguintes funcionalidades:
	7	+ 1. Extração das anotações e associação aos factos relevantes.
	8	+ 2. Comunicação com o sistema `Potassco` para obtenção dos resultados do programa _ASP_ subjacente.
	9	+ 3. Cálculos de probabilidades com base nos modelos estáveis obtidos no passo anterior, nas anotações extraídas no passo 1, e nos resultados teóricos deste projeto.
	10	+- Métodos de seleção: A seleção do candidato resulta de ordenar a classificação obtida pelos seguintes critérios/pesos:
	11	+ - Entrevista: 40%
	12	+ - Avaliação Curricular: 30%
	13	+ - Prova de Conhecimento: 30%
	14	+- As candidaturas devem ser formalizadas, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos
	15	+ - Curriculum Vitæ.
	16	+ - Certificado de Matrícula.
	17	+ - Certificado de Disciplinas concluídas com as respetivas classificações.
0	18	\ No newline at end of file
...	...
...	...	@@ -0,0 +1 @@
	1	+{"url": "https://docs.google.com/document/d/1IpufHUoWd1ENxMo3ymNVjELMInF9NC7_GuNiTLILplA/edit?usp=drivesdk", "file_id": "1IpufHUoWd1ENxMo3ymNVjELMInF9NC7_GuNiTLILplA", "account_email": "mangon@gmail.com"}
0	2	\ No newline at end of file
...	...
...	...	@@ -0,0 +1 @@
	1	+{"url": "https://docs.google.com/spreadsheets/d/1EVbozf2uH9idDJv_ORwzEPzllmp8d-fggek8BWwp0nM/edit?usp=drivesdk", "file_id": "1EVbozf2uH9idDJv_ORwzEPzllmp8d-fggek8BWwp0nM", "account_email": "mangon@gmail.com"}
0	2	\ No newline at end of file
...	...
...	...	@@ -0,0 +1 @@
	1	+{"url": "https://docs.google.com/forms/d/1X2CB305ku78_XqdQDKNsXFmJLrzUethuRvz442SFS5Q/edit?usp=drivesdk", "file_id": "1X2CB305ku78_XqdQDKNsXFmJLrzUethuRvz442SFS5Q", "account_email": "mangon@gmail.com"}
0	2	\ No newline at end of file
...	...
...	...	@@ -0,0 +1,6 @@
	1	+Número do Cartão de Cidadão: 14594754 8 ZX5
	2	+Número de Contribuinte: 259379174
	3	+Morada:
	4	+ Rua Joaquim Marques Saias, Lote 19, Moradia D
	5	+ 2130-299 Benavente
	6	+Ciencia-ID: 861B-FBEF-B218
...	...
...	...	@@ -0,0 +1 @@
	1	+{"url": "https://drive.google.com/file/d/1CJalz7_e5pu5K7Kx0YdCAlPmknFCFa2m/view?usp=drivesdk", "file_id": "1CJalz7_e5pu5K7Kx0YdCAlPmknFCFa2m", "account_email": "mangon@gmail.com"}
0	2	\ No newline at end of file
...	...