From b5b2bc99574dfbd56a1799945363f172bf42e5ec Mon Sep 17 00:00:00 2001 From: Francisco Coelho Date: Wed, 17 Apr 2024 09:55:31 +0100 Subject: [PATCH] Notas reunião --- biblio/0000 - ProbView-261124.261131.xopp | Bin 0 -> 10517 bytes biblio/0000 - ProbView-261124.261131_fc.pdf | Bin 0 -> 1755444 bytes biblio/0000 - kifer-vss-galp -- fc.pdf | Bin 0 -> 3190810 bytes biblio/0000 - kifer-vss-galp -- fc.xopp | Bin 0 -> 10862 bytes notes.md | 24 +++++++++++++++++------- 5 files changed, 17 insertions(+), 7 deletions(-) create mode 100644 biblio/0000 - ProbView-261124.261131.xopp create mode 100644 biblio/0000 - ProbView-261124.261131_fc.pdf create mode 100644 biblio/0000 - kifer-vss-galp -- fc.pdf create mode 100644 biblio/0000 - kifer-vss-galp -- fc.xopp diff --git a/biblio/0000 - ProbView-261124.261131.xopp b/biblio/0000 - ProbView-261124.261131.xopp new file mode 100644 index 0000000..dec7589 Binary files /dev/null and b/biblio/0000 - ProbView-261124.261131.xopp differ diff --git a/biblio/0000 - ProbView-261124.261131_fc.pdf b/biblio/0000 - ProbView-261124.261131_fc.pdf new file mode 100644 index 0000000..63d71d0 Binary files /dev/null and b/biblio/0000 - ProbView-261124.261131_fc.pdf differ diff --git a/biblio/0000 - kifer-vss-galp -- fc.pdf b/biblio/0000 - kifer-vss-galp -- fc.pdf new file mode 100644 index 0000000..728d446 Binary files /dev/null and b/biblio/0000 - kifer-vss-galp -- fc.pdf differ diff --git a/biblio/0000 - kifer-vss-galp -- fc.xopp b/biblio/0000 - kifer-vss-galp -- fc.xopp new file mode 100644 index 0000000..67258bb Binary files /dev/null and b/biblio/0000 - kifer-vss-galp -- fc.xopp differ diff --git a/notes.md b/notes.md index 73a6d89..5bb17ea 100644 --- a/notes.md +++ b/notes.md @@ -1,12 +1,22 @@ # Zugzwang Meetings -## 2024-04-16 - Meeting presencial - -- Abandonar o KR, considerar o EPIA. -- Manter a possibilidade do ICLP. -- Ancorar nos artigos "0000". -- Colocar mais exemplos. -- Explicar melhor o que fizemos e o que usámos. +## 2024-04-17 - Online meeting + +- Anchor in the "0000" refs: + - Annotated Logic Programming + - Need to investigate how/if our semantic for annotations is compatible. + - What about update from "observations" and the "score" of a program? + - Probabilistic Database + - Need to investigate how to incorporate the combination strategies for interdependence. +- Example suggestion? + +## 2024-04-16 - Presencial meeting + +- Abandon KR, consider EPIA. +- Keep the ICLP chance. +- Anchor in refs "0000". +- Give more examples. +- Explain better what we've done and what we've used.. ## 2024-03-25 - Meeting -- libgit2 0.21.2