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",
...	...	@@ -2,6 +2,7 @@
2	2	.git*
3	3	.git/**
4	4	NOVALINCS/**
	5	+projecto-NovaLINCS
5	6	projecto-NovaLINCS/**
6	7	pex2024/**
7	8	students/**
...	...
1	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	21	## 2024-03-25 - Meeting
12	22
...	...
1		-Subproject commit 4f61af3a4063b5e0b090fad4092c4783b567e796
	1	+Subproject commit 0c2dace5954ad711e4d510de937adde92757b977
...	...
...	...	@@ -15,6 +15,8 @@
15	15	"biblatex",
16	16	"cplint",
17	17	"CREDAL",
	18	+ "functors",
	19	+ "Herbrand",
18	20	"Hirings",
19	21	"interpretability",
20	22	"println",
...	...