Commit b5b2bc99574dfbd56a1799945363f172bf42e5ec
1 parent
5540f61c
Exists in
master
Notas reunião
Showing
5 changed files
with
17 additions
and
7 deletions
Show diff stats
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
notes.md
1 | # Zugzwang Meetings | 1 | # Zugzwang Meetings |
2 | 2 | ||
3 | -## 2024-04-16 - Meeting presencial | ||
4 | - | ||
5 | -- Abandonar o KR, considerar o EPIA. | ||
6 | -- Manter a possibilidade do ICLP. | ||
7 | -- Ancorar nos artigos "0000". | ||
8 | -- Colocar mais exemplos. | ||
9 | -- Explicar melhor o que fizemos e o que usámos. | 3 | +## 2024-04-17 - Online meeting |
4 | + | ||
5 | +- Anchor in the "0000" refs: | ||
6 | + - Annotated Logic Programming | ||
7 | + - Need to investigate how/if our semantic for annotations is compatible. | ||
8 | + - What about update from "observations" and the "score" of a program? | ||
9 | + - Probabilistic Database | ||
10 | + - Need to investigate how to incorporate the combination strategies for interdependence. | ||
11 | +- Example suggestion? | ||
12 | + | ||
13 | +## 2024-04-16 - Presencial meeting | ||
14 | + | ||
15 | +- Abandon KR, consider EPIA. | ||
16 | +- Keep the ICLP chance. | ||
17 | +- Anchor in refs "0000". | ||
18 | +- Give more examples. | ||
19 | +- Explain better what we've done and what we've used.. | ||
10 | 20 | ||
11 | ## 2024-03-25 - Meeting | 21 | ## 2024-03-25 - Meeting |
12 | 22 |