Francisco Coelho · Francisco Coelho · Francisco Coelho
Showing 18 changed files Show diff stats
.stignore
biblio/.trashed-1716106913-0000 - kifer-vss-galp -- fc.pdf
biblio/.trashed-1716106913-0000 - kifer-vss-galp -- fc.xopp
biblio/.trashed-1716106923-0000 - ProbView-261124.261131.xopp
biblio/.trashed-1716106923-0000 - ProbView-261124.261131_fc.pdf
biblio/0000 - ProbView-261124.261131.pdf
biblio/0000 - kifer-vss-galp.pdf
biblio/1992 - Annotated Logic Programs - kifer-subrahmanian.pdf
biblio/1992%20-%20Annotated%20Logic%20Programs%_240423_114127.pdf
biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240419_231616.sdocx
biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240422_115735.sdocx
biblio/1992%2520-%2520Annotated%2520Logic%2520Programs%25_240423_114127.pdf
biblio/1997 - Probabilistic Database System - lakshmanan-subrahmanian.pdf
biblio/2020 - The joy of Probabilistic Answer Set Programming - Fabio Gagliardi Cozman, Denis Deratani Maua.pdf
biblio/2020 - The joy of Probabilistic Answer Set Programming: Semantics - complexity, expressivity, inference - Fabio Gagliardi Cozman, Denis Deratani Mauá.pdf
notes.md
text/kr24
zugzwang.code-workspace
@@ -2,6 +2,7 @@
 .git*
 .git/**
 NOVALINCS/**
+projecto-NovaLINCS
 projecto-NovaLINCS/**
 pex2024/**
 students/**
 # 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
-Subproject commit 4f61af3a4063b5e0b090fad4092c4783b567e796
+Subproject commit 0c2dace5954ad711e4d510de937adde92757b977
@@ -15,6 +15,8 @@
 			"biblatex",
 			"cplint",
 			"CREDAL",
+			"functors",
+			"Herbrand",
 			"Hirings",
 			"interpretability",
 			"println",
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